This repository was archived by the owner on Jul 5, 2024. It is now read-only.

MPT#398

Merged

Brechtpd merged 304 commits into

mainfrom

mpt2

Aug 10, 2023

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
miha-stopar
committed
fix
miha-stopar
committed
account_leaf_key after placeholder branch fix
miha-stopar
committed
drifted leaf constraints when account deleted
miha-stopar
committed
PoisonedConstraint fix
miha-stopar
committed
not_first_level doubling removing from drifted leaf
miha-stopar
committed
missing branch init constraints
miha-stopar
committed
extension node missing constraints: range 256 lookups & RLP; two tests added
miha-stopar
committed
extension_node_key: constraints to avoid PoisonedConstraint removed
miha-stopar
committed
account delete selector
miha-stopar
committed
account delete constraint
miha-stopar
committed
non_existing_account selector
miha-stopar
committed
non-existing account proof row added
miha-stopar
committed
AccountNonExisting chip
miha-stopar
committed
NonExistingAccount test
miha-stopar
committed
non_existing_account proof: constraint for the two addresses being different
miha-stopar
committed
account leaf key in first level fixed
miha-stopar
committed
NonExistingAccount tests regenerated
miha-stopar
committed
non_existing_account proof constraints (missing subcase: when only one account in trie)
miha-stopar
committed
tests regenerated
miha-stopar
committed
account_leaf_key fix; test for non existing account in trie first level
miha-stopar
committed
PoisonedConstraint fixed
miha-stopar
committed
test for non_existing_account after first level; bug fixed
miha-stopar
committed
tests with account in/after the first level
miha-stopar
committed
ProofVariables now uses default
miha-stopar
committed
account in first level fixed
miha-stopar
committed
account in first level / storage in first storage level test and fixing
miha-stopar
committed
storage leaf in first level test & fix
miha-stopar
committed
account after placeholder branch test & fix
miha-stopar
committed
Account branch placeholder in first level test added; tests regenerated
miha-stopar
committed
account with placeholder branch in first level test and fix
miha-stopar
committed
account address rlc fixed not to go in negative rows when account leaf after placeholder in first level
miha-stopar
committed
cleaning non existing account proof
miha-stopar
committed
non_existing_account test for the case when there is only one account in state trie
miha-stopar
committed
extension node in account proof first level test & fix
miha-stopar
committed
Extension node with three nibbles tests and fix
miha-stopar
committed
fix in account_non_existing proof
miha-stopar
committed
generalizing for non-hashed nodes
miha-stopar
committed
branch RLP length and RLC for branches that contain non-hashed nodes
miha-stopar
committed
branch_rlc generalized for non-hashed nodes
miha-stopar
committed
initial work on extension_node generalization for non-hashed branches
miha-stopar
committed
non-hashed nodes; descriptions for constants in param.rs
miha-stopar
committed
storage leaf in last level: leaf RLC
miha-stopar
committed
addressing Adria comments
miha-stopar
committed
storage leaf in last level missing constraints added
miha-stopar
committed
started on non-hashed leaf in parent
miha-stopar
committed
storage leaf last level RLP constraints; leaf hash in parent for non-hashed leaves
miha-stopar
committed
non-hashed node move for one position to the right in branch children to be compatible with hash RLC computation
miha-stopar
committed
checking there are 0s after non-hashed RLP ends
miha-stopar
committed
non-hashed branch in extension node moved for one position to the right
miha-stopar
committed
extension node non-hashed branch fix
miha-stopar
committed
MainCols struct introduced instead of rlp1, rlp2, advices
miha-stopar
committed
missing selector in for drifted leaf when leaf in first storage level
miha-stopar
committed
removed is_codehash_mod as it is not possible to directly change the code
miha-stopar
committed
Started adding documentation to account_leaf_nonce_balance
miha-stopar
committed
ProofTypeCols struct introduced
miha-stopar
committed
non-hashed branch in extension node
miha-stopar
committed
documenting account_leaf_nonce_balance
miha-stopar
committed
AccountLeafCols
miha-stopar
committed
AccountLeaf struct
miha-stopar
committed
extension node RLP for non-hashed branch
miha-stopar
committed
documenting account_leaf_nonce_balance
miha-stopar
committed
StorageLeafCols struct
miha-stopar
committed
StorageLeaf struct
miha-stopar
committed
extension_node non-hashed branch RLP constraints; non-hashed node lookup fix in branch_rlc
miha-stopar
committed
documenting nonce balance chip
miha-stopar
committed
minor update to account_leaf_nonce_balance
miha-stopar
committed
BranchCols struct
miha-stopar
committed
added TODO in extension_node_key
miha-stopar
committed
account leaf nonce balance chip removed (only config)
miha-stopar
committed
AccountLeafNonceBalance assign function
miha-stopar
committed
Branch struct
miha-stopar
committed
assign_row takes branch struct
miha-stopar
committed
non-hashed nodes tests changed
miha-stopar
committed
AccountLeafStorageCodehash chip -> config; some docs
miha-stopar
committed
account leaf storage codehash docs
miha-stopar
committed
AccumulatorCols and AccumulatorPair structs
miha-stopar
committed
storage leaf with one nibble (one level above last level)
miha-stopar
committed
notes about non-hashed nodes in first level
miha-stopar
committed
assign function for account_leaf_storage_codehash
miha-stopar
committed
started documenting account leaf key
miha-stopar
committed
DenoteCols struct
miha-stopar
committed
account key leaf removed redundancy; added comments
miha-stopar
committed
key_rlc/key_rlc_mult moved to AccumulatorCols
miha-stopar
committed
non-hashed branch in parent check
miha-stopar
committed
Account leaf key constraints reintroduced (were not redundant); comments added
miha-stopar
committed
removed unneccessary arguments in some configs
miha-stopar
committed
fix
miha-stopar
committed
fixed extension node assignment; extension node key constraints for short version simplified
miha-stopar
committed
account_key_leaf comments
miha-stopar
committed
account key leaf assign function
miha-stopar
committed
node_mult_diff_s/node_mult_diff_c now part of AccumulatorCols struct
miha-stopar
committed
mult_diff moved into AccumulatorCols struct
miha-stopar
committed
Non-hashed extension node in parent branch constraint
miha-stopar
committed
s_mod_node_rlc/c_mod_node_rlc moved to AccumulatorCols
miha-stopar
committed
account leaf key in added branch documentation
miha-stopar
committed
account leaf key in added branch assign function
miha-stopar
committed
Account leaf comments
miha-stopar
committed
MptWitnessRow & MptWitnessRowType introduced as proposed by Adria
miha-stopar
committed
Documenting account_non_existing
miha-stopar
committed
branch init assignment simplification as proposed by Adria
miha-stopar
committed
branch init assignment refactored
miha-stopar
committed
number of nibbles used assignment
miha-stopar
committed
key_len_lookup for account_non_existing
miha-stopar
committed
Documenting account_non_existing
miha-stopar
committed
account_non_existing assign function
miha-stopar
committed
account leaf structs in separate file
miha-stopar
committed
storage leaf structs in a separate file
miha-stopar
committed
account_leaf folder
miha-stopar
committed
assignment of nibbles_count
miha-stopar
committed
branch folder
miha-stopar
committed
storage_leaf folder
miha-stopar
committed
chips -> configs
miha-stopar
committed
WitnessRow in a separate file
miha-stopar
committed
extension node nibbles count constraint
miha-stopar
committed
documenting branch.rs
miha-stopar
committed
assign_branch_init moved into branch.rs
miha-stopar
committed
assing_branch_child into branch.rs
miha-stopar
committed
branch and extension node number of nibbles constraints fixed
miha-stopar
committed
Only two nil-nodes when placeholder branch constraint fixed
miha-stopar
committed
assign_row moved into witness_row
miha-stopar
committed
assing_branch_row moved into witness_row
miha-stopar
committed
Account address has 64 nibbles constraint
miha-stopar
committed
Documenting branch
miha-stopar
committed
BranchCols, ProofTypeCols structs moved
miha-stopar
committed
MainCols moved
miha-stopar
committed
AccumulatorPair and AccumulatorCols moved
miha-stopar
committed
DenoteCols moved
miha-stopar
committed
storage leaf key nibbles count constraint
miha-stopar
committed
Fixing comments
miha-stopar
committed
proof_type assignment moved to witness_row
miha-stopar
committed
assign_lookup_columns
miha-stopar
committed
nibbles_count = 64 for storage leaf all constraints implemented
miha-stopar
committed
fixing drifted_pos related constraints (placeholder branch)
miha-stopar
committed
branch is_drifted_pos/modified_node constraints fixed
miha-stopar
committed
branch modified_node/drifted_pos comments; cleaning
miha-stopar
committed
branch.rs comments finished
miha-stopar
committed
comments for branch_hash_in_parent
miha-stopar
committed
branch_init documented
miha-stopar
committed
is_codehash_proof reintroduced - but only read op, not modification
miha-stopar
committed
branch_key comments
miha-stopar
committed
Branch parallel docs
miha-stopar
committed
branch_rlc docs
miha-stopar
committed
extension node assign function
miha-stopar
committed
removed constraints for key_rlc & mult_diff being set in all branch children - needed only in branch init
miha-stopar
committed
documenting extension_node_key
miha-stopar
committed
extension node key docs
miha-stopar
committed
documenting extension node key
miha-stopar
committed
documenting extension node
miha-stopar
committed
extension_node comments and simplification
miha-stopar
committed
storage leaf key comments
miha-stopar
committed
documenting storage leaf key
miha-stopar
committed
storage leaf key constraints simplification
miha-stopar
committed
account leaf key simplification
miha-stopar
committed
storage leaf key assign function added
miha-stopar
committed
storage leaf value assign function
miha-stopar
committed
storage leaf key in added branch assign function
miha-stopar
committed
fixed bug in leaf/account key in added branch (introduced when clearing assignments and constraints for branch / extension node)
miha-stopar
committed
mostly renaming
miha-stopar
committed
Previous key RLC in branches removed (no PoisonedConstraints anymore)
miha-stopar
committed
Account leaf added in new branch simplified
miha-stopar
committed
storage leaf in added branch simplified
miha-stopar
committed
get_type used in account leaf assign functions
miha-stopar
committed
codehash modification enabled
miha-stopar
committed
Storage leaf key documented
miha-stopar
committed
documenting leaf_value
miha-stopar
committed
leaf_value.rs documented
miha-stopar
committed
Documenting and refactoring leaf_key_in_added_branch
miha-stopar
committed
leaf_key_in_added_branch documented; missing constraints added
miha-stopar
committed
Branch hash in first storage trie level lookup moved to branch_hash_in_parent.rs
miha-stopar
committed
Extension node in first storage trie level lookup moved to extension_node.rs
miha-stopar
committed
Only storage leaf hash is storage trie root
miha-stopar
committed
leaf value fix
miha-stopar
committed
Constraints for the only storage leaf which is also a placeholder moved into leaf_value.rs
miha-stopar
committed
storage_root_in_account_leaf.rs removed, all constraints moved to other files
miha-stopar
committed
counter removed: lookups will use start_root/end_root instead
miha-stopar
committed
not_first_level constraints
miha-stopar
committed
start_root, final_root constraints refactored
miha-stopar
committed
ensuring there is account proof before storage proof: documented and missing constraint added
miha-stopar
committed
Selectors documented and missing constraint added
miha-stopar
committed
formatting
miha-stopar
committed
formatting leaf_value.rs
miha-stopar
committed
PositionCols (q_enabled, q_not_first, not_first_level)
miha-stopar
committed
leaf_key_in_added_branch formatting
miha-stopar
committed
leaf_key clones removed
miha-stopar
committed
selectores redundant clones removed
miha-stopar
committed
proof_chain redundant clones
miha-stopar
committed
Pointers to constraints for the first level; ProofVariables renamed
miha-stopar
committed
resolving clippy warnings
miha-stopar
committed
resolving clippy warnings
miha-stopar
committed
resolving clippy warnings
miha-stopar
committed
resolved clippy warnings in extension_node.rs
miha-stopar
committed
resolved clippy warnings in branch configs
miha-stopar
committed
clippy warnings resolved in account configs
miha-stopar
committed
last clippy warnings resolved (mostly related to visibility)
miha-stopar
committed
long value RLP check fixed
miha-stopar
committed
rotation fixed (hash of the empty storage trie)
miha-stopar
committed
leaf key in added branch fix
miha-stopar
committed
tests regenerated
miha-stopar
committed
mpt moved into zkevm-circuits
miha-stopar
committed
println removed
miha-stopar
committed
power_of_randomness as instance
miha-stopar
committed
cleaning related to power_of_randomness
miha-stopar
committed
switching to kecccak_circuit (branch_hash_in_parent.rs ported)
miha-stopar
committed
account_leaf_storage_codehash.rs ported to keccak circuit
miha-stopar
committed
account_leaf_key_in_added_branch.rs ported to keccak circuit
miha-stopar
committed
extension_node ported to keccak circuit
miha-stopar
committed
storage leaf ported to keccak circuit
miha-stopar
committed
is_big_endian added to dev_load for keccak table construction
miha-stopar
committed
fix in keccak assignments
miha-stopar
committed
power_of_randomness moved
miha-stopar
committed
randomness now assign parameter
miha-stopar
committed
fix in get_branch_len
miha-stopar
committed
proof_type column added; constraints for proof_type properly correspond to boolean proof selectors
miha-stopar
committed
enabling all lookups in the same set of columns
miha-stopar
committed
lookup selector constraints (to prevent lookups in wrong rows)
miha-stopar
committed
enabling lookups
miha-stopar
committed
storage mod lookup enabled in leaf value row
miha-stopar
committed
mpt_table exposed
miha-stopar
committed
codehash lookup fix
miha-stopar
committed
clippy warnings resolved
miha-stopar
committed
key_len_lookup enabled; tests passed
miha-stopar
committed
check_zeros parameter to enable/disable 2^13 fixed table
miha-stopar
committed
row added to the storage leaf for non existing storage proof
miha-stopar
committed
non_existing_storage skeleton prepared
miha-stopar
committed
non-existing-storage proof now works for short (one RLP byte) leaves
miha-stopar
committed
storage-non-existing long (two RLP bytes) key enabled
miha-stopar
committed
key_len_lookups and number of nibbles enabled for long keys (non existing storage proof)
miha-stopar
committed
storage-non-existing long key fixed; test added
miha-stopar
committed
non-existing-storage fix; tests added
miha-stopar
committed
Non-existing-storage for proofs with nil in branch
miha-stopar
committed
order of rows constraints fixed (after non-existing-row for storage was added)
miha-stopar
committed
non-existing-storage docs
miha-stopar
committed
tests updated
miha-stopar
committed

Commits on Oct 28, 2022