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

Implement constraints in state circuit spec#462

Merged

icemelon merged 31 commits into

privacy-ethereum:mainfrom

scroll-tech:feat/state_circuit_refactor

May 10, 2022

Commits on May 10, 2022

Refactor StateCircuit + add lexicographic ordering constraints
z2trillion
committed
Implement first_access method and fix stack change constraint
z2trillion
committed
Cleanup and comment out failing constraint
z2trillion
committed
Fix failing tests by correctly getting limbs in be order in lexicographic ordering
z2trillion
committed
fix clippy
z2trillion
committed
Rename test files for clippy
z2trillion
committed
Cleanup benchmarks
z2trillion
committed
fix build
z2trillion
committed
Assign diff_inverse correctly
z2trillion
committed
Fix instance function and convert it to a method
z2trillion
committed
Fix storage_key_be_limbs method
z2trillion
committed
Add degree test
z2trillion
committed
Have StateCircuit use Vec<Rw> instead of RwMap
z2trillion
committed
Compute first_access correctly
z2trillion
committed
wip, but tests pass
z2trillion
committed
Fix diff_2 assignment
z2trillion
committed
cleanup
z2trillion
committed
Use verify_at_rows to speed up tests and derive EnumIter
z2trillion
committed
Add cleanup and explain diff_1 and diff_2
z2trillion
committed
cleanup
z2trillion
committed
fmt
z2trillion
committed
Add newline to fix cargo fmt
z2trillion
committed
Fix degree test and TxLog table assignment
z2trillion
committed
Cleanup and change index type to u8 from usize
z2trillion
committed
Rename to diff_1->upper_limb_difference and diff_2->lower_limb_difference
z2trillion
committed
Explain assignment in comments
z2trillion
committed
fix conflicts

lispc
authored and
z2trillion
committed
lint

lispc
authored and
z2trillion
committed
fix rebase
z2trillion
committed
fix build and tests from rebase
z2trillion
committed
make change to rerun tests
z2trillion
committed