feat: bb uses goblin#3636

Merged

ledwards2225 merged 54 commits intomasterfrom

cg-lde/expose-goblin

Dec 18, 2023

Commits on Dec 17, 2023

Pre-convo work

codygunton
authored and
ledwards2225
committed
Shared notes

codygunton
authored and
ledwards2225
committed
Revert false start from yesterday

codygunton
authored and
ledwards2225
committed
It builds

codygunton
authored and
ledwards2225
committed
Notes etc from chat at EOD Friday

codygunton
authored and
ledwards2225
committed
Put stuff in AcirComposer; everything builds.

codygunton
authored and
ledwards2225
committed
Immunotherapy break

codygunton
and
ledwards2225
committed
wip
ledwards2225
committed
building and running up to eccvm
ledwards2225
committed
woops
ledwards2225
committed
getting through proof construction
ledwards2225
committed
Add comment

codygunton
authored and
ledwards2225
committed
No composer member

codygunton
authored and
ledwards2225
committed
Should work but doesn't

codygunton
authored and
ledwards2225
committed
Proofs constructed; ver fails

codygunton
authored and
ledwards2225
committed
Try just Ultra

codygunton
authored and
ledwards2225
committed
Test "passes"

codygunton
authored and
ledwards2225
committed
Prune and update comments.

codygunton
authored and
ledwards2225
committed
More touching up

codygunton
authored and
ledwards2225
committed
Final touch-up before split

codygunton
authored and
ledwards2225
committed
Add proof_ assignment

codygunton
authored and
ledwards2225
committed
Separate into clean function.

codygunton
authored and
ledwards2225
committed
Clean up more

codygunton
authored and
ledwards2225
committed
More cleanup

codygunton
authored and
ledwards2225
committed
Add note

codygunton
authored and
ledwards2225
committed
More cleanup and notes

codygunton
authored and
ledwards2225
committed
feat: run prove_then_verify_goblin in CI

ludamad0
authored and
ledwards2225
committed
templated necessary acir format fctns
ledwards2225
committed
one more template fctn
ledwards2225
committed
yet another
ledwards2225
committed
holy fuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuk
ledwards2225
committed
simplify pnvGoblin plus debug
ledwards2225
committed
new method properly accounts for noir bug
ledwards2225
committed
stable state
ledwards2225
committed
builder wire offset method works
ledwards2225
committed
debug utility uses labels and db relation passes
ledwards2225
committed

Commits on Dec 18, 2023