feat(dsl)!: DSL recursion changes w/ bb.js#485

Merged

charlielye merged 77 commits intocl/acir_cbindsfrom

mv/acir_cbind_recursion

Jun 1, 2023

Commits on Apr 13, 2023

Commits on Apr 16, 2023

Commits on Apr 18, 2023

Added serialization methods into dsl for recursive proof composition
zac-williamson
committed
added verificaiton key hash into RecursionConstraint
zac-williamson
committed
fixed compiler errors in stdlib_recursion_tests
zac-williamson
committed

Commits on Apr 28, 2023

add verify_recursive_proof method for simulating recursive verification in the ACVM
vezenovm
committed
master merge conflicts in acir_format and updates to generate method in sol tests
vezenovm
committed
add ecc module to env package to fix linking of ennv_load_prover_crs and env_load_verifier_crs
vezenovm
committed

Commits on May 1, 2023

Commits on May 3, 2023

fix dirty free for when serializing vk to fields, was working on macbook so not caught earlier, but need more clarity on ubuntu
vezenovm
committed

Commits on May 15, 2023

Commits on May 16, 2023

feat(dsl)!: Arbitrary depth recursion (#433)

vezenovm
and
zac-williamson
authored

Commits on May 22, 2023

Commits on May 24, 2023

Merge branch 'master' into mv/noir-recursion
vezenovm
committed

Commits on May 28, 2023

bb.js cmd changes
vezenovm
committed

Commits on May 30, 2023

Commits on May 31, 2023

Merge branch 'cl/acir_cbinds' into mv/acir_cbind_recursion
charlielye
committed

Commits on Jun 1, 2023