barretenberg
Loading...
Searching...
No Matches
proof_system::honk::flavor::GoblinTranslator::VerifierCommitments Member List

This is the complete list of members for proof_system::honk::flavor::GoblinTranslator::VerifierCommitments, including all inherited members.

AllEntities() (defined in proof_system::honk::flavor::GoblinTranslator::AllEntities< DataType >)proof_system::honk::flavor::GoblinTranslator::AllEntities< DataType >inline
circuit_size (defined in proof_system::honk::flavor::PrecomputedEntitiesBase)proof_system::honk::flavor::PrecomputedEntitiesBase
circuit_type (defined in proof_system::honk::flavor::PrecomputedEntitiesBase)proof_system::honk::flavor::PrecomputedEntitiesBase
DataType typedef (defined in proof_system::honk::flavor::GoblinTranslator::PrecomputedEntities< DataType_ >)proof_system::honk::flavor::GoblinTranslator::PrecomputedEntities< DataType_ >
DEFINE_COMPOUND_GET_ALL(WireNonshiftedEntities< DataType >, WireToBeShiftedEntities< DataType >, DerivedWitnessEntities< DataType >, ConcatenatedRangeConstraints< DataType >) RefVector< DataType > get_wires() (defined in proof_system::honk::flavor::GoblinTranslator::WitnessEntities< DataType >)proof_system::honk::flavor::GoblinTranslator::WitnessEntities< DataType >inline
DEFINE_FLAVOR_MEMBERS(DataType, lagrange_first, lagrange_last, lagrange_odd_in_minicircuit, lagrange_even_in_minicircuit, lagrange_second, lagrange_second_to_last_in_minicircuit, ordered_extra_range_constraints_numerator) (defined in proof_system::honk::flavor::GoblinTranslator::PrecomputedEntities< DataType_ >)proof_system::honk::flavor::GoblinTranslator::PrecomputedEntities< DataType_ >
DEFINE_FLAVOR_MEMBERS(DataType, op) (defined in proof_system::honk::flavor::GoblinTranslator::WireNonshiftedEntities< DataType >)proof_system::honk::flavor::GoblinTranslator::WireNonshiftedEntities< DataType >
DEFINE_FLAVOR_MEMBERS(DataType, x_lo_y_hi, x_hi_z_1, y_lo_z_2, p_x_low_limbs, p_x_low_limbs_range_constraint_0, p_x_low_limbs_range_constraint_1, p_x_low_limbs_range_constraint_2, p_x_low_limbs_range_constraint_3, p_x_low_limbs_range_constraint_4, p_x_low_limbs_range_constraint_tail, p_x_high_limbs, p_x_high_limbs_range_constraint_0, p_x_high_limbs_range_constraint_1, p_x_high_limbs_range_constraint_2, p_x_high_limbs_range_constraint_3, p_x_high_limbs_range_constraint_4, p_x_high_limbs_range_constraint_tail, p_y_low_limbs, p_y_low_limbs_range_constraint_0, p_y_low_limbs_range_constraint_1, p_y_low_limbs_range_constraint_2, p_y_low_limbs_range_constraint_3, p_y_low_limbs_range_constraint_4, p_y_low_limbs_range_constraint_tail, p_y_high_limbs, p_y_high_limbs_range_constraint_0, p_y_high_limbs_range_constraint_1, p_y_high_limbs_range_constraint_2, p_y_high_limbs_range_constraint_3, p_y_high_limbs_range_constraint_4, p_y_high_limbs_range_constraint_tail, z_low_limbs, z_low_limbs_range_constraint_0, z_low_limbs_range_constraint_1, z_low_limbs_range_constraint_2, z_low_limbs_range_constraint_3, z_low_limbs_range_constraint_4, z_low_limbs_range_constraint_tail, z_high_limbs, z_high_limbs_range_constraint_0, z_high_limbs_range_constraint_1, z_high_limbs_range_constraint_2, z_high_limbs_range_constraint_3, z_high_limbs_range_constraint_4, z_high_limbs_range_constraint_tail, accumulators_binary_limbs_0, accumulators_binary_limbs_1, accumulators_binary_limbs_2, accumulators_binary_limbs_3, accumulator_low_limbs_range_constraint_0, accumulator_low_limbs_range_constraint_1, accumulator_low_limbs_range_constraint_2, accumulator_low_limbs_range_constraint_3, accumulator_low_limbs_range_constraint_4, accumulator_low_limbs_range_constraint_tail, accumulator_high_limbs_range_constraint_0, accumulator_high_limbs_range_constraint_1, accumulator_high_limbs_range_constraint_2, accumulator_high_limbs_range_constraint_3, accumulator_high_limbs_range_constraint_4, accumulator_high_limbs_range_constraint_tail, quotient_low_binary_limbs, quotient_high_binary_limbs, quotient_low_limbs_range_constraint_0, quotient_low_limbs_range_constraint_1, quotient_low_limbs_range_constraint_2, quotient_low_limbs_range_constraint_3, quotient_low_limbs_range_constraint_4, quotient_low_limbs_range_constraint_tail, quotient_high_limbs_range_constraint_0, quotient_high_limbs_range_constraint_1, quotient_high_limbs_range_constraint_2, quotient_high_limbs_range_constraint_3, quotient_high_limbs_range_constraint_4, quotient_high_limbs_range_constraint_tail, relation_wide_limbs, relation_wide_limbs_range_constraint_0, relation_wide_limbs_range_constraint_1, relation_wide_limbs_range_constraint_2, relation_wide_limbs_range_constraint_3, ordered_range_constraints_0, ordered_range_constraints_1, ordered_range_constraints_2, ordered_range_constraints_3, ordered_range_constraints_4) (defined in proof_system::honk::flavor::GoblinTranslator::WireToBeShiftedEntities< DataType >)proof_system::honk::flavor::GoblinTranslator::WireToBeShiftedEntities< DataType >
DEFINE_FLAVOR_MEMBERS(DataType, z_perm) (defined in proof_system::honk::flavor::GoblinTranslator::DerivedWitnessEntities< DataType >)proof_system::honk::flavor::GoblinTranslator::DerivedWitnessEntities< DataType >
get_concatenated_constraints() (defined in proof_system::honk::flavor::GoblinTranslator::AllEntities< DataType >)proof_system::honk::flavor::GoblinTranslator::AllEntities< DataType >inline
get_concatenation_groups() (defined in proof_system::honk::flavor::GoblinTranslator::AllEntities< DataType >)proof_system::honk::flavor::GoblinTranslator::AllEntities< DataType >inline
get_id_polynomials() (defined in proof_system::honk::flavor::GoblinTranslator::PrecomputedEntities< DataType_ >)proof_system::honk::flavor::GoblinTranslator::PrecomputedEntities< DataType_ >inline
get_ordered_constraints() (defined in proof_system::honk::flavor::GoblinTranslator::AllEntities< DataType >)proof_system::honk::flavor::GoblinTranslator::AllEntities< DataType >inline
get_selectors() (defined in proof_system::honk::flavor::GoblinTranslator::PrecomputedEntities< DataType_ >)proof_system::honk::flavor::GoblinTranslator::PrecomputedEntities< DataType_ >inline
get_shifted() (defined in proof_system::honk::flavor::GoblinTranslator::AllEntities< DataType >)proof_system::honk::flavor::GoblinTranslator::AllEntities< DataType >inline
get_sigma_polynomials() (defined in proof_system::honk::flavor::GoblinTranslator::PrecomputedEntities< DataType_ >)proof_system::honk::flavor::GoblinTranslator::PrecomputedEntities< DataType_ >inline
get_special() (defined in proof_system::honk::flavor::GoblinTranslator::AllEntities< DataType >)proof_system::honk::flavor::GoblinTranslator::AllEntities< DataType >inline
get_to_be_shifted() (defined in proof_system::honk::flavor::GoblinTranslator::WitnessEntities< DataType >)proof_system::honk::flavor::GoblinTranslator::WitnessEntities< DataType >inline
get_unshifted() (defined in proof_system::honk::flavor::GoblinTranslator::AllEntities< DataType >)proof_system::honk::flavor::GoblinTranslator::AllEntities< DataType >inline
get_unshifted_then_shifted_then_special() (defined in proof_system::honk::flavor::GoblinTranslator::AllEntities< DataType >)proof_system::honk::flavor::GoblinTranslator::AllEntities< DataType >inline
get_unshifted_wire_labels() (defined in proof_system::honk::flavor::GoblinTranslator::WitnessEntities< DataType >)proof_system::honk::flavor::GoblinTranslator::WitnessEntities< DataType >inline
get_unshifted_wires() (defined in proof_system::honk::flavor::GoblinTranslator::WitnessEntities< DataType >)proof_system::honk::flavor::GoblinTranslator::WitnessEntities< DataType >inline
get_wires() (defined in proof_system::honk::flavor::GoblinTranslator::AllEntities< DataType >)proof_system::honk::flavor::GoblinTranslator::AllEntities< DataType >inline
log_circuit_size (defined in proof_system::honk::flavor::PrecomputedEntitiesBase)proof_system::honk::flavor::PrecomputedEntitiesBase
num_public_inputs (defined in proof_system::honk::flavor::PrecomputedEntitiesBase)proof_system::honk::flavor::PrecomputedEntitiesBase
VerifierCommitments(const std::shared_ptr< VerificationKey > &verification_key) (defined in proof_system::honk::flavor::GoblinTranslator::VerifierCommitments)proof_system::honk::flavor::GoblinTranslator::VerifierCommitmentsinline