Eduard S.

Probably this will be superseded by https://github.com/privacy-scaling-explorations/zkevm-circuits/issues/954 which should bring dynamic calculation of CircuitsParams for each unit test (which means using the minimum params values for each unit test, leading...

Thanks for the report, we're currently investigating this. I have run the integration tests for each individual circuit with the real prover and they all seem to pass. I used...

Idea: we can compare the status of this issue with the scroll fork (to see if we're failing the same tests or not)

Here's a summary of what we have tested so far: Results for real prover with: - integration tests (standalone) commit `73b2aebca9400ac8b31c9394fb726690dbfe0b74` - zkevm-chain tests (with Aggregation) branch main at `2023-05-30...

We have been able to reproduce this issue. All integration tests with the real prover and super circuit are failing https://github.com/privacy-scaling-explorations/zkevm-circuits/actions/runs/5152993138/jobs/9279691434 The fact that the subcircuits test with real prover...

> proof for super circuit / no aggregate succeeds. https://zkevm-chain-testing.s3.eu-central-1.amazonaws.com/proveSingeCrossChainTx_super_False_410-maronis.tar.gz Update on this: The test that succeeded was using an old version of the zkevm-circuits. Via the integration test run...

Scroll is working on this via https://github.com/scroll-tech/zkevm-circuits/pull/1209

I think Taiko/Scroll may already have this implemented?

Update: - We reviewed the MPT implementation in reth and currently the mpt proof generation is not complete, so we can't use it yet. It seems that they have been...

Currently from from the PSE team we have the "support of EIP 4844" as a low priority in our roadmap. In the past we discussed how we could use it...