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

Use BinaryNumberChip in LexicographicOrderingConfig to lower degree#566

Merged

ed255 merged 62 commits into

privacy-ethereum:mainfrom

scroll-tech:fix/lex

Jun 27, 2022

Commits on Jun 16, 2022

Add BinaryNumber chip
z2trillion
committed
Cleanup
z2trillion
committed
Use binary columns to select based on Tag
z2trillion
committed
Clean up and rename to_bits to as_bits
z2trillion
committed
Add check that RwTableTag is in allowed range
z2trillion
committed
Fix degree test and remove unused function
z2trillion
committed
Fix rebase and clean up invalid_values gate
z2trillion
committed
Remove unused derive
z2trillion
committed
Make requested changes
z2trillion
committed
clippy
z2trillion
committed
Make requested changes
z2trillion
committed
Create and use SortKeysConfig
z2trillion
committed
Cleanup lexicographic ordering config
z2trillion
committed
Fix rebase and limb count errors
z2trillion
committed
Fix first_access expression and remove unused IsZero gadget
z2trillion
committed
Clean up invalid values gate
z2trillion
committed
Replace is_id_uncchanged with binary expression
z2trillion
committed
cargo fix and fix tests
z2trillion
committed
lower degree
z2trillion
committed
clippy, fix, and fmt
z2trillion
committed
clean up
z2trillion
committed
feat(evm-circuit): add dummy gadget (#563)

lispc
authored and
z2trillion
committed
Merge branch 'main' into fix/lex
z2trillion
committed
cleanup
z2trillion
committed

Commits on Jun 17, 2022

update comments
z2trillion
committed
Use RLC to avoid overflow
z2trillion
committed
Add test
z2trillion
committed
cleanup
z2trillion
committed
clean up name
z2trillion
committed
Add todo
z2trillion
committed
fix test
z2trillion
committed
Add failing test
z2trillion
committed
Add Rw::Padding
z2trillion
committed
Add padding rows to state circuit to fix test
z2trillion
committed
Fix degree test and add comment
z2trillion
committed
Add rw_counter to Start for padding
z2trillion
committed
Ignore start test for now
z2trillion
committed
Remove Rw::Padding
z2trillion
committed
Fix test and cleanup
z2trillion
committed
Add rw_counter constraint for Rw::Start and comment
z2trillion
committed
Allow overrides in padding
z2trillion
committed
Update tests
z2trillion
committed
Make state circuit generic over N_ROWS and fix constraint names
z2trillion
committed
Fix tests and build
z2trillion
committed

Commits on Jun 20, 2022

Commits on Jun 21, 2022

Merge branch 'main' into fix/lex
DreamWuGit
authored
Merge branch 'main' into fix/padding
z2trillion
authored
Merge branch 'main' into fix/lex
z2trillion
authored
Update comments
z2trillion
committed
Merge branch 'fix/padding' into fix/lex
z2trillion
committed
Merge branch 'main' into fix/lex
z2trillion
committed
fix merge
z2trillion
committed

Commits on Jun 22, 2022

Merge branch 'main' into fix/lex
z2trillion
authored

Commits on Jun 23, 2022

Commits on Jun 24, 2022

Update test to check that 5 bits is enough
z2trillion
committed
update test for new constraint name
z2trillion
committed
Update names and fmt
z2trillion
committed
Update comments
z2trillion
committed