feat(avm): DSL integration of AVM recursive verifier#8405

Merged

jeanmon merged 7 commits intomasterfrom

jm/8285-avm-recursive-acir-dsl

Sep 9, 2024

Commits on Sep 9, 2024

8285: typo in README
jeanmon
committed
8285: takes an aggregation object as parameter of AVM recursive
jeanmon
committed
8285: dsl for avm recursive verifier
jeanmon
committed
8285: fix gcc errors
jeanmon
committed
8285: unit test for dsl avm recursive verifier
jeanmon
committed
8285: addressing of review comments
jeanmon
committed
8285: fixes after rebase on master
jeanmon
committed