Properly derive the translation batching challenge #786
Assignees
Comments
4 tasks
codygunton
added a commit
to AztecProtocol/aztec-packages
that referenced
this issue
Nov 22, 2023
The last PR that splits out and completes work from #3022 We add composer, prover and verifier classes for the Goblin Translator VM. We also further flesh out the full Goblin composer tests. Modulo some missing challenge generation, we have our first Goblin proofs (i.e., something worth measuring)! Spawned issues AztecProtocol/barretenberg#783 AztecProtocol/barretenberg#784 AztecProtocol/barretenberg#785 AztecProtocol/barretenberg#786 AztecProtocol/barretenberg#787
AztecBot
pushed a commit
that referenced
this issue
Nov 23, 2023
The last PR that splits out and completes work from AztecProtocol/aztec-packages#3022 We add composer, prover and verifier classes for the Goblin Translator VM. We also further flesh out the full Goblin composer tests. Modulo some missing challenge generation, we have our first Goblin proofs (i.e., something worth measuring)! Spawned issues #783 #784 #785 #786 #787
codygunton
added a commit
to AztecProtocol/aztec-packages
that referenced
this issue
Dec 6, 2023
Adds a class to encapsulate Goblin. Uses this to thread a single transcript through the two VMs for proper challenge generation. The Goblin class has an interface via function: `accumulate` (construct a proof and a merge proof), `prove` (run the VM proofs) and `verify` (a testing function to natively verify those proofs. Rewrites the Goblin tests accordingly. Adds tests that use recursive verification of Honk proofs. When we have recursive merge verification we will have something worth measuring the assess the performance of Goblin proving. Closes AztecProtocol/barretenberg#785 Closes AztecProtocol/barretenberg#786 --------- Co-authored-by: codygunton <[email protected]>
AztecBot
pushed a commit
that referenced
this issue
Dec 7, 2023
Adds a class to encapsulate Goblin. Uses this to thread a single transcript through the two VMs for proper challenge generation. The Goblin class has an interface via function: `accumulate` (construct a proof and a merge proof), `prove` (run the VM proofs) and `verify` (a testing function to natively verify those proofs. Rewrites the Goblin tests accordingly. Adds tests that use recursive verification of Honk proofs. When we have recursive merge verification we will have something worth measuring the assess the performance of Goblin proving. Closes #785 Closes #786 --------- Co-authored-by: codygunton <[email protected]>
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
The full Goblin verifier must believe
batching_challenge_vwas chosen (pseudo-) randomly.The text was updated successfully, but these errors were encountered: