This repository was archived by the owner on Apr 18, 2025. It is now read-only.

Refactor StateCircuit + add lexicographic ordering constraints#135

Closed

z2trillion wants to merge 27 commits into

mainfrom

feat/state_circuit_refactor

Commits on Apr 28, 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

Commits on Apr 29, 2022

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

Commits on May 2, 2022