Barretenberg
The ZK-SNARK library at the core of Aztec
|
The result of running the Protogalaxy prover containing a new accumulator as well as the proof data to instantiate the verifier transcript. More...
#include <folding_result.hpp>
Public Attributes | |
std::shared_ptr< DeciderProvingKey_< Flavor > > | accumulator |
std::vector< typename Flavor::FF > | proof |
The result of running the Protogalaxy prover containing a new accumulator as well as the proof data to instantiate the verifier transcript.
Definition at line 16 of file folding_result.hpp.
std::shared_ptr<DeciderProvingKey_<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.