Builder typedef | bb::StdlibVerificationKey_< CircuitBuilder, NativeFlavor::PrecomputedEntities< Commitment > > | |
Commitment typedef | bb::StdlibVerificationKey_< CircuitBuilder, NativeFlavor::PrecomputedEntities< Commitment > > | |
FF typedef | bb::StdlibVerificationKey_< CircuitBuilder, NativeFlavor::PrecomputedEntities< Commitment > > | |
fix_witness() | bb::avm2::AvmRecursiveFlavor::VerificationKey | inline |
hash(Builder &builder) | bb::StdlibVerificationKey_< CircuitBuilder, NativeFlavor::PrecomputedEntities< Commitment > > | inline |
hash_through_transcript(const std::string &domain_separator, Transcript &transcript) const override | bb::avm2::AvmRecursiveFlavor::VerificationKey | inlinevirtual |
log_circuit_size | bb::StdlibVerificationKey_< CircuitBuilder, NativeFlavor::PrecomputedEntities< Commitment > > | |
log_fixed_circuit_size | bb::avm2::AvmRecursiveFlavor::VerificationKey | |
num_public_inputs | bb::StdlibVerificationKey_< CircuitBuilder, NativeFlavor::PrecomputedEntities< Commitment > > | |
operator==(const StdlibVerificationKey_ &) const=default | bb::StdlibVerificationKey_< CircuitBuilder, NativeFlavor::PrecomputedEntities< Commitment > > | |
pub_inputs_offset | bb::StdlibVerificationKey_< CircuitBuilder, NativeFlavor::PrecomputedEntities< Commitment > > | |
StdlibVerificationKey_()=default | bb::StdlibVerificationKey_< CircuitBuilder, NativeFlavor::PrecomputedEntities< Commitment > > | |
StdlibVerificationKey_(const size_t circuit_size, const size_t num_public_inputs) | bb::StdlibVerificationKey_< CircuitBuilder, NativeFlavor::PrecomputedEntities< Commitment > > | inline |
to_field_elements() const override | bb::avm2::AvmRecursiveFlavor::VerificationKey | inlinevirtual |
Transcript typedef | bb::StdlibVerificationKey_< CircuitBuilder, NativeFlavor::PrecomputedEntities< Commitment > > | |
VerificationKey(CircuitBuilder *builder, const std::shared_ptr< NativeVerificationKey > &native_key) | bb::avm2::AvmRecursiveFlavor::VerificationKey | inline |
VerificationKey(CircuitBuilder &builder, std::span< const FF > elements) | bb::avm2::AvmRecursiveFlavor::VerificationKey | inline |
~StdlibVerificationKey_()=default | bb::StdlibVerificationKey_< CircuitBuilder, NativeFlavor::PrecomputedEntities< Commitment > > | virtual |