Recursive folding and decider verifier #834
Assignees
Comments
maramihali
changed the title
AztecBot
pushed a commit
that referenced
this issue
Jan 25, 2024
Implements the recursive folding verifier and recursive decider verifier resembling the native ones as closely as possible. Tests follow the example of the other recursive honk verifiers and native protogalaxy tests. Additionally, I introduced a function that sequentially computes polynomials in coefficient form in the `ProtoGalaxyRecursiveVerifier` to avoid having to instantiate the entire `Polynomial` class on `stdlib::bn254`. Closes #789. Closes #834.
michaelelliot
pushed a commit
to Swoir/noir_rs
that referenced
this issue
Feb 28, 2024
…otocol#4156) Implements the recursive folding verifier and recursive decider verifier resembling the native ones as closely as possible. Tests follow the example of the other recursive honk verifiers and native protogalaxy tests. Additionally, I introduced a function that sequentially computes polynomials in coefficient form in the `ProtoGalaxyRecursiveVerifier` to avoid having to instantiate the entire `Polynomial` class on `stdlib::bn254`. Closes AztecProtocol/barretenberg#789. Closes AztecProtocol/barretenberg#834.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
No description provided.
The text was updated successfully, but these errors were encountered: