feat: Update recursion constraint for Honk#6315

Closed

lucasxia01 wants to merge 20 commits into

lx/honk-recursion-constraint

Commits on Apr 25, 2024

use one agg object in build_constraints
vezenovm
committed

Commits on Apr 26, 2024

initial work to remove difference in proof sizes for non-nested proofs in dsl
vezenovm
committed
failed hacky fix -> we want a biggroup pt at infty to make this worm
lucasxia01
committed

Commits on May 2, 2024

Commits on May 3, 2024

Commits on May 8, 2024

Merge branch 'master' into mv/simplify-non-nested-proofs-dsl
lucasxia01
authored

Commits on May 10, 2024

new function for converting verification key to bb::fr elements
lucasxia01
committed

Commits on May 14, 2024