|
Barretenberg
The ZK-SNARK library at the core of Aztec
|
The result of one iteraton of Protogalaxy proving, containing a new accumulator as well as the proof data to instantiate the verifier transcript asserting that the accumulator has been correctly constructed. More...
#include <folding_result.hpp>
Public Attributes | |
| std::shared_ptr< ProverInstance_< Flavor > > | accumulator |
| std::vector< typename Flavor::FF > | proof |
The result of one iteraton of Protogalaxy proving, containing a new accumulator as well as the proof data to instantiate the verifier transcript asserting that the accumulator has been correctly constructed.
Definition at line 16 of file folding_result.hpp.
| std::shared_ptr<ProverInstance_<Flavor> > bb::FoldingResult< Flavor >::accumulator |
Definition at line 18 of file folding_result.hpp.
| std::vector<typename Flavor::FF> bb::FoldingResult< Flavor >::proof |
Definition at line 19 of file folding_result.hpp.