bb::avm2::AvmProvingHelper Class Reference

#include <proving_helper.hpp>

Public Types
using	Proof = AvmProver::Proof
using	VkData = std::vector< uint8_t >

Public Member Functions
	AvmProvingHelper ()=default
std::pair< Proof, VkData >	prove (tracegen::TraceContainer &&trace)
bool	check_circuit (tracegen::TraceContainer &&trace)
bool	verify (const Proof &proof, const PublicInputs &pi, const VkData &vk_data)

Static Public Member Functions
static std::shared_ptr< AvmVerifier::VerificationKey >	create_verification_key (const VkData &vk_data)

Detailed Description

Definition at line 11 of file proving_helper.hpp.

Member Typedef Documentation

Proof

using bb::avm2::AvmProvingHelper::Proof = AvmProver::Proof

Definition at line 14 of file proving_helper.hpp.

VkData

using bb::avm2::AvmProvingHelper::VkData = std::vector<uint8_t>

Definition at line 15 of file proving_helper.hpp.

Constructor & Destructor Documentation

AvmProvingHelper()

bb::avm2::AvmProvingHelper::AvmProvingHelper ( )

default

Member Function Documentation

check_circuit()

bool bb::avm2::AvmProvingHelper::check_circuit

(

tracegen::TraceContainer &&

trace

)

Definition at line 74 of file proving_helper.cpp.

create_verification_key()

std::shared_ptr< AvmVerifier::VerificationKey > bb::avm2::AvmProvingHelper::create_verification_key ( const VkData &  vk_data )

static

Definition at line 39 of file proving_helper.cpp.

prove()

std::pair< AvmProvingHelper::Proof, AvmProvingHelper::VkData > bb::avm2::AvmProvingHelper::prove

(

tracegen::TraceContainer &&

trace

)

Definition at line 58 of file proving_helper.cpp.

verify()

bool bb::avm2::AvmProvingHelper::verify	(	const Proof &	proof,
		const PublicInputs &	pi,
		const VkData &	vk_data
	)

Definition at line 102 of file proving_helper.cpp.

---

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

• src/barretenberg/vm2/proving_helper.hpp
• src/barretenberg/vm2/proving_helper.cpp