privacy-scaling-explorations / zkevm-circuits

Home Page:https://privacy-scaling-explorations.github.io/zkevm-circuits/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

[Integration Tests] circuits: root_real_prover fail (45/45) due to unwrap on Err()

AronisAt79 opened this issue · comments

What command(s) is the bug in?

No response

Describe the bug

https://github.com/privacy-scaling-explorations/zkevm-circuits/actions/runs/7114348395/job/19368217803

thread 'root_real_prover::serial_test_tx_circuit_multiple_erc20_openzeppelin_transfers' panicked at
'called `Result::unwrap()` on an `Err` value: AssertionFailure("e(lhs, g2)·e(rhs, -s_g2) == O")', 
/github/runner/_work/zkevm-circuits/zkevm-circuits/integration-tests/src/integration_test_circuits.rs:453:14

failures:
    root_real_prover::serial_test_bytecode_circuit_block_transfer_0
    root_real_prover::serial_test_bytecode_circuit_erc20_openzeppelin_transfer_fail
    root_real_prover::serial_test_bytecode_circuit_erc20_openzeppelin_transfer_succeed
    root_real_prover::serial_test_bytecode_circuit_multiple_erc20_openzeppelin_transfers
    root_real_prover::serial_test_bytecode_circuit_multiple_transfers_0
    root_real_prover::serial_test_copy_circuit_block_transfer_0
    root_real_prover::serial_test_copy_circuit_erc20_openzeppelin_transfer_fail
    root_real_prover::serial_test_copy_circuit_erc20_openzeppelin_transfer_succeed
    root_real_prover::serial_test_copy_circuit_multiple_erc20_openzeppelin_transfers
    root_real_prover::serial_test_copy_circuit_multiple_transfers_0
    root_real_prover::serial_test_evm_circuit_block_transfer_0
    root_real_prover::serial_test_evm_circuit_erc20_openzeppelin_transfer_fail
    root_real_prover::serial_test_evm_circuit_erc20_openzeppelin_transfer_succeed
    root_real_prover::serial_test_evm_circuit_multiple_erc20_openzeppelin_transfers
    root_real_prover::serial_test_evm_circuit_multiple_transfers_0
    root_real_prover::serial_test_exp_circuit_block_transfer_0
    root_real_prover::serial_test_exp_circuit_erc20_openzeppelin_transfer_fail
    root_real_prover::serial_test_exp_circuit_erc20_openzeppelin_transfer_succeed
    root_real_prover::serial_test_exp_circuit_multiple_erc20_openzeppelin_transfers
    root_real_prover::serial_test_exp_circuit_multiple_transfers_0
    root_real_prover::serial_test_keccak_circuit_block_transfer_0
    root_real_prover::serial_test_keccak_circuit_erc20_openzeppelin_transfer_fail
    root_real_prover::serial_test_keccak_circuit_erc20_openzeppelin_transfer_succeed
    root_real_prover::serial_test_keccak_circuit_multiple_erc20_openzeppelin_transfers
    root_real_prover::serial_test_keccak_circuit_multiple_transfers_0
    root_real_prover::serial_test_pi_circuit_block_transfer_0
    root_real_prover::serial_test_pi_circuit_erc20_openzeppelin_transfer_fail
    root_real_prover::serial_test_pi_circuit_erc20_openzeppelin_transfer_succeed
    root_real_prover::serial_test_pi_circuit_multiple_erc20_openzeppelin_transfers
    root_real_prover::serial_test_pi_circuit_multiple_transfers_0
    root_real_prover::serial_test_state_circuit_block_transfer_0
    root_real_prover::serial_test_state_circuit_erc20_openzeppelin_transfer_fail
    root_real_prover::serial_test_state_circuit_erc20_openzeppelin_transfer_succeed
    root_real_prover::serial_test_state_circuit_multiple_erc20_openzeppelin_transfers
    root_real_prover::serial_test_state_circuit_multiple_transfers_0
    root_real_prover::serial_test_super_circuit_block_transfer_0
    root_real_prover::serial_test_super_circuit_erc20_openzeppelin_transfer_fail
    root_real_prover::serial_test_super_circuit_erc20_openzeppelin_transfer_succeed
    root_real_prover::serial_test_super_circuit_multiple_erc20_openzeppelin_transfers
    root_real_prover::serial_test_super_circuit_multiple_transfers_0
    root_real_prover::serial_test_tx_circuit_block_transfer_0
    root_real_prover::serial_test_tx_circuit_erc20_openzeppelin_transfer_fail
    root_real_prover::serial_test_tx_circuit_erc20_openzeppelin_transfer_succeed
    root_real_prover::serial_test_tx_circuit_multiple_erc20_openzeppelin_transfers
    root_real_prover::serial_test_tx_circuit_multiple_transfers_0

Concrete steps to reproduce the bug. If it's able reproduce via testool, please share test_id from jenkins report

Manually trigger integration tests workflow against main, with option root_real_prover