Add n_rows_required method to MptCircuit#93

Merged

z2trillion merged 12 commits intov0.7from feat/n_rows

Oct 31, 2023

+318-194

Commits on Oct 2, 2023

fix column annotation
Mason Liang
committed
Implement n_rows_required for internal gadgets
Mason Liang
committed

Commits on Oct 3, 2023

Add n_rows_required implementation for MptUpdateGadget
Mason Liang
committed
clippy and add 1 to account for disabled row in MptUpdateConfig
Mason Liang
committed

Commits on Oct 5, 2023

Start assignment from second row
Mason Liang
committed

Commits on Oct 9, 2023

Remove panic
Mason Liang
committed

Commits on Oct 10, 2023

Add comments explaining where +1 comes from
Mason Liang
committed
Add test for fixed vk
Mason Liang
committed
Dedup hash traces and add comment explaining +1 in n_rows_required
Mason Liang
committed
Fix comment
Mason Liang
committed

Commits on Oct 16, 2023

Fix build
Mason Liang
committed

Commits on Oct 19, 2023

Track Cargo.lock
Mason Liang
committed