Inheritance diagram for proof_system::plonk::standard_verifier_settings:

Public Types
typedef barretenberg::fr	fr

typedef barretenberg::g1	g1

typedef transcript::StandardTranscript	Transcript

typedef VerifierArithmeticWidget< fr, g1::affine_element, Transcript, standard_settings >	ArithmeticWidget

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

Public Types inherited from proof_system::plonk::standard_settings
using	Arithmetization = arithmetization::Standard< barretenberg::fr >

Static Public Member Functions
static fr	append_scalar_multiplication_inputs (verification_key *key, const fr &alpha_base, const Transcript &transcript, std::map< std::string, fr > &scalars)

static barretenberg::fr	compute_quotient_evaluation_contribution (verification_key *key, const barretenberg::fr &alpha_base, const transcript::StandardTranscript &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)

Static Public Attributes
static constexpr transcript::HashType	hash_type = transcript::HashType::PedersenBlake3s

static constexpr size_t	num_challenge_bytes = 16

static constexpr bool	idpolys = false

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

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

static constexpr size_t	program_width = 3

static constexpr size_t	num_shifted_wire_evaluations = 1

static constexpr uint64_t	wire_shift_settings = 0b0100

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 = false

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

Public Types

Static Public Member Functions