zkevm-circuits
zkevm-circuits copied to clipboard
privacy-scaling-explorations
Proof Generation for KECCAK & SUPER circuit fails with error: RootCircuit::new: AssertionFailure("e(lhs, g2)·e(rhs, -s_g2) == O") {'error': 'RootCircuit::new: AssertionFailure("e(lhs, g2)·e(rhs, -s_g2) == O")', 'result': 'FAILED'}
What command(s) is the bug in?
No response
Describe the bug
Proof request for block consisting of single l2 transaction (eth withddraw) Proof request options:
('{"jsonrpc":"2.0", "method":"proof", ' '"params":[{"block":37,"circuit":"keccak","aggregate":true,"mock":false,"mock_feedback":true,"rpc":"http://leader-testnet-geth:8545/", ' '"retry":false}], "id":37}')
Error: RootCircuit::new: AssertionFailure("e(lhs, g2)·e(rhs, -s_g2) == O") {'error': 'RootCircuit::new: AssertionFailure("e(lhs, g2)·e(rhs, -s_g2) == O")', 'result': 'FAILED'}
Circuit Commit: https://github.com/privacy-scaling-explorations/zkevm-circuits.git@branch=main Chain Commit: eaab99aeb31b92ed8870548414c37148e18ac78d
Full logs:
https://zkevm-chain-testing.s3.eu-central-1.amazonaws.com/proveSingeCrossChainTx_keccak_True_372-maronis.tar.gz
Concrete steps to reproduce the bug
No response
proof generation for super circuit also fails similarly Logs here: https://zkevm-chain-testing.s3.eu-central-1.amazonaws.com/proveSingeCrossChainTx_super_True_377-maronis.tar.gz
Look like this might be related to https://github.com/privacy-scaling-explorations/zkevm-circuits/pull/1330 Will retest once merged to main
Look like this might be related to #1330 Will retest once merged to main
So the issue that #1330 was resolving had already been solved via another PR https://github.com/privacy-scaling-explorations/zkevm-circuits/pull/1315 which was merged on March 23rd so it seems this issue may be unrelated.
Reopening the issue to track the failure of the Super Circuit with aggregation.
The next step to continue debugging this issue is to update the zkevm-chain to use the latest release of halo2_proofs so that it can run with the current main of zkevm-circuits.
On a second note, I think it would be great to add root circuit tests into the integration tests from the zkevm-circuits, so that we have easy to run integration tests that include the root circuit (I think currently we don't have any)