Inheritance diagram for proof_system::plonk::ultra_with_keccak_verifier_settings:

Public Types
typedef VerifierPlookupArithmeticWidget< fr, g1::affine_element, Transcript, ultra_with_keccak_settings >	PlookupArithmeticWidget

typedef VerifierGenPermSortWidget< fr, g1::affine_element, Transcript, ultra_with_keccak_settings >	GenPermSortWidget

typedef VerifierPermutationWidget< fr, g1::affine_element, Transcript >	PermutationWidget

typedef VerifierPlookupWidget< fr, g1::affine_element, Transcript >	PlookupWidget

typedef VerifierEllipticWidget< fr, g1::affine_element, Transcript, ultra_with_keccak_settings >	EllipticWidget

typedef VerifierPlookupAuxiliaryWidget< fr, g1::affine_element, Transcript, ultra_with_keccak_settings >	PlookupAuxiliaryWidget

Public Types inherited from proof_system::plonk::ultra_verifier_settings
typedef barretenberg::fr	fr

typedef barretenberg::g1	g1

typedef transcript::StandardTranscript	Transcript

typedef VerifierPlookupArithmeticWidget< fr, g1::affine_element, Transcript, ultra_settings >	PlookupArithmeticWidget

typedef VerifierGenPermSortWidget< fr, g1::affine_element, Transcript, ultra_settings >	GenPermSortWidget

typedef VerifierPermutationWidget< fr, g1::affine_element, Transcript >	PermutationWidget

typedef VerifierPlookupWidget< fr, g1::affine_element, Transcript >	PlookupWidget

typedef VerifierEllipticWidget< fr, g1::affine_element, Transcript, ultra_settings >	EllipticWidget

typedef VerifierPlookupAuxiliaryWidget< fr, g1::affine_element, Transcript, ultra_settings >	PlookupAuxiliaryWidget

Static Public Attributes
static constexpr size_t	num_challenge_bytes = 32

static constexpr transcript::HashType	hash_type = transcript::HashType::Keccak256

Static Public Attributes inherited from proof_system::plonk::ultra_verifier_settings
static constexpr size_t	num_challenge_bytes = 16

static constexpr transcript::HashType	hash_type = transcript::HashType::PedersenBlake3s

static constexpr bool	idpolys = true

Static Public Attributes inherited from proof_system::plonk::ultra_settings
static constexpr size_t	num_challenge_bytes = 16

static constexpr transcript::HashType	hash_type = transcript::HashType::PedersenBlake3s

static constexpr size_t	program_width = 4

static constexpr size_t	num_shifted_wire_evaluations = 4

static constexpr uint64_t	wire_shift_settings = 0b1111

static constexpr uint32_t	permutation_shift = 30

static constexpr uint32_t	permutation_mask = 0xC0000000

static constexpr size_t	num_roots_cut_out_of_vanishing_polynomial = 4

static constexpr bool	is_plookup = true

Additional Inherited Members
Static Public Member Functions inherited from proof_system::plonk::ultra_verifier_settings
static fr	append_scalar_multiplication_inputs (verification_key *key, const fr &alpha_base, const Transcript &transcript, std::map< std::string, barretenberg::fr > &scalars)

static barretenberg::fr	compute_quotient_evaluation_contribution (verification_key *key, const barretenberg::fr &alpha_base, const Transcript &transcript, barretenberg::fr &quotient_numerator_eval)

Static Public Member Functions inherited from proof_system::plonk::settings_base
static constexpr bool	requires_shifted_wire (const uint64_t wire_shift_settings, const uint64_t wire_index)

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

Public Types

Static Public Attributes