Builder typedef | bb::StdlibVerificationKey_< CircuitBuilder, TranslatorFlavor::PrecomputedEntities< Commitment > > | |
Commitment typedef | bb::StdlibVerificationKey_< CircuitBuilder, TranslatorFlavor::PrecomputedEntities< Commitment > > | |
DataType typedef | bb::TranslatorFlavor::PrecomputedEntities< DataType_ > | |
DEFINE_FLAVOR_MEMBERS(DataType, ordered_extra_range_constraints_numerator, lagrange_first, lagrange_last, lagrange_odd_in_minicircuit, lagrange_even_in_minicircuit, lagrange_result_row, lagrange_last_in_minicircuit, lagrange_masking, lagrange_mini_masking, lagrange_real_last) | bb::TranslatorFlavor::PrecomputedEntities< DataType_ > | |
FF typedef | bb::StdlibVerificationKey_< CircuitBuilder, TranslatorFlavor::PrecomputedEntities< Commitment > > | |
fix_witness() | bb::TranslatorRecursiveFlavor::VerificationKey | inline |
hash(Builder &builder) | bb::StdlibVerificationKey_< CircuitBuilder, TranslatorFlavor::PrecomputedEntities< Commitment > > | inline |
hash_through_transcript(const std::string &domain_separator, Transcript &transcript) const override | bb::TranslatorRecursiveFlavor::VerificationKey | inlinevirtual |
log_circuit_size | bb::StdlibVerificationKey_< CircuitBuilder, TranslatorFlavor::PrecomputedEntities< Commitment > > | |
num_public_inputs | bb::StdlibVerificationKey_< CircuitBuilder, TranslatorFlavor::PrecomputedEntities< Commitment > > | |
operator==(const StdlibVerificationKey_ &) const=default | bb::StdlibVerificationKey_< CircuitBuilder, TranslatorFlavor::PrecomputedEntities< Commitment > > | |
bb::TranslatorFlavor::PrecomputedEntities::operator==(const PrecomputedEntities &other) const =default | bb::TranslatorFlavor::PrecomputedEntities< DataType_ > | |
pub_inputs_offset | bb::StdlibVerificationKey_< CircuitBuilder, TranslatorFlavor::PrecomputedEntities< Commitment > > | |
StdlibVerificationKey_()=default | bb::StdlibVerificationKey_< CircuitBuilder, TranslatorFlavor::PrecomputedEntities< Commitment > > | |
StdlibVerificationKey_(const size_t circuit_size, const size_t num_public_inputs) | bb::StdlibVerificationKey_< CircuitBuilder, TranslatorFlavor::PrecomputedEntities< Commitment > > | inline |
to_field_elements() const override | bb::TranslatorRecursiveFlavor::VerificationKey | inlinevirtual |
Transcript typedef | bb::StdlibVerificationKey_< CircuitBuilder, TranslatorFlavor::PrecomputedEntities< Commitment > > | |
VerificationKey(CircuitBuilder *builder, const std::shared_ptr< NativeVerificationKey > &native_key) | bb::TranslatorRecursiveFlavor::VerificationKey | inline |
~StdlibVerificationKey_()=default | bb::StdlibVerificationKey_< CircuitBuilder, TranslatorFlavor::PrecomputedEntities< Commitment > > | virtual |