Public Types
using	Builder = typename Curve::Builder

Public Member Functions
void	validate_key_is_in_set (const std::vector< std::shared_ptr< plonk::verification_key > > &keys_in_set)

field_t< Builder >	hash ()

Static Public Member Functions
static std::shared_ptr< verification_key >	from_field_elements (Builder *ctx, const std::vector< field_t< Builder > > &fields, bool inner_proof_contains_recursive_proof=false, std::array< uint32_t, 16 > recursive_proof_public_input_indices={})

static std::shared_ptr< verification_key >	from_witness (Builder *ctx, const std::shared_ptr< plonk::verification_key > &input_key)
	Converts a 'native' verification key into a standard library type, instantiating the `input_key` parameter as circuit variables. This allows the recursive verifier to accept arbitrary verification keys, where the circuit being verified is not fixed as part of the recursive circuit.

static std::shared_ptr< verification_key >	from_constants (Builder *ctx, const std::shared_ptr< plonk::verification_key > &input_key)

static barretenberg::fr	hash_native (const std::shared_ptr< plonk::verification_key > &key, const size_t hash_index=0)

Public Attributes
field_t< Builder >	n

field_t< Builder >	num_public_inputs

field_t< Builder >	z_pow_n

evaluation_domain< Builder >	domain

std::map< std::string, typename Curve::Group >	commitments

std::shared_ptr< barretenberg::srs::factories::VerifierCrs< curve::BN254 > >	reference_string

PolynomialManifest	polynomial_manifest

bool	contains_recursive_proof = false

std::vector< uint32_t >	recursive_proof_public_input_indices

size_t	program_width = 4

Builder *	context

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

Public Types

Public Member Functions