Bring main up to date with latest branch#101

Closed

z2trillion wants to merge 340 commits intomainfrom v0.7

+13,515-54,219

This pull request is big! We're only showing the most recent 250 commits

Commits on Mar 6, 2023

wip
Mason Liang
committed

Commits on Mar 7, 2023

wip
Mason Liang
committed

Commits on Mar 15, 2023

wip
Mason Liang
committed
Rename add_lookup
Mason Liang
committed
wip
Mason Liang
committed
fix
Mason Liang
committed

Commits on Mar 16, 2023

wip
Mason Liang
committed

Commits on Mar 17, 2023

Add byte_representation
Mason Liang
committed
wip
Mason Liang
committed
cleanup
Mason Liang
committed
implement lookups
Mason Liang
committed

Commits on Mar 23, 2023

Add rlc and byte lookup
Mason Liang
committed

Commits on Mar 27, 2023

wip
Mason Liang
committed
Assign poseidon table
Mason Liang
committed
Tests compile
Mason Liang
committed
Implement MptUpdateLookup
Mason Liang
committed

Commits on Mar 28, 2023

Begin synthesize implementation for MptUpdate test
Mason Liang
committed
cleanup
Mason Liang
committed
Add comments for where conditional constraints will go
Mason Liang
committed
fmt
Mason Liang
committed
Update Query to be Clone
Mason Liang
committed
cleanup
Mason Liang
committed
Add condition method
Mason Liang
committed
Implement OneHot
Mason Liang
committed
wip
Mason Liang
committed

Commits on Apr 3, 2023

Fill out some lookup and segment type conditional constraints
Mason Liang
committed
Add depth and key transition constraints
Mason Liang
committed

Commits on Apr 7, 2023

Add direction lookups
Mason Liang
committed

Commits on Apr 11, 2023

Add AccountLeaf0-4 and StorageLeaf0-1 segment types
Mason Liang
committed
Add constraints for nonce and code size packing
Mason Liang
committed

Commits on Apr 13, 2023

Merge main branch into feat/refactor. (#26 )
silathdiir
authored

Commits on Apr 14, 2023

Add .gitignore to integration-tests. (#30 )
silathdiir
authored

Commits on Apr 16, 2023

Add state transition vectors
Mason Liang
committed
Add assigment and tests for key_bit
Mason Liang
committed
WIP constraint poisoned error for nonce updates
Mason Liang
committed
Wip Fix test
Mason Liang
committed
wip
Mason Liang
committed
wip
Mason Liang
committed
Fix canonical representation
Mason Liang
committed
Fix indexing for key bit
Mason Liang
committed
cleanup
Mason Liang
committed
Add todos
Mason Liang
committed
fix
Mason Liang
committed
Test passes
Mason Liang
committed
Add old and new keys
Mason Liang
committed

Commits on Apr 18, 2023

Remove first column for OneHot so that assigning all zeros is valid
Mason Liang
committed
Update one hot calls
Mason Liang
committed

Commits on Apr 23, 2023

wip nonce_existing_account
Mason Liang
committed
wip re-enable more constraints
Mason Liang
committed
wip re-enable more constraints
Mason Liang
committed

Commits on Apr 24, 2023

Add constraints for extensionnew/old
Mason Liang
committed

Commits on Apr 25, 2023

Nonce write for existing account passes
Mason Liang
committed
Fix bug where matches was wrong for first variant
Mason Liang
committed
Add constraints for nonce leaf changes
Mason Liang
committed
Add todo comment
Mason Liang
committed
Byte value is 256, not 8
Mason Liang
committed

Commits on Apr 26, 2023

wip need to fix naming
Mason Liang
committed
fix address_high/low naming
Mason Liang
committed

Commits on Apr 27, 2023

wip type_2 empty account nonce write
Mason Liang
committed
all three nonce write tests pass
Mason Liang
committed
add mock_prove test helper
Mason Liang
committed

Commits on Apr 28, 2023

Add constraints for type 1 nonexistence proofs
Mason Liang
committed

Commits on May 1, 2023

All three account types verify
Mason Liang
committed
Fix transposition
Mason Liang
committed
cleanup
Mason Liang
committed
Add MPTProofType to conversion to make it 1-1
Mason Liang
committed
Simplify ClaimKind
Mason Liang
committed
Move account leaf hash assigments to proof.rs
Mason Liang
committed

Commits on May 2, 2023

Add IsEqaulGadget
Mason Liang
committed
Add key != other_key check for type 1 accounts and direction lookup for other key
Mason Liang
committed
Fixes lookup and code_size nonce packing
Mason Liang
committed

Commits on May 3, 2023

Add tests generated from fill_state_roots
Mason Liang
committed
Add nonce_update_type_2 test
Mason Liang
committed
Add nonce_update_existing test
Mason Liang
committed
Add test traces for non-storage updates
Mason Liang
committed

Commits on May 4, 2023

Handle balance updates
Mason Liang
committed
Add code size constraints
Mason Liang
committed
Support poseidon code hash updates
Mason Liang
committed

Commits on May 8, 2023

Add Fr to byte_representation
Mason Liang
committed
Update balance traces to use larger values
Mason Liang
committed
Rlc balance
Mason Liang
committed

Commits on May 10, 2023

Keccak code hash for new value
Mason Liang
committed

Commits on May 11, 2023

Add read keccak code hash read test
Mason Liang
committed

Commits on May 18, 2023

Add storage trie rows
Mason Liang
committed
cleanup
Mason Liang
committed
Assign storage leaf values
Mason Liang
committed
cleanup
Mason Liang
committed
expand StorageEntry to StorageLeaf
Mason Liang
committed
Distinguish between mpt and storage keys
Mason Liang
committed

Commits on May 22, 2023

Handle type 1 empty storage slots
Mason Liang
committed
Constrain Type 1 xor Type 2 for extension new
Mason Liang
committed
Remove redundant constraint
Mason Liang
committed

Commits on May 23, 2023

Use key and other key for storage leaf
Mason Liang
committed
Add assignments and constraints for AccountDoesNotExist (#40 )

authored

Commits on May 29, 2023

Add intermediate values
Mason Liang
committed
Move address to intermediate values
Mason Liang
committed
Remove dedicated key_equals_other_key gadget
Mason Liang
committed
Only assign on accountleaf0
Mason Liang
committed
Remove hash_is_zero gadgets
Mason Liang
committed
Fix rebase
Mason Liang
committed
[Feat] Induce poseidon lookup (#39 )

authored

Commits on May 30, 2023

Use challenge api (#41 )

z2trillion
and
Mason Liang
authored
Add non-zero hash constraints
Mason Liang
committed
Remove unused column
Mason Liang
committed
Remove other_key_hash and other_leaf_data_hash columns
Mason Liang
committed
Add constraints for columns that can't change
Mason Liang
committed
Remove unused assigment
Mason Liang
committed
Handle Storage ExtensionNew/Old
Mason Liang
committed
Handle case where there are no account trie rows
Mason Liang
committed
Simply storage leaf assigment
Mason Liang
committed
Constrain path_type transitions
Mason Liang
committed
Constraint segment transitions
Mason Liang
committed
Remove redundant constraints
Mason Liang
committed
update comments
Mason Liang
committed
Remove old tests
Mason Liang
committed
delete more tests
Mason Liang
committed
Delete most of mpt_table
Mason Liang
committed
Delete unused files
Mason Liang
committed
Remove more dead code
Mason Liang
committed
Delete even more dead code
Mason Liang
committed
Add AccountProof type
Mason Liang
committed
Add more constraints for configure ExtensionNew/Old
Mason Liang
committed
Fix extensionnew/old poseidon lookups
Mason Liang
committed
Constrain when path type can change from Common -> ExtensionNew/Old
Mason Liang
committed
Constrain new node is empty for ExtensionNew
Mason Liang
committed
constrain account leaf siblings for extension new nonce proof
Mason Liang
committed
disallow extension paths for code size, codehases, and and empty account proofs
Mason Liang
committed

Commits on May 31, 2023

Constrain siblings for balance extension new
Mason Liang
committed
remove todos
Mason Liang
committed
Change rlc lookup interface
Mason Liang
committed
Restrict balances to 31 bytes to prevent overflow
Mason Liang
committed
Add empty storage trace jsons
Mason Liang
committed
Fix byte representation tests
Mason Liang
committed
Add assigment for empty storage proofs
Mason Liang
committed
Add unbeautiful constraints for empty storage
Mason Liang
committed

Commits on Jun 1, 2023

try
lispc
committed
fix
lispc
committed

Commits on Jun 5, 2023

Match MPTProofType in zkevm-circuits (#42 )

z2trillion
and
Mason Liang
authored
Use default of hash(0, 0) for poseidon lookup
Mason Liang
committed

Commits on Jun 9, 2023

Fixes for proving mock traces (#44 )

z2trillion
and
Mason Liang
authored
Pub assign_padding_row
Mason Liang
committed

Commits on Jun 18, 2023

Move tests to mpt circuit from mpt update
Mason Liang
committed
fix warnings
Mason Liang
committed
Remove all 0 row in test poseidon table
Mason Liang
committed

Commits on Jun 19, 2023

update poseidon circuit, elimate secondary phase col
noel2004
committed
Lower degree from 10 to 9 (#48 )

z2trillion
and
Mason Liang
authored
Add lookup_exprs to mpt circuit (#47 )

z2trillion
and
Mason Liang
authored

Commits on Jun 21, 2023

Add rlc lookup for Fr in canonical representation gadget (#50 )

z2trillion
and
Mason Liang
authored

Commits on Jun 26, 2023

Commits on Jun 27, 2023

Commits on Jun 30, 2023

Assign all 0 row in mpt circuit for all 0 row in mpt table (#53 )

z2trillion
and
Mason Liang
authored

Commits on Jul 17, 2023

fix clippy (#54 )

z2trillion
and
Mason Liang
authored
Accept empty account proofs to for MptUpdates where new and old values are 0 (#55 )

z2trillion
and
Mason Liang
authored
Add make file and CI (#56 )

z2trillion
and
Mason Liang
authored

Commits on Jul 21, 2023

Commits on Jul 22, 2023

Commits on Jul 23, 2023

update hash circuit to new dev branch
noel2004
committed

Commits on Jul 24, 2023

Add HashDomain type
Mason Liang
committed
Add hash domain to hash trace list
Mason Liang
committed

Commits on Jul 26, 2023

Sanity checks for empty_account_type_1 pass
Mason Liang
committed
Sanity check for existing account trace passes
Mason Liang
committed
Handle type 1 extensions
Mason Liang
committed
Add nonce traces
Mason Liang
committed
Add code size, keccak code hash, and poseidon code hash traces
Mason Liang
committed
Update hashes for storage traces
Mason Liang
committed
Add additional empty_storage_type_1 traces
Mason Liang
committed
Check reversed storage traces
Mason Liang
committed
fix typo
Mason Liang
committed
Use get_domains functions
Mason Liang
committed
Remove domainless hash function
Mason Liang
committed
Implement into query for HashDomain
Mason Liang
committed
Start using domain separator in poseidon lookup
Mason Liang
committed
type 1 nonexisting account proof passes
Mason Liang
committed
Change mock_prove signature
Mason Liang
committed
mock prove updates to existing accounts
Mason Liang
committed
cleanup warnings
Mason Liang
committed
cleanup dbg's
Mason Liang
committed
clippy
Mason Liang
committed

Commits on Jul 27, 2023

Update node type in traces
Mason Liang
committed
Add type 2 non existing account proof
Mason Liang
committed
Fix check
Mason Liang
committed
Add balance update for type 2 empty account
Mason Liang
committed
Add type_2 nonce update test
Mason Liang
committed
Add empty storage type 2 update tests
Mason Liang
committed
Mock prove storage update
Mason Liang
committed
Mock prove type 2 storage update
Mason Liang
committed
Handle empty_account_proofs_for_zero_value_updates
Mason Liang
committed
mock prove empty_account_proofs_for_empty_storage_updates
Mason Liang
committed
constrain domain
Mason Liang
committed
Add lagrange_polynomial helper
Mason Liang
committed
Add poseidon lookups for final common path types for type 2 proofs
Mason Liang
committed
Fix lagrange interpolation helper and use correct hash traces
Mason Liang
committed
Calculate account trie hash traces correctly
Mason Liang
committed
Remove outdated traces and tests
Mason Liang
committed
Move tests into tests.rs
Mason Liang
committed
Add singleton storage trie test, but now must lower degree
Mason Liang
committed

Commits on Jul 28, 2023

Split next_domain from get_domains
Mason Liang
committed
Lower degree by 1. Still need to fix singleton trie assigment
Mason Liang
committed
clippy
Mason Liang
committed
fix singleton trie test
Mason Liang
committed
Fix HashDomain variant names
Mason Liang
committed
Remove temp_hash
Mason Liang
committed
Fix check_hash_traces_new
Mason Liang
committed
fix build
Mason Liang
committed

Commits on Jul 30, 2023

Handle case where hash domain for root node changes
Mason Liang
committed

Commits on Jul 31, 2023

Add failing empty storage proof tests
Mason Liang
committed
Fix failing empty storage proofs by always adding storage key hash to hash traces
Mason Liang
committed

Commits on Aug 7, 2023

Range check address_high
Mason Liang
committed

Commits on Aug 14, 2023

Constrain inverse_or_zero to be zero when value is 0 (#82 )

z2trillion
and
Mason Liang
authored
[ToB 2.6] Fix configure_nonce (#73 )

z2trillion
and
Mason Liang
authored
fix build
Mason Liang
committed

Commits on Aug 23, 2023

Add check that final mpt update row is padding
Mason Liang
committed
fmt
Mason Liang
committed
Check previous instead of current (#68 )

z2trillion
and
Mason Liang
authored
Constraint BinaryColumn to be binary (#69 )

z2trillion
and
Mason Liang
authored
Check old hash = new hash for every row of empty storage proofs (#74 )

z2trillion
and
Mason Liang
authored
Remove unreachable constraints and redundant condition in configure_code_size (#64 )

z2trillion
and
Mason Liang
authored
fix constraint name (#72 )

z2trillion
and
Mason Liang
authored
Remove unused file (#71 )

z2trillion
and
Mason Liang
authored
Fix constraint names (#86 )

z2trillion
and
Mason Liang
authored

Commits on Aug 25, 2023

[ZK 42] Fix configure_balance constraints (#87 )

z2trillion
and
Mason Liang
authored
[ZK 35] add is_first selector to handle wraparound for .previous (#81 )

z2trillion
and
Mason Liang
authored
Use constraints instead of lookups
Mason Liang
committed
Fix assert
Mason Liang
committed
Merge branch 'zellic_kalos_2_23' into v0.6
Mason Liang
committed
Merge branch 'zellic_kalos_38' into v0.6
Mason Liang
committed

Commits on Aug 30, 2023

Handle proofs for empty and singleton MPT's (#89 )

z2trillion
and
Mason Liang
authored
Fix failing testool cases (#90 )

z2trillion
and
Mason Liang
authored

Commits on Sep 1, 2023

upgrade poseidon circuit
lispc
committed

Commits on Sep 12, 2023

[ZK 38] range check address_high and address_low (#78 )

authored

Commits on Sep 13, 2023

Commits on Sep 24, 2023

Disambiguate between rlc lookups (#76 )

z2trillion
and
Mason Liang
authored

Commits on Sep 26, 2023

Remove unused function
Mason Liang
committed
Move poseidon lookup to constraint builder
Mason Liang
committed
Ensure row is enabled for non-poseidon lookups
Mason Liang
committed
Use enough rows to allow tests to pass
Mason Liang
committed

Commits on Oct 31, 2023

Add n_rows_required method to MptCircuit (#93 )

z2trillion
and
Mason Liang
authored