This repository has been archived by the owner on Jul 5, 2024. It is now read-only.
Inserted extension node #1548
Closed
Inserted extension node #1548
This pull request is big! We’re only showing the most recent 250 commits.
Commits on Oct 27, 2022
-
account drifted leaf RLC computation now takes into account new nonce…
…_stored and balance_stored values
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
non_existing_account proof constraints (missing subcase: when only on…
…e account in trie)
-
-
-
-
-
-
-
-
-
-
account address rlc fixed not to go in negative rows when account lea…
…f after placeholder in first level
-
-
-
-
-
-
-
-
-
-
-
-
non-hashed node move for one position to the right in branch children…
… to be compatible with hash RLC computation
-
-
-
-
-
-
-
-
-
-
-
-
-
-
extension_node non-hashed branch RLP constraints; non-hashed node loo…
…kup fix in branch_rlc
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
fixed extension node assignment; extension node key constraints for s…
…hort version simplified
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
removed constraints for key_rlc & mult_diff being set in all branch c…
…hildren - needed only in branch init
-
-
-
-
-
-
-
-
-
-
-
-
-
fixed bug in leaf/account key in added branch (introduced when cleari…
…ng assignments and constraints for branch / extension node)
-
-
-
-
-
-
-
-
-
-
-
-
Constraints for the only storage leaf which is also a placeholder mov…
…ed into leaf_value.rs
-
-
-
ensuring there is account proof before storage proof: documented and …
…missing constraint added
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
proof_type column added; constraints for proof_type properly correspo…
…nd to boolean proof selectors
-
-
-
-
-
-
-
-
-
-
-
key_len_lookups and number of nibbles enabled for long keys (non exis…
…ting storage proof)
-
-
-
-
-
Commits on Oct 28, 2022
Commits on Apr 5, 2023
-
Some refactoring which I believe decreases code duplication and increases code readability. Some TODOs: - [x] The code required to get the previous rlc/mult data or the inclusion in the parent check is quite complicated because of the different node types. Instead it may be better to use a fixed location to store this data in so a node can simply use this data directly instead of having to figure out on its own where to find the data. This is cleaner because this way each node can decide on its own how these should be handled. - [x] Currently RLP decoding is done using a couple of selectors that are inputs from the prover. Then there are some checks if these are correct, though these are not complete. I think it's easier to think about this if we would just use a lookup to directly verify if these selectors are set correctly so we don't have to worry about edge cases are cases that are hard to constrain using custom gates. - [x] There are currently many cases in the main state maching because each row type is it's own state. However there is not really any reuse between custom gates between these rows, except for branches. It'll likely be quite a bit simple to just have a single state for account, storage and extension and just use multiple rows in those states - [x] May be a good idea to split up branches and extension nodes. (semi done) - [ ] There's a couple of circuit tools that were added in this PR to make writing the MPT circuit more manageable. A lot of these tools can still be greatly improved. - [ ] Number of lookups has been reduced a lot, but there are still many optimization possibilities (have not looked into reducing the expression degree for example). - [x] The circuit uses a fixed layout which uses around 100 columns (of which a lot need to be byte constrained so needs a lot of lookups as well). This makes the circuit quite a bit more dense than probably required, a more flexible way to manager the required data so the width/height can be choses would be very useful I think.
Commits on Jun 1, 2023
-
### Description This PR simply merges the current `main` into the MPT branch `mpt2`. This is the first step to get some further MPT changes merged into the MPT branch without making the PRs too big. ``` This PR contains: - Merge `main` into `mpt2` with the necessary changes to the MPT circuit ``` ### Issue Link [_link issue here_] ### Type of change - [ ] Bug fix (non-breaking change which fixes an issue) - [ ] New feature (non-breaking change which adds functionality) - [ ] Breaking change (fix or feature that would cause existing functionality to not work as expected) - [ ] This change requires a documentation update ### Contents - [_item_] ### Rationale [_design decisions and extended information_] ### How Has This Been Tested? Intermediate step, so limited testing --------- Signed-off-by: smtmfft <[email protected]> Signed-off-by: smtmfft <[email protected]> Co-authored-by: pinkiebell <[email protected]> Co-authored-by: Haichen Shen <[email protected]> Co-authored-by: z2trillion <[email protected]> Co-authored-by: Eduard S <[email protected]> Co-authored-by: adria0.eth <[email protected]> Co-authored-by: Han <[email protected]> Co-authored-by: smtmfft <[email protected]> Co-authored-by: smtmfft <[email protected]> Co-authored-by: Chih Cheng Liang <[email protected]> Co-authored-by: DreamWuGit <[email protected]> Co-authored-by: Rohit Narurkar <[email protected]> Co-authored-by: Zhang Zhuo <[email protected]> Co-authored-by: Ming <[email protected]> Co-authored-by: Wu Sung Ming <[email protected]> Co-authored-by: xiaodino <[email protected]> Co-authored-by: Mason Liang <[email protected]> Co-authored-by: Steven <[email protected]> Co-authored-by: Carlos Pérez <[email protected]> Co-authored-by: Paul <[email protected]> Co-authored-by: AronisAt79 <[email protected]> Co-authored-by: Mason Liang <[email protected]> Co-authored-by: JohnWick2ETH <[email protected]> Co-authored-by: kunxian xia <[email protected]> Co-authored-by: Leo Lara <[email protected]> Co-authored-by: zengzengzenghuy <[email protected]> Co-authored-by: john xu <[email protected]> Co-authored-by: Miha Stopar <[email protected]> Co-authored-by: aguzmant103 <[email protected]> Co-authored-by: Richord <[email protected]> Co-authored-by: Kimi Wu <[email protected]> Co-authored-by: Mickey <[email protected]> Co-authored-by: Luozhu <[email protected]> Co-authored-by: DoHoon Kim <[email protected]> Co-authored-by: jeong0982 <[email protected]> Co-authored-by: Andy Arditi <[email protected]> Co-authored-by: David Nevado <[email protected]> Co-authored-by: omahs <[email protected]> Co-authored-by: Richord <[email protected]> Co-authored-by: ntampakas <[email protected]> Co-authored-by: ashWhiteHat <[email protected]> Co-authored-by: naure <[email protected]> Co-authored-by: Aurélien Nicolas <[email protected]> Co-authored-by: testuser-at-490752553772 <[email protected]> Co-authored-by: xiaodino <[email protected]> Co-authored-by: Thomas Pan <[email protected]> Co-authored-by: Akase Cho <[email protected]> Co-authored-by: Vu <[email protected]> Co-authored-by: Alex Beregszaszi <[email protected]> Co-authored-by: Enrico Bottazzi <[email protected]> Co-authored-by: adria0 <adria0@nowhere>
51 people committedJun 1, 2023
Commits on Jun 5, 2023
-
# Conflicts: # Cargo.lock # circuit-benchmarks/Cargo.toml # eth-types/src/geth_types.rs # gadgets/src/util.rs # keccak256/Cargo.toml # keccak256/src/arith_helpers.rs # keccak256/src/keccak_arith.rs # keccak256/src/lib.rs # keccak256/src/plain.rs # testool/src/compiler.rs # zkevm-circuits/Cargo.toml # zkevm-circuits/src/evm_circuit.rs # zkevm-circuits/src/pi_circuit.rs # zkevm-circuits/src/state_circuit.rs # zkevm-circuits/src/state_circuit/constraint_builder.rs # zkevm-circuits/src/table.rs # zkevm-circuits/src/table/keccak_table.rs # zkevm-circuits/src/table/mpt_table.rs # zkevm-circuits/src/tx_circuit/dev.rs # zkevm-circuits/src/tx_circuit/sign_verify.rs # zkevm-circuits/src/util.rs # zkevm-circuits/src/witness/mpt.rs
-
Commits on Jun 14, 2023
-
### Description - Added some missing MPT constraints - Integrated some EVM tools like degree reduction and lookups using dedicated columns ### Issue Link [_link issue here_] ### Type of change - [ ] Bug fix (non-breaking change which fixes an issue) - [ ] New feature (non-breaking change which adds functionality) - [ ] Breaking change (fix or feature that would cause existing functionality to not work as expected) - [ ] This change requires a documentation update ### Contents - [_item_] ### Rationale [_design decisions and extended information_] ### How Has This Been Tested? [_explanation_] --------- Co-authored-by: Cecilia Zhang <[email protected]> Co-authored-by: CeciliaZ030 <[email protected]>
3 people committedJun 14, 2023
Commits on Jun 26, 2023
-
MPT new descriptors & benchmark (#1492)
### Description New descriptors are used which have `Vec<Node>` structure and thus the conversion in `witness_row.rs` from `[][]byte` to `Vec<Node>` was removed. Note that `keccak_data` is now part of the `Node` struct - each node holds the byte streams that need to be hashed. Additionally, an MPT benchmark was added (some structs needed to be made public). ### Type of change - [x] Breaking change (fix or feature that would cause existing functionality to not work as expected) - [x] This change requires a documentation update ### Contents - All tests updated. - `prepare_witness` function removed from `witness_row.rs`. - MPT test updated to not use `prepare_witness`. - Benchmark added.
Commits on Aug 1, 2023
Commits on Aug 2, 2023
Commits on Aug 4, 2023
Commits on Aug 9, 2023
Commits on Aug 10, 2023
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.