feat: Checking finalized sizes + a test of two folding verifiers#8503

Merged

codygunton merged 10 commits intomasterfrom

cg/two-folding-verifiers-test

Sep 12, 2024

Commits on Sep 12, 2024

Make test more idiomatic so it doesn't re-oink the accumulator. Result:
codygunton
committed
Merge remote-tracking branch 'origin/master' into cg/two-folding-verifiers-test
codygunton
committed
Fix typo to count gates with ensuring nonzero. Result:
codygunton
committed