3#include "barretenberg/relations/relation_parameters.hpp"
4#include "barretenberg/sumcheck/instance/prover_instance.hpp"
14 std::shared_ptr<ProverInstance_<Flavor>> accumulator;
16 std::vector<uint8_t> folding_data;
Base class templates for structures that contain data parameterized by the fundamental polynomials of...
Defines particular circuit builder types expected to be used for circuit construction in stdlib and c...
Definition: claim.hpp:6
The result of running the Protogalaxy prover containing a new accumulator (relaxed instance) as well ...
Definition: folding_result.hpp:12