Public Types
using	Flavor = honk::flavor::AvmMiniFlavor

using	CircuitConstructor = AvmMiniCircuitBuilder

using	ProvingKey = Flavor::ProvingKey

using	VerificationKey = Flavor::VerificationKey

using	PCS = Flavor::PCS

using	CommitmentKey = Flavor::CommitmentKey

using	VerifierCommitmentKey = Flavor::VerifierCommitmentKey

Public Member Functions
	AvmMiniComposer (std::shared_ptr< ProvingKey > p_key, std::shared_ptr< VerificationKey > v_key)

	AvmMiniComposer (AvmMiniComposer &&other) noexcept=default

	AvmMiniComposer (AvmMiniComposer const &other) noexcept=default

AvmMiniComposer &	operator= (AvmMiniComposer &&other) noexcept=default

AvmMiniComposer &	operator= (AvmMiniComposer const &other) noexcept=default

std::shared_ptr< ProvingKey >	compute_proving_key (CircuitConstructor &circuit_constructor)

std::shared_ptr< VerificationKey >	compute_verification_key (CircuitConstructor &circuit_constructor)

void	compute_witness (CircuitConstructor &circuit_constructor)

AvmMiniProver	create_prover (CircuitConstructor &circuit_constructor)

AvmMiniVerifier	create_verifier (CircuitConstructor &circuit_constructor)

void	add_table_column_selector_poly_to_proving_key (barretenberg::polynomial &small, const std::string &tag)

void	compute_commitment_key (size_t circuit_size)

Public Attributes
std::shared_ptr< ProvingKey >	proving_key

std::shared_ptr< VerificationKey >	verification_key

std::shared_ptr< barretenberg::srs::factories::CrsFactory< Flavor::Curve > >	crs_factory_

std::shared_ptr< CommitmentKey >	commitment_key

std::vector< uint32_t >	recursive_proof_public_input_indices

bool	contains_recursive_proof = false

bool	computed_witness = false

Static Public Attributes
static constexpr std::string_view	NAME_STRING = "AvmMini"

static constexpr size_t	NUM_RESERVED_GATES = 0

static constexpr size_t	NUM_WIRES = Flavor::NUM_WIRES

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

Public Types

Public Member Functions