Complete acir_tests suite for Honk #1124
Assignees
Comments
codygunton
pushed a commit
to AztecProtocol/aztec-packages
that referenced
this issue
Oct 7, 2024
Closes AztecProtocol/barretenberg#1124. Ensure all acir tests are configured to run with UH as a precursor to the full switch and add `double_verify_honk_proof` and `double_verify_honk_proof_recursive` Noir programs to be tested as part of the acir tests. In Plonk, we also have `double_verify_nested_proof`, which aggregates two recursive proof (produced with `double_verify_proof_recursive`). That is because those proofs will have 16 additional frs representing the public inputs' indices of the recursive proof. Unlike this, we don't have different proof sizes when we handle recursive proofs for Honk but instead parse an initial default aggregation object in case the proof isn't produced from recursively verifying another proof.
AztecBot
pushed a commit
that referenced
this issue
Oct 8, 2024
Closes #1124. Ensure all acir tests are configured to run with UH as a precursor to the full switch and add `double_verify_honk_proof` and `double_verify_honk_proof_recursive` Noir programs to be tested as part of the acir tests. In Plonk, we also have `double_verify_nested_proof`, which aggregates two recursive proof (produced with `double_verify_proof_recursive`). That is because those proofs will have 16 additional frs representing the public inputs' indices of the recursive proof. Unlike this, we don't have different proof sizes when we handle recursive proofs for Honk but instead parse an initial default aggregation object in case the proof isn't produced from recursively verifying another proof.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
We are missing the
double_verify*Acir tests for HonkThe text was updated successfully, but these errors were encountered: