Classes
struct	AccumulationOutput
	Output of goblin::accumulate; an Ultra proof and the corresponding verification key. More...

struct	Proof

Public Types
using	GoblinUltraComposer = proof_system::honk::UltraComposer_< GUHFlavor >

using	GoblinUltraVerifier = proof_system::honk::UltraVerifier_< GUHFlavor >

using	Builder = GoblinUltraCircuitBuilder

using	OpQueue = proof_system::ECCOpQueue

using	ECCVMFlavor = proof_system::honk::flavor::ECCVM

using	ECCVMBuilder = proof_system::ECCVMCircuitBuilder< ECCVMFlavor >

using	ECCVMComposer = proof_system::honk::ECCVMComposer

using	TranslatorBuilder = proof_system::GoblinTranslatorCircuitBuilder

using	TranslatorComposer = proof_system::honk::GoblinTranslatorComposer

using	RecursiveMergeVerifier = proof_system::plonk::stdlib::recursion::goblin::MergeRecursiveVerifier_< GoblinUltraCircuitBuilder >

using	MergeVerifier = proof_system::honk::MergeVerifier_< GUHFlavor >

Public Member Functions
AccumulationOutput	accumulate (GoblinUltraCircuitBuilder &circuit_builder)
	If there is a previous merge proof, recursively verify it. Generate next accmulated proof and merge proof.

Proof	prove ()

bool	verify (const Proof &proof)

AccumulationOutput	accumulate_for_acir (GoblinUltraCircuitBuilder &circuit_builder)

Proof	prove_for_acir ()

bool	verify_for_acir (const Proof &proof) const

std::vector< uint8_t >	construct_proof (GoblinUltraCircuitBuilder &builder)

bool	verify_proof (const proof_system::plonk::proof &proof) const

Public Attributes
std::shared_ptr< OpQueue >	op_queue = std::make_shared<OpQueue>()

HonkProof	merge_proof

bool	merge_proof_exists { false }

Member Function Documentation

◆ accumulate()

AccumulationOutput barretenberg::Goblin::accumulate ( GoblinUltraCircuitBuilder & circuit_builder )

inline

If there is a previous merge proof, recursively verify it. Generate next accmulated proof and merge proof.

Parameters

circuit_builder

The documentation for this class was generated from the following file: