Add proof_as_fields and vk_as_fields flows for Honk #982
Assignees
Milestone
Comments
lucasxia01
added a commit
to AztecProtocol/aztec-packages
that referenced
this issue
May 16, 2024
Closes AztecProtocol/barretenberg#982. Adds the vk_as_fields and proof_as_fields flows for Honk that are used to generate the Vkey and proof as inputs for a recursive circuit (like double_verify_proof). I revamped the script, gen_inner_proof_inputs.sh, that call these flows. I add new serialization/deserialization for ultra/goblin_ultra flavor verification keys which are used in the vk_as_fields flow. Notes: I removed the key_hash output that was part of Plonk's vk_as_fields output since we don't need it.
AztecBot
pushed a commit
that referenced
this issue
May 17, 2024
Closes #982. Adds the vk_as_fields and proof_as_fields flows for Honk that are used to generate the Vkey and proof as inputs for a recursive circuit (like double_verify_proof). I revamped the script, gen_inner_proof_inputs.sh, that call these flows. I add new serialization/deserialization for ultra/goblin_ultra flavor verification keys which are used in the vk_as_fields flow. Notes: I removed the key_hash output that was part of Plonk's vk_as_fields output since we don't need it.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
We need these flows so that users can generate proofs and vkeys as inputs for recursive proofs.
The text was updated successfully, but these errors were encountered: