Jean M

Results 2 comments of


                                            Jean M

Refactor Honk and Plonk Recursion Constraint

When tackling this task, please consider the AVM recursion constraint (avm_recursion_constraint.cpp) and the TODO pointing to this issue.

`*RecursiveVerifier.verify_proof` should receive `StdlibProof` rather than `HonkProof` as argument

Please do not forget the AVM recursive verifier while working on this issue.