Skip to content

Commit

Permalink
Merge pull request #67 from AztecProtocol/jm/backport-recursive-ver-a…
Browse files Browse the repository at this point in the history
…s-ultracircuit

Backport of recursive verifier as an ultracircuit
  • Loading branch information
jeanmon authored May 29, 2024
2 parents 8ec2dd7 + 802af4e commit dbc902f
Showing 1 changed file with 1 addition and 6 deletions.
7 changes: 1 addition & 6 deletions bberg/src/flavor_builder.rs
Original file line number Diff line number Diff line change
Expand Up @@ -366,8 +366,6 @@ fn create_proving_and_verification_key(
fn create_polynomial_views(first_poly: &String) -> String {
format!("
using FoldedPolynomials = AllEntities<std::vector<FF>>;
class AllValues : public AllEntities<FF> {{
public:
using Base = AllEntities<FF>;
Expand Down Expand Up @@ -414,9 +412,6 @@ fn create_polynomial_views(first_poly: &String) -> String {
}}
}};
using RowPolynomials = AllEntities<FF>;
class PartiallyEvaluatedMultivariates : public AllEntities<Polynomial> {{
public:
PartiallyEvaluatedMultivariates() = default;
Expand All @@ -438,7 +433,7 @@ fn create_polynomial_views(first_poly: &String) -> String {
/**
* @brief A container for univariates used during Protogalaxy folding and sumcheck with some of the computation
* optmistically ignored
* optimistically ignored
* @details During folding and sumcheck, the prover evaluates the relations on these univariates.
*/
template <size_t LENGTH, size_t SKIP_COUNT>
Expand Down

0 comments on commit dbc902f

Please sign in to comment.