#include <translator_flavor.hpp>
|
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?
|
|
Definition at line 30 of file translator_flavor.hpp.
◆ BF
◆ CircuitBuilder
◆ Commitment
◆ CommitmentKey
◆ Curve
◆ ExtendedEdges
A container for univariates produced during the hot loop in sumcheck.
Definition at line 866 of file translator_flavor.hpp.
◆ FF
◆ GrandProductRelations
◆ GroupElement
◆ PCS
◆ Polynomial
◆ ProverUnivariates
◆ Relations
◆ Relations_
◆ SubrelationSeparators
◆ Transcript
◆ VerifierCommitmentKey
◆ VerifierCommitments
◆ negative_modulus_limbs()
static constexpr const std::array< FF, 5 > & bb::TranslatorFlavor::negative_modulus_limbs |
( |
| ) |
|
|
inlinestaticconstexpr |
◆ 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 ClientIVC, 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 1010 of file translator_flavor.hpp.
◆ BATCHED_RELATION_PARTIAL_LENGTH
◆ CONST_TRANSLATOR_LOG_N
◆ HasZK
constexpr bool bb::TranslatorFlavor::HasZK = true |
|
staticconstexpr |
◆ INTERLEAVED_START
◆ INTERLEAVING_GROUP_SIZE
constexpr size_t bb::TranslatorFlavor::INTERLEAVING_GROUP_SIZE = 16 |
|
staticconstexpr |
◆ LOG_MINI_CIRCUIT_SIZE
constexpr size_t bb::TranslatorFlavor::LOG_MINI_CIRCUIT_SIZE = 14 |
|
staticconstexpr |
◆ MAX_PARTIAL_RELATION_LENGTH
◆ MAX_TOTAL_RELATION_LENGTH
◆ MICRO_LIMB_BITS
constexpr size_t bb::TranslatorFlavor::MICRO_LIMB_BITS = CircuitBuilder::MICRO_LIMB_BITS |
|
staticconstexpr |
◆ MINI_CIRCUIT_SIZE
◆ MINIMUM_MINI_CIRCUIT_SIZE
constexpr size_t bb::TranslatorFlavor::MINIMUM_MINI_CIRCUIT_SIZE = 2048 |
|
staticconstexpr |
◆ NUM_ALL_ENTITIES
constexpr size_t bb::TranslatorFlavor::NUM_ALL_ENTITIES = 187 |
|
staticconstexpr |
◆ num_frs_comm
◆ num_frs_fq
◆ num_frs_fr
◆ NUM_INTERLEAVED
◆ NUM_INTERLEAVED_WIRES
constexpr size_t bb::TranslatorFlavor::NUM_INTERLEAVED_WIRES = 4 |
|
staticconstexpr |
◆ NUM_LIMB_BITS
constexpr size_t bb::TranslatorFlavor::NUM_LIMB_BITS = CircuitBuilder::NUM_LIMB_BITS |
|
staticconstexpr |
◆ NUM_OP_QUEUE_WIRES
constexpr size_t bb::TranslatorFlavor::NUM_OP_QUEUE_WIRES = 4 |
|
staticconstexpr |
◆ NUM_PRECOMPUTED_ENTITIES
constexpr size_t bb::TranslatorFlavor::NUM_PRECOMPUTED_ENTITIES = 10 |
|
staticconstexpr |
◆ NUM_RELATIONS
◆ NUM_SHIFTED_WITNESSES
constexpr size_t bb::TranslatorFlavor::NUM_SHIFTED_WITNESSES = 86 |
|
staticconstexpr |
◆ NUM_SUBRELATIONS
◆ NUM_WIRES
constexpr size_t bb::TranslatorFlavor::NUM_WIRES = CircuitBuilder::NUM_WIRES |
|
staticconstexpr |
◆ NUM_WIRES_NON_SHIFTED
constexpr size_t bb::TranslatorFlavor::NUM_WIRES_NON_SHIFTED = 1 |
|
staticconstexpr |
◆ NUM_WIRES_TO_BE_SHIFTED_WITHOUT_INTERLEAVED
constexpr size_t bb::TranslatorFlavor::NUM_WIRES_TO_BE_SHIFTED_WITHOUT_INTERLEAVED = 16 |
|
staticconstexpr |
◆ NUM_WITNESS_ENTITIES
constexpr size_t bb::TranslatorFlavor::NUM_WITNESS_ENTITIES = 91 |
|
staticconstexpr |
◆ PROOF_LENGTH_WITHOUT_PUB_INPUTS
constexpr size_t bb::TranslatorFlavor::PROOF_LENGTH_WITHOUT_PUB_INPUTS |
|
staticconstexpr |
Initial value:=
static constexpr size_t num_frs_fq
static constexpr size_t NUM_ALL_ENTITIES
static constexpr size_t num_frs_comm
static constexpr size_t NUM_WITNESS_ENTITIES
static constexpr size_t CONST_TRANSLATOR_LOG_N
static constexpr size_t BATCHED_RELATION_PARTIAL_LENGTH
static constexpr size_t num_frs_fr
Definition at line 178 of file translator_flavor.hpp.
◆ REPEATED_COMMITMENTS
Initial value:=
static constexpr size_t NUM_INTERLEAVED
static constexpr size_t NUM_SHIFTED_WITNESSES
static constexpr size_t NUM_PRECOMPUTED_ENTITIES
static constexpr size_t TO_BE_INTERLEAVED_START
static constexpr size_t NUM_WIRES_NON_SHIFTED
static constexpr size_t INTERLEAVED_START
Definition at line 139 of file translator_flavor.hpp.
◆ RESULT_ROW
constexpr size_t bb::TranslatorFlavor::RESULT_ROW = CircuitBuilder::RESULT_ROW |
|
staticconstexpr |
◆ SHIFTED_WITNESSES_START
◆ SORT_STEP
constexpr size_t bb::TranslatorFlavor::SORT_STEP = 3 |
|
staticconstexpr |
◆ SORTED_STEPS_COUNT
◆ TO_BE_INTERLEAVED_START
constexpr size_t bb::TranslatorFlavor::TO_BE_INTERLEAVED_START |
|
staticconstexpr |
Initial value:=
static constexpr size_t NUM_WIRES_TO_BE_SHIFTED_WITHOUT_INTERLEAVED
Definition at line 134 of file translator_flavor.hpp.
◆ TO_BE_SHIFTED_WITNESSES_START
◆ USE_PADDING
constexpr bool bb::TranslatorFlavor::USE_PADDING = false |
|
staticconstexpr |
◆ USE_SHORT_MONOMIALS
constexpr bool bb::TranslatorFlavor::USE_SHORT_MONOMIALS = false |
|
staticconstexpr |
◆ VIRTUAL_LOG_N
The documentation for this class was generated from the following file: