zkevm-circuits
zkevm-circuits copied to clipboard
privacy-scaling-explorations
### Description Name and describe the MPT constraints. The names will be the same as used in the MPT specs (work in progress). ### Type of change - [ ]...
### Describe the feature you would like We need MPT stack trie for tx and withdrawal cirucits. This stack trie also support RLP as it is in the state trie....
### Describe the feature you would like I list the steps to do: 1. change golang tracer to latest geth #1363 2. change some opcodes implementation: initcode gas change &...
### Description 2nd part of #1369 ### Issue Link #1369 ### Type of change - [ ] Bug fix (non-breaking change which fixes an issue) - [x] New feature (non-breaking...
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...
### Describe the feature you would like Root circuit can only layout ~ 4k non-native field arithmetics (cited from @han0110) According to current super circuit complexity (28 Sept 2023), it's...
### Describe the feature you would like #1677 moved the checks of matching nonce, sufficient gas limit, and sufficient balance to an InvalidTxGadget After #1728 is completed. We'll need to...
### What command(s) is the bug in? _No response_ ### Describe the bug `StorageLeafConfig` and `AccountLeafConfig` disable some constraints for the modified extension scenarios, see ``` for is_s in [true,...
### Describe the feature you would like [EIP-4895: Beacon chain push withdrawals as operations](https://eips.ethereum.org/EIPS/eip-4895) ### Additional context Pending analysis of what work should be done.
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.