zkevm-circuits
zkevm-circuits copied to clipboard
privacy-scaling-explorations
### Description MCOPY Opcode Implementation ### Issue Link #1760 ### Type of change - [X] New feature (non-breaking change which adds functionality)
### Description We add, remove, or reorder constraints so that the spec and the circuit can stay in sync ### Issue Link #1801 ### Type of change - Spec sync...
### Describe the feature you would like This issue collects the list of feedback to work on from https://github.com/privacy-scaling-explorations/zkevm-specs/pull/520 The file to modify is [`zkevm-circuits/src/circuit_tools/constraint_builder.rs`](https://github.com/privacy-scaling-explorations/zkevm-circuits/blob/9a456037a2d598a236b636cb9109f863c07e0239/zkevm-circuits/src/state_circuit/constraint_builder.rs) - value_prev and value_prev_column are...
### 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 - [ ]...
### EIP https://eips.ethereum.org/EIPS/eip-4844 ### - [ ] new transaction `BLOB_TX_TYPE := Bytes1(0x03)` with new fields `max_fee_per_blob_gas, blob_versioned_hashes` in Transaction RLP - [ ] new field `excess_blob_gas ` in block header...
### EIP https://eips.ethereum.org/EIPS/eip-4788 ### Requirements Define new precompile, calling `get()` to retrieve beacon root giving timestamp. > Challenge: Design need to address the length of storage buffer `8191`.
https://eips.ethereum.org/EIPS/eip-7516 Follow current `BaseFee` approach https://github.com/privacy-scaling-explorations/zkevm-circuits/blob/443da4bd3b43bc07d7830f3b6c84a29c1267ccff/zkevm-circuits/src/table/block_table.rs#L19-L20 We need to define new field `BlobBaseFee` in blocktable, with new opcode `BLOBBASEFEE` to lookup blocktable and retrieve the value Implementation reference for lookup...
### What command(s) is the bug in? _No response_ ### Describe the bug Mainnet test with block 18363441 fails with ``` panic: runtime error: index out of range [35] with...
Circuit side related to https://github.com/privacy-scaling-explorations/zkevm-specs/issues/519
### Describe the feature you would like There was an implementation under `mpt-witness-generator/trie/stacktrie.go` already, but still has some bugs. This issue is mainly to fix it. See [Miha's doc](https://hackmd.io/qqC_NERJRymwtKUEd-t-Ng?view) for...
