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);
Constraint
https://github.com/NilFoundation/placeholder/blob/master/crypto3/libs/blueprint/include/nil/blueprint/zkevm_bbf/opcodes/mulmod.hpp#L477
for
i = 1fails with this test data: