Skip to content

Big fields MULMOD bug #458

@ETatuzova

Description

@ETatuzova

Constraint

https://github.com/NilFoundation/placeholder/blob/master/crypto3/libs/blueprint/include/nil/blueprint/zkevm_bbf/opcodes/mulmod.hpp#L477

for i = 1 fails with this test data:

opcode_tester.push_opcode(zkevm_opcode::PUSH32, hex_string_to_bytes("0x1b70726fb8d3a24da9ff9647225a18412b8f010425938504d73ebc8801e2e016"));
opcode_tester.push_opcode(zkevm_opcode::PUSH32, hex_string_to_bytes("0xfffffffffffffffffffffffffffffffffffffff"));
opcode_tester.push_opcode(zkevm_opcode::PUSH32, hex_string_to_bytes("0x200000000000000000000000000000123456788e"));
opcode_tester.push_opcode(zkevm_opcode::MULMOD);

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions