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
VkData	get_verification_key ()
Proof	prove (tracegen::TraceContainer &&trace)
bool	check_circuit (tracegen::TraceContainer &&trace)
bool	verify (const Proof &proof, const PublicInputs &pi)

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 72 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 23 of file proving_helper.cpp.

get_verification_key()

AvmProvingHelper::VkData bb::avm2::AvmProvingHelper::get_verification_key

(

)

Definition at line 42 of file proving_helper.cpp.

prove()

AvmProvingHelper::Proof bb::avm2::AvmProvingHelper::prove

(

tracegen::TraceContainer &&

trace

)

Definition at line 54 of file proving_helper.cpp.

verify()

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

Definition at line 100 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