This repository was archived by the owner on Jul 5, 2024. It is now read-only.
This repository was archived by the owner on Jul 5, 2024. It is now read-only.
evm_circuit/witness: unimplemented opcode ISZERO #372
Closed
Description
Running the latest prover_cmd on the zkevm-chain runs into:
[2022-03-04T15:03:13Z INFO coordinator::shared_state] proof not yet computed for: 1
[2022-03-04T15:03:15Z ERROR coordinator::shared_state] computing proof for: 1 stdout: stderr: [2022-03-04T15:03:15Z WARN bus_mapping::circuit_input_builder] This does not look like a EIP-1559 block - base_fee_per_gas defaults to zero
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode ORIGIN
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode ORIGIN
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode BALANCE
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATACOPY
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALL
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode RETURNDATASIZE
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode BALANCE
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATACOPY
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode LOG1
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode ORIGIN
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode ORIGIN
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode BALANCE
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATACOPY
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALL
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode RETURNDATASIZE
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode BALANCE
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATACOPY
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode LOG1
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode ORIGIN
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode ORIGIN
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode BALANCE
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATACOPY
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALL
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode RETURNDATASIZE
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode BALANCE
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATACOPY
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode LOG1
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode ORIGIN
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode ORIGIN
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode BALANCE
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATACOPY
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALL
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode RETURNDATASIZE
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode BALANCE
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATACOPY
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode LOG1
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode ORIGIN
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode ORIGIN
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode BALANCE
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATACOPY
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALL
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode RETURNDATASIZE
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode BALANCE
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATACOPY
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode LOG1
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode ORIGIN
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode ORIGIN
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode BALANCE
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATACOPY
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALL
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode RETURNDATASIZE
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode BALANCE
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATACOPY
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode LOG1
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode ORIGIN
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode ORIGIN
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode BALANCE
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATACOPY
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALL
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode RETURNDATASIZE
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode BALANCE
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATACOPY
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode LOG1
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode ORIGIN
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode ORIGIN
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode BALANCE
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATACOPY
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALL
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode RETURNDATASIZE
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode BALANCE
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATACOPY
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode LOG1
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATALOAD
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode ORIGIN
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode ORIGIN
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode BALANCE
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATACOPY
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALL
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode RETURNDATASIZE
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode BALANCE
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode CALLDATACOPY
[2022-03-04T15:03:15Z WARN bus_mapping::evm::opcodes] Using dummy gen_associated_ops for opcode LOG1
thread 'main' panicked at 'not implemented: unimplemented opcode ISZERO', zkevm-circuits/src/evm_circuit/witness.rs:1035:18
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace