Eduard S.

### Dencun EIPs https://eips.ethereum.org/EIPS/eip-7569 ### Opcode to support - [ ] #1793 - [ ] #1794 - [ ] #1795 - [ ] [Transient storage opcodes](https://eips.ethereum.org/EIPS/eip-1153) #1761 - [ ]...

Circuit side related to https://github.com/privacy-scaling-explorations/zkevm-specs/issues/519

Memory requirements for generating a full block proof

4

I am worried about the current architecture and the memory consumption it entails. I did a lower bound estimate and found that SuperCircuit with k=26 (That's 32 chunks for 30M...

During the zk light client PoC, Adria added many tests that use mainnet blocks with the zk light client circuits; which was a great way to test the MPT against...

Verify as many mainnet blocks as possible with the zk light client PoC Circuit (v1 or v2). This will provide great testing for the MPT circuit.

Run benchmarks weekly

1

Depends on https://github.com/privacy-scaling-explorations/zkevm-circuits/issues/1646 We have some github actions to run the benchmarks, but they may be outdated. We want to update them and schedule them to run weekly. Additionally it...

Fix "deploy at existed address" for CREATE at bus-mapping

2

This PR https://github.com/privacy-scaling-explorations/zkevm-circuits/pull/1286 was merged but some of the requests haven't been addressed yet: - https://github.com/privacy-scaling-explorations/zkevm-circuits/pull/1286#discussion_r1127312789

First TODO: https://github.com/privacy-scaling-explorations/zkevm-circuits/blob/f185b1276b67b730448724930b33c72a342ad96a/zkevm-circuits/src/state_circuit.rs#L340 Second TODO: https://github.com/privacy-scaling-explorations/zkevm-circuits/blob/f185b1276b67b730448724930b33c72a342ad96a/zkevm-circuits/src/state_circuit.rs#L582-L583 @z2trillion could you help us clarify the context of these TODOs? Are they still valid?

Currently in the `word-lo-hi` the `ConstraintBuilder` methods that receive address arguments use the `Word` type. Then calls look like this (where 2nd arg is the address): ```rust cb.account_access_list_write_word( tx_id.expr(), address.to_word(),...

Reduce halo2 calls to Circuit::synthesize

3

After a debugging session I noticed that the layouter.assign_region method of a Circuit is being called 6 times. My guess is the following: - One iteration per phase (we have...