feat(avm): avm recursive verifier cpp#8162

Merged

jeanmon merged 21 commits intomasterfrom

jm/7790-avm-recursive-verifier-cpp

Aug 29, 2024

Commits on Aug 29, 2024

7790: Port cpp changes
jeanmon
committed
7790: port codegen part
jeanmon
committed
7790: Fix compilation issues
jeanmon
committed
7790: WIP - debugging assertion in from_witness()
jeanmon
committed
7790: Fix for zeromorph verification issue
jeanmon
committed
7790: fix issues after rebase to master
jeanmon
committed
7790: Clean up header files
jeanmon
committed
7790: cosmetic cleanups and assert circuit size
jeanmon
committed
7790: Enable Zeromorph in AVM recursive verifier (just compilation)
jeanmon
committed
7790: refactor - move pcs_verification_key to verification_key
jeanmon
committed
7790: Make Zeromorph verification work in AVM recursive verifier
jeanmon
committed
7790: recursive verifier returns pairing pooints + other improvements
jeanmon
committed
7790: Cleaning up recursive flavor
jeanmon
committed
7790: Remove BATCHED_RELATION_TOTAL_LENGTH constant in all flavors
jeanmon
committed
7790: additional clean ups
jeanmon
committed
7790: Keep certain classes in flavor.hpp private
jeanmon
committed
7790: some review feedback is addressed
jeanmon
committed
7790: remove _recursive.hpp generated files
jeanmon
committed
7790: remove code-gen related to recursive files
jeanmon
committed
7790: some other review comments are addressed
jeanmon
committed
7790: resolve conflict after rebase on master
jeanmon
committed