barretenberg
Loading...
Searching...
No Matches
folding_result.hpp
1#pragma once
3#include "barretenberg/relations/relation_parameters.hpp"
4#include "barretenberg/sumcheck/instance/prover_instance.hpp"
5namespace proof_system::honk {
12template <class Flavor> struct FoldingResult {
13 public:
14 std::shared_ptr<ProverInstance_<Flavor>> accumulator;
15 // TODO(https://github.com/AztecProtocol/barretenberg/issues/656): turn folding data into a struct
16 std::vector<uint8_t> folding_data;
17};
18} // namespace proof_system::honk
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