|
Barretenberg
The ZK-SNARK library at the core of Aztec
|
#include <multilinear_batching_flavor.hpp>
Public Types | |
| using | Base = PartiallyEvaluatedMultivariatesBase< AllEntities< Polynomial >, ProverPolynomials, Polynomial > |
Public Types inherited from bb::ECCVMFlavor::PrecomputedEntities< DataType_ > | |
| using | DataType = DataType_ |
Public Member Functions | |
| PartiallyEvaluatedMultivariates (const ProverPolynomials &full_polynomials, size_t circuit_size) | |
Public Member Functions inherited from bb::PartiallyEvaluatedMultivariatesBase< AllEntities< Polynomial >, ProverPolynomials, Polynomial > | |
| PartiallyEvaluatedMultivariatesBase (const ProverPolynomials &full_polynomials, size_t circuit_size) | |
| Construct from full polynomials, allocating based on their actual sizes. | |
Public Member Functions inherited from bb::ECCVMFlavor::AllEntities< Polynomial > | |
| DEFINE_COMPOUND_GET_ALL (MaskingEntities< Polynomial >, PrecomputedEntities< Polynomial >, WitnessEntities< Polynomial >, ShiftedEntities< Polynomial >) auto get_unshifted() | |
| auto | get_to_be_shifted () |
| auto | get_to_be_shifted () const |
| auto | get_shifted () |
| auto | get_shifted () const |
| auto | get_precomputed () |
Public Member Functions inherited from bb::ECCVMFlavor::PrecomputedEntities< DataType_ > | |
| bool | operator== (const PrecomputedEntities &other) const =default |
| DEFINE_FLAVOR_MEMBERS (DataType, lagrange_first, lagrange_second, lagrange_third, lagrange_last) | |
| DataType | get_selectors () |
Public Member Functions inherited from bb::ECCVMFlavor::WitnessEntities< DataType > | |
| DEFINE_COMPOUND_GET_ALL (WireNonShiftedEntities< DataType >, WireToBeShiftedWithoutAccumulatorsEntities< DataType >, WireToBeShiftedAccumulatorEntities< DataType >, DerivedWitnessEntities< DataType >) auto get_wires() | |
| auto | get_accumulators () |
| auto | get_wires_without_accumulators () |
| auto | get_transcript_wires () |
| auto | get_shifted_transcript_wires () |
| auto | get_precompute_wires () |
| auto | get_shifted_precompute_wires () |
| auto | get_msm_wires () |
| auto | get_shifted_msm_wires () |
| auto | get_lookup_read_counts () |
Public Member Functions inherited from bb::ECCVMFlavor::DerivedWitnessEntities< DataType > | |
| DEFINE_FLAVOR_MEMBERS (DataType, z_perm, lookup_inverses) | |
Public Member Functions inherited from bb::ECCVMFlavor::ShiftedEntities< DataType > | |
| DEFINE_FLAVOR_MEMBERS (DataType, transcript_mul_shift, transcript_msm_count_shift, precompute_scalar_sum_shift, precompute_s1hi_shift, precompute_dx_shift, precompute_dy_shift, precompute_tx_shift, precompute_ty_shift, msm_transition_shift, msm_add_shift, msm_double_shift, msm_skew_shift, msm_accumulator_x_shift, msm_accumulator_y_shift, msm_count_shift, msm_round_shift, msm_add1_shift, msm_pc_shift, precompute_pc_shift, transcript_pc_shift, precompute_round_shift, precompute_select_shift, transcript_accumulator_not_empty_shift, transcript_accumulator_x_shift, transcript_accumulator_y_shift, z_perm_shift) | |
Public Attributes | |
| std::array< std::vector< FF >, NUM_CLAIMS > | claim_challenges |
Public Attributes inherited from bb::PartiallyEvaluatedMultivariatesBase< AllEntities< Polynomial >, ProverPolynomials, Polynomial > | |
| size_t | row_skip_active_prefix_end |
Definition at line 180 of file multilinear_batching_flavor.hpp.
| using bb::MultilinearBatchingFlavor_< NumClaims >::PartiallyEvaluatedMultivariates::Base = PartiallyEvaluatedMultivariatesBase<AllEntities<Polynomial>, ProverPolynomials, Polynomial> |
Definition at line 183 of file multilinear_batching_flavor.hpp.
|
inline |
Definition at line 186 of file multilinear_batching_flavor.hpp.
| std::array<std::vector<FF>, NUM_CLAIMS> bb::MultilinearBatchingFlavor_< NumClaims >::PartiallyEvaluatedMultivariates::claim_challenges |
Definition at line 184 of file multilinear_batching_flavor.hpp.