#include <translator_flavor.hpp>

Classes
class	AllEntities
	A base class labelling all entities (for instance, all of the polynomials used by the prover during sumcheck) in this Honk variant along with particular subsets of interest. More...

class	AllValues
	A field element for each entity of the flavor. These entities represent the prover polynomials evaluated at one point. More...

class	CommitmentLabels
	A container for commitment labels. More...

class	DerivedWitnessEntities

class	InterleavedRangeConstraints

class	MaskingEntities
	Container for ZK entities (gemini masking polynomial for ZK-PCS) More...

class	NonOpQueueWiresToBeShiftedEntities
	Non-op-queue wires that need to be shifted. More...

class	OpQueueWireNonshiftedEntities
	Op queue wires (non-shifted): these represent the op queue and are provided by the merge protocol. More...

class	OpQueueWiresToBeShiftedEntities
	Op queue wires (to be shifted): first 3 wires of the to-be-shifted group. More...

class	OrderedRangeConstraints

class	PartiallyEvaluatedMultivariates
	A container for storing the partially evaluated multivariates produced by sumcheck. More...

class	PrecomputedEntities
	A base class labelling precomputed entities and (ordered) subsets of interest. More...

class	ProverPolynomials
	A container for the prover polynomials handles. More...

class	ProvingKey
	The proving key is responsible for storing the polynomials used by the prover. More...

class	ShiftedEntities
	Represents polynomials shifted by 1 or their evaluations, defined relative to WireToBeShiftedEntities. More...

class	VerificationKey
	The verification key is responsible for storing the commitments to the precomputed (non-witnessk) polynomials used by the verifier. More...

class	VerifierCommitments_

class	WireNonshiftedEntities
	All wire entities that are not shifted (currently just the op queue wire) More...

class	WireToBeShiftedEntities
	All wires to be shifted (op queue + non-op-queue) More...

class	WitnessEntities
	Container for all witness polynomials used/constructed by the prover. More...

Public Types
using	CircuitBuilder = TranslatorCircuitBuilder

using	Curve = curve::BN254

using	PCS = KZG< Curve >

using	GroupElement = Curve::Element

using	Commitment = Curve::AffineElement

using	CommitmentKey = bb::CommitmentKey< Curve >

using	VerifierCommitmentKey = bb::VerifierCommitmentKey< Curve >

using	FF = Curve::ScalarField

using	BF = Curve::BaseField

using	Polynomial = bb::Polynomial< FF >

using	Codec = FrCodec

using	HashFunction = crypto::Poseidon2< crypto::Poseidon2Bn254ScalarFieldParams >

using	Transcript = BaseTranscript< Codec, HashFunction >

using	GrandProductRelations = std::tuple< TranslatorPermutationRelation< FF > >

template<typename FF >
using	Relations_ = std::tuple< TranslatorPermutationRelation< FF >, TranslatorDeltaRangeConstraintRelation< FF >, TranslatorOpcodeConstraintRelation< FF >, TranslatorAccumulatorTransferRelation< FF >, TranslatorDecompositionRelation< FF >, TranslatorNonNativeFieldRelation< FF >, TranslatorZeroConstraintsRelation< FF > >

using	Relations = Relations_< FF >

using	SubrelationSeparators = std::array< FF, NUM_SUBRELATIONS - 1 >

template<size_t LENGTH>
using	ProverUnivariates = AllEntities< bb::Univariate< FF, LENGTH > >
	A container for univariates used during sumcheck.

using	ExtendedEdges = ProverUnivariates< MAX_PARTIAL_RELATION_LENGTH >
	A container for univariates produced during the hot loop in sumcheck.

using	VerifierCommitments = VerifierCommitments_< Commitment, VerificationKey >

Static Public Member Functions
static constexpr const std::array< FF, 5 > &	negative_modulus_limbs ()

template<typename ProverPolynomialsOrPartiallyEvaluatedMultivariates , typename EdgeType >
static bool	skip_entire_row (const ProverPolynomialsOrPartiallyEvaluatedMultivariates &polynomials, const EdgeType edge_idx)
	When evaluating the sumcheck protocol - can we skip evaluation of all relations for a given row?

Static Public Attributes
static constexpr bool	USE_SHORT_MONOMIALS = false

static constexpr bool	HasZK = true

static constexpr bool	USE_PADDING = false

static constexpr size_t	NUM_MASKING_POLYNOMIALS = 1

static constexpr size_t	NUM_OP_QUEUE_WIRES = 4

static constexpr size_t	INTERLEAVING_GROUP_SIZE = 16

static constexpr size_t	LOG_MINI_CIRCUIT_SIZE = CONST_TRANSLATOR_MINI_CIRCUIT_LOG_SIZE

static constexpr size_t	CONST_TRANSLATOR_LOG_N = LOG_MINI_CIRCUIT_SIZE + numeric::get_msb(INTERLEAVING_GROUP_SIZE)

static constexpr size_t	VIRTUAL_LOG_N = CONST_TRANSLATOR_LOG_N

static constexpr size_t	MINI_CIRCUIT_SIZE = 1UL << LOG_MINI_CIRCUIT_SIZE

static constexpr size_t	NUM_INTERLEAVED_WIRES = 4

static constexpr size_t	SORT_STEP = 3

static constexpr size_t	NUM_WIRES = CircuitBuilder::NUM_WIRES

static constexpr size_t	RESULT_ROW = CircuitBuilder::RESULT_ROW

static constexpr size_t	NUM_MASKED_ROWS_END = CircuitBuilder::NUM_RANDOM_OPS_END * 2

static constexpr size_t	RANDOMNESS_START = 2 * CircuitBuilder::NUM_NO_OPS_START

static constexpr size_t	MICRO_LIMB_BITS = CircuitBuilder::MICRO_LIMB_BITS

static constexpr size_t	SORTED_STEPS_COUNT = (1 << MICRO_LIMB_BITS) / SORT_STEP + 1

static constexpr size_t	NUM_LIMB_BITS = CircuitBuilder::NUM_LIMB_BITS

static constexpr size_t	MINIMUM_MINI_CIRCUIT_SIZE = 2048

static constexpr size_t	NUM_ALL_ENTITIES = 188

static constexpr size_t	NUM_PRECOMPUTED_ENTITIES = 10

static constexpr size_t	NUM_WITNESS_ENTITIES = 91

static constexpr size_t	NUM_WIRES_NON_SHIFTED = 1

static constexpr size_t	NUM_SHIFTED_ENTITIES = 86

static constexpr size_t	NUM_INTERLEAVED = NUM_INTERLEAVED_WIRES * INTERLEAVING_GROUP_SIZE

static constexpr size_t	NUM_WIRES_TO_BE_SHIFTED_WITHOUT_INTERLEAVED = 16

static constexpr size_t	TO_BE_SHIFTED_WITNESSES_START = NUM_PRECOMPUTED_ENTITIES + NUM_WIRES_NON_SHIFTED

static constexpr size_t	SHIFTED_WITNESSES_START = NUM_SHIFTED_ENTITIES + TO_BE_SHIFTED_WITNESSES_START

static constexpr size_t	TO_BE_INTERLEAVED_START

static constexpr size_t	INTERLEAVED_START = NUM_SHIFTED_ENTITIES + SHIFTED_WITNESSES_START

static constexpr RepeatedCommitmentsData	REPEATED_COMMITMENTS

static constexpr size_t	NUM_SUBRELATIONS = compute_number_of_subrelations<Relations>()

static constexpr size_t	MAX_PARTIAL_RELATION_LENGTH = compute_max_partial_relation_length<Relations>()

static constexpr size_t	BATCHED_RELATION_PARTIAL_LENGTH = MAX_PARTIAL_RELATION_LENGTH + 2

static constexpr size_t	NUM_RELATIONS = std::tuple_size_v<Relations>

static constexpr size_t	num_frs_comm = FrCodec::calc_num_fields<Commitment>()

static constexpr size_t	num_frs_fr = FrCodec::calc_num_fields<FF>()

static constexpr size_t	num_frs_fq = FrCodec::calc_num_fields<BF>()

static constexpr size_t	PROOF_LENGTH_WITHOUT_PUB_INPUTS

Detailed Description

Definition at line 30 of file translator_flavor.hpp.

Member Typedef Documentation

◆ BF

using bb::TranslatorFlavor::BF = Curve::BaseField

Definition at line 41 of file translator_flavor.hpp.

◆ CircuitBuilder

using bb::TranslatorFlavor::CircuitBuilder = TranslatorCircuitBuilder

Definition at line 33 of file translator_flavor.hpp.

◆ Codec

using bb::TranslatorFlavor::Codec = FrCodec

Definition at line 43 of file translator_flavor.hpp.

◆ Commitment

using bb::TranslatorFlavor::Commitment = Curve::AffineElement

Definition at line 37 of file translator_flavor.hpp.

◆ CommitmentKey

using bb::TranslatorFlavor::CommitmentKey = bb::CommitmentKey<Curve>

Definition at line 38 of file translator_flavor.hpp.

◆ Curve

using bb::TranslatorFlavor::Curve = curve::BN254

Definition at line 34 of file translator_flavor.hpp.

◆ ExtendedEdges

using bb::TranslatorFlavor::ExtendedEdges = ProverUnivariates<MAX_PARTIAL_RELATION_LENGTH>

A container for univariates produced during the hot loop in sumcheck.

Definition at line 929 of file translator_flavor.hpp.

◆ FF

using bb::TranslatorFlavor::FF = Curve::ScalarField

Definition at line 40 of file translator_flavor.hpp.

◆ GrandProductRelations

using bb::TranslatorFlavor::GrandProductRelations = std::tuple<TranslatorPermutationRelation<FF> >

Definition at line 160 of file translator_flavor.hpp.

◆ GroupElement

using bb::TranslatorFlavor::GroupElement = Curve::Element

Definition at line 36 of file translator_flavor.hpp.

◆ HashFunction

using bb::TranslatorFlavor::HashFunction = crypto::Poseidon2<crypto::Poseidon2Bn254ScalarFieldParams>

Definition at line 44 of file translator_flavor.hpp.

◆ PCS

using bb::TranslatorFlavor::PCS = KZG<Curve>

Definition at line 35 of file translator_flavor.hpp.

◆ Polynomial

using bb::TranslatorFlavor::Polynomial = bb::Polynomial<FF>

Definition at line 42 of file translator_flavor.hpp.

◆ ProverUnivariates

template<size_t LENGTH>

using bb::TranslatorFlavor::ProverUnivariates = AllEntities<bb::Univariate<FF, LENGTH> >

A container for univariates used during sumcheck.

Definition at line 924 of file translator_flavor.hpp.

◆ Relations

using bb::TranslatorFlavor::Relations = Relations_<FF>

Definition at line 170 of file translator_flavor.hpp.

◆ Relations_

template<typename FF >

using bb::TranslatorFlavor::Relations_ = std::tuple<TranslatorPermutationRelation<FF>, TranslatorDeltaRangeConstraintRelation<FF>, TranslatorOpcodeConstraintRelation<FF>, TranslatorAccumulatorTransferRelation<FF>, TranslatorDecompositionRelation<FF>, TranslatorNonNativeFieldRelation<FF>, TranslatorZeroConstraintsRelation<FF> >

Definition at line 163 of file translator_flavor.hpp.

◆ SubrelationSeparators

using bb::TranslatorFlavor::SubrelationSeparators = std::array<FF, NUM_SUBRELATIONS - 1>

Definition at line 173 of file translator_flavor.hpp.

◆ Transcript

using bb::TranslatorFlavor::Transcript = BaseTranscript<Codec, HashFunction>

Definition at line 45 of file translator_flavor.hpp.

◆ VerifierCommitmentKey

using bb::TranslatorFlavor::VerifierCommitmentKey = bb::VerifierCommitmentKey<Curve>

Definition at line 39 of file translator_flavor.hpp.

◆ VerifierCommitments

using bb::TranslatorFlavor::VerifierCommitments = VerifierCommitments_<Commitment, VerificationKey>

Definition at line 1094 of file translator_flavor.hpp.

Member Function Documentation

◆ negative_modulus_limbs()

static constexpr const std::array< FF, 5 > & bb::TranslatorFlavor::negative_modulus_limbs ( )

inlinestaticconstexpr

Definition at line 112 of file translator_flavor.hpp.

◆ skip_entire_row()

template<typename ProverPolynomialsOrPartiallyEvaluatedMultivariates , typename EdgeType >

static bool bb::TranslatorFlavor::skip_entire_row	(	const ProverPolynomialsOrPartiallyEvaluatedMultivariates &	polynomials,
		const EdgeType	edge_idx
	)

inlinestatic

When evaluating the sumcheck protocol - can we skip evaluation of all relations for a given row?

When used in Chonk, the Translator has a large fixed size, which is often not fully utilized. If a row is completely empty, the values of z_perm and z_perm_shift will match, we can use this as a proxy to determine if we can skip Sumcheck::compute_univariate

Definition at line 1074 of file translator_flavor.hpp.

Member Data Documentation

◆ BATCHED_RELATION_PARTIAL_LENGTH

constexpr size_t bb::TranslatorFlavor::BATCHED_RELATION_PARTIAL_LENGTH = MAX_PARTIAL_RELATION_LENGTH + 2

staticconstexpr

Definition at line 181 of file translator_flavor.hpp.

◆ CONST_TRANSLATOR_LOG_N

constexpr size_t bb::TranslatorFlavor::CONST_TRANSLATOR_LOG_N = LOG_MINI_CIRCUIT_SIZE + numeric::get_msb(INTERLEAVING_GROUP_SIZE)

staticconstexpr

Definition at line 73 of file translator_flavor.hpp.

◆ HasZK

constexpr bool bb::TranslatorFlavor::HasZK = true

staticconstexpr

Definition at line 51 of file translator_flavor.hpp.

◆ INTERLEAVED_START

constexpr size_t bb::TranslatorFlavor::INTERLEAVED_START = NUM_SHIFTED_ENTITIES + SHIFTED_WITNESSES_START

staticconstexpr

Definition at line 151 of file translator_flavor.hpp.

◆ INTERLEAVING_GROUP_SIZE

constexpr size_t bb::TranslatorFlavor::INTERLEAVING_GROUP_SIZE = 16

staticconstexpr

Definition at line 66 of file translator_flavor.hpp.

◆ LOG_MINI_CIRCUIT_SIZE

constexpr size_t bb::TranslatorFlavor::LOG_MINI_CIRCUIT_SIZE = CONST_TRANSLATOR_MINI_CIRCUIT_LOG_SIZE

staticconstexpr

Definition at line 70 of file translator_flavor.hpp.

◆ MAX_PARTIAL_RELATION_LENGTH

constexpr size_t bb::TranslatorFlavor::MAX_PARTIAL_RELATION_LENGTH = compute_max_partial_relation_length<Relations>()

staticconstexpr

Definition at line 175 of file translator_flavor.hpp.

◆ MICRO_LIMB_BITS

constexpr size_t bb::TranslatorFlavor::MICRO_LIMB_BITS = CircuitBuilder::MICRO_LIMB_BITS

staticconstexpr

Definition at line 102 of file translator_flavor.hpp.

◆ MINI_CIRCUIT_SIZE

constexpr size_t bb::TranslatorFlavor::MINI_CIRCUIT_SIZE = 1UL << LOG_MINI_CIRCUIT_SIZE

staticconstexpr

Definition at line 78 of file translator_flavor.hpp.

◆ MINIMUM_MINI_CIRCUIT_SIZE

constexpr size_t bb::TranslatorFlavor::MINIMUM_MINI_CIRCUIT_SIZE = 2048

staticconstexpr

Definition at line 122 of file translator_flavor.hpp.

◆ NUM_ALL_ENTITIES

constexpr size_t bb::TranslatorFlavor::NUM_ALL_ENTITIES = 188

staticconstexpr

Definition at line 129 of file translator_flavor.hpp.

◆ num_frs_comm

constexpr size_t bb::TranslatorFlavor::num_frs_comm = FrCodec::calc_num_fields<Commitment>()

staticconstexpr

Definition at line 186 of file translator_flavor.hpp.

◆ num_frs_fq

constexpr size_t bb::TranslatorFlavor::num_frs_fq = FrCodec::calc_num_fields<BF>()

staticconstexpr

Definition at line 188 of file translator_flavor.hpp.

◆ num_frs_fr

constexpr size_t bb::TranslatorFlavor::num_frs_fr = FrCodec::calc_num_fields<FF>()

staticconstexpr

Definition at line 187 of file translator_flavor.hpp.

◆ NUM_INTERLEAVED

constexpr size_t bb::TranslatorFlavor::NUM_INTERLEAVED = NUM_INTERLEAVED_WIRES * INTERLEAVING_GROUP_SIZE

staticconstexpr

Definition at line 138 of file translator_flavor.hpp.

◆ NUM_INTERLEAVED_WIRES

constexpr size_t bb::TranslatorFlavor::NUM_INTERLEAVED_WIRES = 4

staticconstexpr

Definition at line 81 of file translator_flavor.hpp.

◆ NUM_LIMB_BITS

constexpr size_t bb::TranslatorFlavor::NUM_LIMB_BITS = CircuitBuilder::NUM_LIMB_BITS

staticconstexpr

Definition at line 119 of file translator_flavor.hpp.

◆ NUM_MASKED_ROWS_END

constexpr size_t bb::TranslatorFlavor::NUM_MASKED_ROWS_END = CircuitBuilder::NUM_RANDOM_OPS_END * 2

staticconstexpr

Definition at line 96 of file translator_flavor.hpp.

◆ NUM_MASKING_POLYNOMIALS

constexpr size_t bb::TranslatorFlavor::NUM_MASKING_POLYNOMIALS = 1

staticconstexpr

Definition at line 58 of file translator_flavor.hpp.

◆ NUM_OP_QUEUE_WIRES

constexpr size_t bb::TranslatorFlavor::NUM_OP_QUEUE_WIRES = 4

staticconstexpr

Definition at line 63 of file translator_flavor.hpp.

◆ NUM_PRECOMPUTED_ENTITIES

constexpr size_t bb::TranslatorFlavor::NUM_PRECOMPUTED_ENTITIES = 10

staticconstexpr

Definition at line 132 of file translator_flavor.hpp.

◆ NUM_RELATIONS

constexpr size_t bb::TranslatorFlavor::NUM_RELATIONS = std::tuple_size_v<Relations>

staticconstexpr

Definition at line 184 of file translator_flavor.hpp.

◆ NUM_SHIFTED_ENTITIES

constexpr size_t bb::TranslatorFlavor::NUM_SHIFTED_ENTITIES = 86

staticconstexpr

Definition at line 137 of file translator_flavor.hpp.

◆ NUM_SUBRELATIONS

constexpr size_t bb::TranslatorFlavor::NUM_SUBRELATIONS = compute_number_of_subrelations<Relations>()

staticconstexpr

Definition at line 172 of file translator_flavor.hpp.

◆ NUM_WIRES

constexpr size_t bb::TranslatorFlavor::NUM_WIRES = CircuitBuilder::NUM_WIRES

staticconstexpr

Definition at line 87 of file translator_flavor.hpp.

◆ NUM_WIRES_NON_SHIFTED

constexpr size_t bb::TranslatorFlavor::NUM_WIRES_NON_SHIFTED = 1

staticconstexpr

Definition at line 136 of file translator_flavor.hpp.

◆ NUM_WIRES_TO_BE_SHIFTED_WITHOUT_INTERLEAVED

constexpr size_t bb::TranslatorFlavor::NUM_WIRES_TO_BE_SHIFTED_WITHOUT_INTERLEAVED = 16

staticconstexpr

Definition at line 140 of file translator_flavor.hpp.

◆ NUM_WITNESS_ENTITIES

constexpr size_t bb::TranslatorFlavor::NUM_WITNESS_ENTITIES = 91

staticconstexpr

Definition at line 135 of file translator_flavor.hpp.

◆ PROOF_LENGTH_WITHOUT_PUB_INPUTS

constexpr size_t bb::TranslatorFlavor::PROOF_LENGTH_WITHOUT_PUB_INPUTS

staticconstexpr

Initial value:

=
        
        ((NUM_WITNESS_ENTITIES - 3 - TranslatorFlavor::NUM_OP_QUEUE_WIRES) * num_frs_comm) +
         (num_frs_comm) +
         (num_frs_fr) +
        
        (CONST_TRANSLATOR_LOG_N * BATCHED_RELATION_PARTIAL_LENGTH * num_frs_fr) +
         (NUM_ALL_ENTITIES * num_frs_fr) +
         (num_frs_fr) +
         (num_frs_comm) +
         (num_frs_comm) +
        
        ((CONST_TRANSLATOR_LOG_N - 1) * num_frs_comm) +
        
        (CONST_TRANSLATOR_LOG_N * num_frs_fr) +
         (num_frs_fr) +
         (num_frs_fr) +
         (NUM_SMALL_IPA_EVALUATIONS * num_frs_fr) +
         (num_frs_comm) +
         (num_frs_comm)

Definition at line 191 of file translator_flavor.hpp.

◆ RANDOMNESS_START

constexpr size_t bb::TranslatorFlavor::RANDOMNESS_START = 2 * CircuitBuilder::NUM_NO_OPS_START

staticconstexpr

Definition at line 99 of file translator_flavor.hpp.

◆ REPEATED_COMMITMENTS

constexpr RepeatedCommitmentsData bb::TranslatorFlavor::REPEATED_COMMITMENTS

staticconstexpr

Initial value:

=
        RepeatedCommitmentsData(NUM_PRECOMPUTED_ENTITIES + NUM_WIRES_NON_SHIFTED,
                                NUM_PRECOMPUTED_ENTITIES + NUM_WIRES_NON_SHIFTED + NUM_SHIFTED_ENTITIES,
                                NUM_SHIFTED_ENTITIES,
                                TO_BE_INTERLEAVED_START,
                                INTERLEAVED_START,
                                NUM_INTERLEAVED)

Definition at line 153 of file translator_flavor.hpp.

◆ RESULT_ROW

constexpr size_t bb::TranslatorFlavor::RESULT_ROW = CircuitBuilder::RESULT_ROW

staticconstexpr

Definition at line 92 of file translator_flavor.hpp.

◆ SHIFTED_WITNESSES_START

constexpr size_t bb::TranslatorFlavor::SHIFTED_WITNESSES_START = NUM_SHIFTED_ENTITIES + TO_BE_SHIFTED_WITNESSES_START

staticconstexpr

Definition at line 145 of file translator_flavor.hpp.

◆ SORT_STEP

constexpr size_t bb::TranslatorFlavor::SORT_STEP = 3

staticconstexpr

Definition at line 84 of file translator_flavor.hpp.

◆ SORTED_STEPS_COUNT

constexpr size_t bb::TranslatorFlavor::SORTED_STEPS_COUNT = (1 << MICRO_LIMB_BITS) / SORT_STEP + 1

staticconstexpr

Definition at line 106 of file translator_flavor.hpp.

◆ TO_BE_INTERLEAVED_START

constexpr size_t bb::TranslatorFlavor::TO_BE_INTERLEAVED_START

staticconstexpr

Initial value:

=

NUM_PRECOMPUTED_ENTITIES + NUM_WIRES_NON_SHIFTED + NUM_WIRES_TO_BE_SHIFTED_WITHOUT_INTERLEAVED

bb::TranslatorFlavor::NUM_WIRES_TO_BE_SHIFTED_WITHOUT_INTERLEAVED

static constexpr size_t NUM_WIRES_TO_BE_SHIFTED_WITHOUT_INTERLEAVED

Definition translator_flavor.hpp:140

Definition at line 148 of file translator_flavor.hpp.

◆ TO_BE_SHIFTED_WITNESSES_START

constexpr size_t bb::TranslatorFlavor::TO_BE_SHIFTED_WITNESSES_START = NUM_PRECOMPUTED_ENTITIES + NUM_WIRES_NON_SHIFTED

staticconstexpr

Definition at line 143 of file translator_flavor.hpp.

◆ USE_PADDING

constexpr bool bb::TranslatorFlavor::USE_PADDING = false

staticconstexpr

Definition at line 53 of file translator_flavor.hpp.

◆ USE_SHORT_MONOMIALS

constexpr bool bb::TranslatorFlavor::USE_SHORT_MONOMIALS = false

staticconstexpr

Definition at line 48 of file translator_flavor.hpp.

◆ VIRTUAL_LOG_N

constexpr size_t bb::TranslatorFlavor::VIRTUAL_LOG_N = CONST_TRANSLATOR_LOG_N

staticconstexpr

Definition at line 76 of file translator_flavor.hpp.

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

src/barretenberg/translator_vm/translator_flavor.hpp

Classes

Public Types

Static Public Member Functions

Static Public Attributes

Detailed Description

Member Typedef Documentation

◆ BF

◆ CircuitBuilder

◆ Codec

◆ Commitment

◆ CommitmentKey

◆ Curve

◆ ExtendedEdges

◆ FF

◆ GrandProductRelations

◆ GroupElement

◆ HashFunction

◆ PCS

◆ Polynomial

◆ ProverUnivariates

◆ Relations

◆ Relations_

◆ SubrelationSeparators

◆ Transcript

◆ VerifierCommitmentKey

◆ VerifierCommitments

Member Function Documentation

◆ negative_modulus_limbs()

◆ skip_entire_row()

Member Data Documentation

◆ BATCHED_RELATION_PARTIAL_LENGTH

◆ CONST_TRANSLATOR_LOG_N

◆ HasZK

◆ INTERLEAVED_START

◆ INTERLEAVING_GROUP_SIZE

◆ LOG_MINI_CIRCUIT_SIZE

◆ MAX_PARTIAL_RELATION_LENGTH

◆ MICRO_LIMB_BITS

◆ MINI_CIRCUIT_SIZE

◆ MINIMUM_MINI_CIRCUIT_SIZE

◆ NUM_ALL_ENTITIES

◆ num_frs_comm

◆ num_frs_fq

◆ num_frs_fr

◆ NUM_INTERLEAVED

◆ NUM_INTERLEAVED_WIRES

◆ NUM_LIMB_BITS

◆ NUM_MASKED_ROWS_END

◆ NUM_MASKING_POLYNOMIALS

◆ NUM_OP_QUEUE_WIRES

◆ NUM_PRECOMPUTED_ENTITIES

◆ NUM_RELATIONS

◆ NUM_SHIFTED_ENTITIES

◆ NUM_SUBRELATIONS

◆ NUM_WIRES

◆ NUM_WIRES_NON_SHIFTED

◆ NUM_WIRES_TO_BE_SHIFTED_WITHOUT_INTERLEAVED

◆ NUM_WITNESS_ENTITIES

◆ PROOF_LENGTH_WITHOUT_PUB_INPUTS

◆ RANDOMNESS_START

◆ REPEATED_COMMITMENTS

◆ RESULT_ROW

◆ SHIFTED_WITNESSES_START

◆ SORT_STEP

◆ SORTED_STEPS_COUNT

◆ TO_BE_INTERLEAVED_START

◆ TO_BE_SHIFTED_WITNESSES_START

◆ USE_PADDING

◆ USE_SHORT_MONOMIALS

◆ VIRTUAL_LOG_N