feat: laying out a new recursion constraint for honk#6489

Merged

lucasxia01 merged 9 commits intomasterfrom lx/initial-honk-recursion-constraint

May 17, 2024

+1,011-37

Commits on May 16, 2024

init new honk recursion constraint
lucasxia01
committed

Commits on May 17, 2024

add default aggregation object to honk recursion constraint, but not plonk
lucasxia01
committed
cleaning up some bad code + minor changes to bigfield
lucasxia01
committed
add empty honk_recursion_constraints to all other tests
lucasxia01
committed
Merge remote-tracking branch 'origin/master' into lx/initial-honk-recursion-constraint
lucasxia01
committed
update after merge
lucasxia01
committed
fixing plonk recursion constraint tests to handle the cases where a inner circuit has a nested proof and at least one inner public inputs
lucasxia01
committed
hacky fix to avoid adding default aggregation object
lucasxia01
committed
forgotten fix
lucasxia01
committed