This repository was archived by the owner on Feb 17, 2025. It is now read-only.

This repository was archived by the owner on Feb 17, 2025. It is now read-only.

(zkevm_word.to_uint64 < 0) is always false #29

Open

Assignees

opened

on Jul 29, 2024

Here

evm-assigner/lib/assigner/evmone/instructions.hpp

Line 522 in cfb97c9

const bool is_neg = x.to_uint64(3) < 0; // Inspect the top bit (words are LE).

maybe need to ewtract one bit and conpare with 1?

Metadata

Assignees

CblPOK-git

Labels

No labels

No labels

Type

No type

Fields

No fields configured for issues without a type.

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests