List of all items

Structs

• crypto::Blake3Hasher
• crypto::Digest
• crypto::Keccak256Hasher
• crypto::MerkleProofShape
• crypto::MerkleRoot
• crypto::PublicKey
• crypto::Sha256Hasher
• crypto::Sha3_256Hasher
• crypto::Sha512Hasher
• crypto::Signature
• crypto::commitment::MerkleProofShape
• crypto::commitment::MerkleRoot
• crypto::hash::Blake3Hasher
• crypto::hash::Keccak256Hasher
• crypto::hash::Sha256Hasher
• crypto::hash::Sha3_256Hasher
• crypto::hash::Sha512Hasher
• crypto::shapes::Digest
• crypto::shapes::PublicKey
• crypto::shapes::Signature
• crypto::verbs::DigestPair32
• crypto::verbs::HmacInputs
• fhe::CiphertextShape
• fhe::OneTimePadFhe
• fhe::fhe::CiphertextShape
• fhe::fhe::OneTimePadFhe
• fhe::verbs::CiphertextPair32
• numerics::BigIntModularNumeric
• numerics::BigIntShape
• numerics::FieldElementShape
• numerics::FixedPointQNumeric
• numerics::FixedPointShape
• numerics::Gf2NumericAxisN
• numerics::Gf2RingShape
• numerics::PolynomialShape
• numerics::PrimeFieldNumericSecp256k1
• numerics::bigint::BigIntModularNumeric
• numerics::bigint::BigIntShape
• numerics::field::FieldElementShape
• numerics::field::PrimeFieldNumericSecp256k1
• numerics::fixed_point::FixedPointQNumeric
• numerics::fixed_point::FixedPointShape
• numerics::polynomial::PolynomialShape
• numerics::ring::Gf2NumericAxisN
• numerics::ring::Gf2RingShape
• numerics::verbs::BigIntPair32
• numerics::verbs::BigIntTriple32
• operation::GroundingProgram
• operation::TermArena
• operation::TermList
• operation::TermValue
• pipeline::AffineParity
• pipeline::AndCommitment
• pipeline::EmptyCommitment
• pipeline::EmptyShapeRegistry
• pipeline::GenericImpossibilityWitness
• pipeline::LexicographicLessEqThreshold
• pipeline::NullChainComplexResolver
• pipeline::NullCochainComplexResolver
• pipeline::NullCohomologyGroupResolver
• pipeline::NullHomologyGroupResolver
• pipeline::NullHomotopyGroupResolver
• pipeline::NullKInvariantResolver
• pipeline::NullNerveResolver
• pipeline::NullPostnikovResolver
• pipeline::NullResolverTuple
• pipeline::RegisteredShape
• pipeline::ShapeViolation
• pipeline::SingletonCommitment
• pipeline::StageOutcome
• pipeline::Stratum
• pipeline::UltrametricCloseTo
• pipeline::WalshHadamardParity
• replay::Trace
• replay::TraceEvent
• seal::Certified
• seal::CompileTime
• seal::Grounded
• seal::Runtime
• seal::Validated
• std_types::BinaryGroundingMap
• std_types::BinaryProjectionMap
• std_types::Bool
• std_types::Bytes
• std_types::CartesianProductEvidence
• std_types::CartesianProductMintInputs
• std_types::CartesianProductWitness
• std_types::Char
• std_types::ConstrainedTypeInput
• std_types::DigestGroundingMap
• std_types::DigestProjectionMap
• std_types::F32
• std_types::F64
• std_types::FixedSites
• std_types::GroundedCoord
• std_types::GroundedTuple
• std_types::I128
• std_types::I16
• std_types::I256
• std_types::I32
• std_types::I64
• std_types::I8
• std_types::IntegerGroundingMap
• std_types::IntegerProjectionMap
• std_types::JsonGroundingMap
• std_types::JsonProjectionMap
• std_types::NullPartition
• std_types::PartitionCoproductEvidence
• std_types::PartitionCoproductMintInputs
• std_types::PartitionCoproductWitness
• std_types::PartitionHandle
• std_types::PartitionProductEvidence
• std_types::PartitionProductMintInputs
• std_types::PartitionProductWitness
• std_types::PartitionRecord
• std_types::U128
• std_types::U16
• std_types::U256
• std_types::U32
• std_types::U64
• std_types::U8
• std_types::Utf8GroundingMap
• std_types::Utf8ProjectionMap
• tensor::CpuI8MatmulSquare
• tensor::CpuI8VectorActivation
• tensor::MatrixShape
• tensor::VectorShape
• tensor::activation::CpuI8VectorActivation
• tensor::tensor::CpuI8MatmulSquare
• tensor::tensor::MatrixShape
• tensor::tensor::VectorShape
• tensor::verbs::BytePair
• tensor::verbs::W8Byte
• vocabulary::BindingEntry
• vocabulary::BindingsTable
• vocabulary::BoundConstraint
• vocabulary::Calibration
• vocabulary::CompileUnit
• vocabulary::CompileUnitBuilder
• vocabulary::ContentAddress
• vocabulary::ContentFingerprint
• vocabulary::Datum
• vocabulary::DefaultHostBounds
• vocabulary::DefaultHostTypes
• vocabulary::Derivation
• vocabulary::FreeRank
• vocabulary::GenericImpossibilityWitness
• vocabulary::GroundingCertificate
• vocabulary::LandauerBudget
• vocabulary::MultiplicationCertificate
• vocabulary::Nanos
• vocabulary::ShapeViolation
• vocabulary::Trace
• vocabulary::TraceEvent
• vocabulary::Triad
• vocabulary::UorTime
• vocabulary::WittLevel

Enums

• operation::PrimitiveOp
• operation::Term
• pipeline::ConstraintRef
• pipeline::FragmentKind
• pipeline::LeafConstraintRef
• pipeline::PipelineFailure
• pipeline::ResolverCategory
• pipeline::ViolationKind
• replay::ReplayError
• vocabulary::BindingsTableError
• vocabulary::CalibrationError
• vocabulary::CertificateKind
• vocabulary::ReplayError
• vocabulary::Space
• vocabulary::VerificationDomain

Traits

• crypto::CommitmentAxis
• crypto::CurveAxis
• crypto::HashAxis
• crypto::SignatureAxis
• crypto::commitment::CommitmentAxis
• crypto::curve::CurveAxis
• crypto::hash::HashAxis
• crypto::signature::SignatureAxis
• fhe::FheAxis
• fhe::fhe::FheAxis
• numerics::BigIntAxis
• numerics::FieldAxis
• numerics::FixedPointAxis
• numerics::RingAxis
• numerics::bigint::BigIntAxis
• numerics::field::FieldAxis
• numerics::fixed_point::FixedPointAxis
• numerics::ring::RingAxis
• operation::Grounding
• operation::GroundingExt
• operation::Sinking
• pipeline::AxisExtension
• pipeline::AxisTuple
• pipeline::ChainComplexResolver
• pipeline::CochainComplexResolver
• pipeline::CohomologyGroupResolver
• pipeline::ConstrainedTypeShape
• pipeline::FoundationClosed
• pipeline::HasChainComplexResolver
• pipeline::HasCochainComplexResolver
• pipeline::HasCohomologyGroupResolver
• pipeline::HasHomologyGroupResolver
• pipeline::HasHomotopyGroupResolver
• pipeline::HasKInvariantResolver
• pipeline::HasNerveResolver
• pipeline::HasPostnikovResolver
• pipeline::HomologyGroupResolver
• pipeline::HomotopyGroupResolver
• pipeline::IntoBindingValue
• pipeline::KInvariantResolver
• pipeline::NerveResolver
• pipeline::ObservablePredicate
• pipeline::PartitionProductFactor
• pipeline::PartitionProductFields
• pipeline::PostnikovResolver
• pipeline::PrismModel
• pipeline::ResolverTuple
• pipeline::ShapeRegistryProvider
• pipeline::TimingPolicy
• pipeline::TypedCommitment
• pipeline::WitnessTupleSource
• seal::ValidationPhase
• std_types::CartesianProductShape
• std_types::GroundedShape
• std_types::GroundedValue
• std_types::GroundingMapKind
• std_types::Invertible
• std_types::MorphismKind
• std_types::OntologyVerifiedMint
• std_types::PartitionResolver
• std_types::PreservesMetric
• std_types::PreservesStructure
• std_types::ProjectionMapKind
• std_types::Total
• std_types::VerifiedMint
• tensor::ActivationAxis
• tensor::TensorAxis
• tensor::activation::ActivationAxis
• tensor::tensor::TensorAxis
• vocabulary::Certificate
• vocabulary::Hasher
• vocabulary::HostBounds
• vocabulary::HostTypes

Macros

• crypto::axis_extension_impl_for_commitment_axis
• crypto::axis_extension_impl_for_curve_axis
• crypto::axis_extension_impl_for_hash_axis
• crypto::axis_extension_impl_for_signature_axis
• fhe::axis_extension_impl_for_fhe_axis
• numerics::axis_extension_impl_for_big_int_axis
• numerics::axis_extension_impl_for_field_axis
• numerics::axis_extension_impl_for_fixed_point_axis
• numerics::axis_extension_impl_for_ring_axis
• pipeline::axis
• pipeline::cartesian_product_shape
• pipeline::coproduct_shape
• pipeline::output_shape
• pipeline::partition_coproduct
• pipeline::partition_product
• pipeline::prism_model
• pipeline::product_shape
• pipeline::register_shape
• pipeline::resolver
• pipeline::use_verbs
• pipeline::verb
• tensor::axis_extension_impl_for_activation_axis
• tensor::axis_extension_impl_for_tensor_axis

Functions

• crypto::verbs::hmac_inner_prep
• crypto::verbs::hmac_inner_prep_term_arena
• crypto::verbs::merkle_reduce_pair
• crypto::verbs::merkle_reduce_pair_term_arena
• fhe::verbs::add_ciphertexts_verb
• fhe::verbs::add_ciphertexts_verb_term_arena
• numerics::verbs::add_substrate
• numerics::verbs::add_substrate_term_arena
• numerics::verbs::div_substrate
• numerics::verbs::div_substrate_term_arena
• numerics::verbs::field_add
• numerics::verbs::field_add_term_arena
• numerics::verbs::field_mul
• numerics::verbs::field_mul_term_arena
• numerics::verbs::field_sub
• numerics::verbs::field_sub_term_arena
• numerics::verbs::fma
• numerics::verbs::fma_term_arena
• numerics::verbs::gf2_add_substrate
• numerics::verbs::gf2_add_substrate_term_arena
• numerics::verbs::gf2_mul_substrate
• numerics::verbs::gf2_mul_substrate_term_arena
• numerics::verbs::mod_pow
• numerics::verbs::mod_pow_term_arena
• numerics::verbs::mod_substrate
• numerics::verbs::mod_substrate_term_arena
• numerics::verbs::mul_substrate
• numerics::verbs::mul_substrate_term_arena
• numerics::verbs::or_substrate
• numerics::verbs::or_substrate_term_arena
• numerics::verbs::polyeval_linear
• numerics::verbs::polyeval_linear_term_arena
• numerics::verbs::pow_substrate
• numerics::verbs::pow_substrate_term_arena
• numerics::verbs::pred_twice
• numerics::verbs::pred_twice_term_arena
• numerics::verbs::secp256k1_field_add
• numerics::verbs::secp256k1_field_add_term_arena
• numerics::verbs::secp256k1_field_mul
• numerics::verbs::secp256k1_field_mul_term_arena
• numerics::verbs::secp256k1_field_sub
• numerics::verbs::secp256k1_field_sub_term_arena
• numerics::verbs::square
• numerics::verbs::square_term_arena
• numerics::verbs::sub_substrate
• numerics::verbs::sub_substrate_term_arena
• numerics::verbs::succ_twice
• numerics::verbs::succ_twice_term_arena
• pipeline::expand_constraints_in
• pipeline::fragment_classify
• pipeline::lookup_shape
• pipeline::lookup_shape_in
• pipeline::preflight_budget_solvency
• pipeline::preflight_dispatch_coverage
• pipeline::preflight_feasibility
• pipeline::preflight_package_coherence
• pipeline::primitive_cartesian_nerve_betti
• pipeline::primitive_cartesian_nerve_betti_in
• pipeline::primitive_simplicial_nerve_betti
• pipeline::primitive_simplicial_nerve_betti_in
• pipeline::run
• pipeline::run_route
• pipeline::validate_compile_unit_const
• pipeline::validate_constrained_type
• pipeline::validate_constrained_type_const
• replay::certify_from_trace
• std_types::kunneth_compose
• tensor::verbs::add_bytes
• tensor::verbs::add_bytes_term_arena
• tensor::verbs::concat_bytes
• tensor::verbs::concat_bytes_term_arena
• tensor::verbs::saturating_xor_bytes
• tensor::verbs::saturating_xor_bytes_term_arena

Type Aliases

• crypto::MerkleRootCommitment
• crypto::commitment::MerkleRootCommitment
• crypto::verbs::Digest32
• crypto::verbs::HmacBlock64
• fhe::OneTimePadFhe128
• fhe::OneTimePadFhe16
• fhe::OneTimePadFhe64
• fhe::OneTimePadFheAxis
• fhe::fhe::OneTimePadFhe128
• fhe::fhe::OneTimePadFhe16
• fhe::fhe::OneTimePadFhe64
• fhe::fhe::OneTimePadFheAxis
• fhe::verbs::Ciphertext32
• numerics::BigInt128Numeric
• numerics::BigInt256Numeric
• numerics::BigInt512Numeric
• numerics::BigInt64Numeric
• numerics::FixedPointQ16_16Numeric
• numerics::FixedPointQ1_31Numeric
• numerics::FixedPointQ32_32Numeric
• numerics::FixedPointQ48_16Numeric
• numerics::Gf2NumericAxis
• numerics::Gf2NumericAxis128
• numerics::Gf2NumericAxis512
• numerics::Polynomial15Mod256
• numerics::Polynomial7Mod256
• numerics::bigint::BigInt128Numeric
• numerics::bigint::BigInt256Numeric
• numerics::bigint::BigInt512Numeric
• numerics::bigint::BigInt64Numeric
• numerics::fixed_point::FixedPointQ16_16Numeric
• numerics::fixed_point::FixedPointQ1_31Numeric
• numerics::fixed_point::FixedPointQ32_32Numeric
• numerics::fixed_point::FixedPointQ48_16Numeric
• numerics::polynomial::Polynomial15Mod256
• numerics::polynomial::Polynomial7Mod256
• numerics::ring::Gf2NumericAxis
• numerics::ring::Gf2NumericAxis128
• numerics::ring::Gf2NumericAxis512
• numerics::verbs::BigInt32
• pipeline::TargetCommitment
• tensor::CpuI8Tensor16x16Matmul
• tensor::CpuI8Tensor4x4Matmul
• tensor::CpuI8Tensor8x8Matmul
• tensor::CpuI8VectorActivation128
• tensor::CpuI8VectorActivation16
• tensor::CpuI8VectorActivation256
• tensor::CpuI8VectorActivation32
• tensor::CpuI8VectorActivation64
• tensor::activation::CpuI8VectorActivation128
• tensor::activation::CpuI8VectorActivation16
• tensor::activation::CpuI8VectorActivation256
• tensor::activation::CpuI8VectorActivation32
• tensor::activation::CpuI8VectorActivation64
• tensor::tensor::CpuI8Tensor16x16Matmul
• tensor::tensor::CpuI8Tensor4x4Matmul
• tensor::tensor::CpuI8Tensor8x8Matmul

Constants

• MSRV
• WIKI
• crypto::MAX_MERKLE_LEAVES
• crypto::STANDARD_LIBRARY_VERSION
• crypto::commitment::KERNEL_COMMIT
• crypto::commitment::MAX_MERKLE_LEAVES
• crypto::curve::KERNEL_POINT_ADD
• crypto::curve::KERNEL_SCALAR_MUL
• crypto::hash::KERNEL_HASH
• crypto::signature::KERNEL_VERIFY
• crypto::verbs::VERB_TERMS_HMAC_INNER_PREP
• crypto::verbs::VERB_TERMS_MERKLE_REDUCE_PAIR
• fhe::MAX_FHE_BLOCK_BYTES
• fhe::STANDARD_LIBRARY_VERSION
• fhe::fhe::KERNEL_ADD_CIPHERTEXTS
• fhe::fhe::MAX_FHE_BLOCK_BYTES
• fhe::verbs::VERB_TERMS_ADD_CIPHERTEXTS_VERB
• numerics::MAX_BIG_INT_BYTES
• numerics::MAX_GF2_BYTES
• numerics::STANDARD_LIBRARY_VERSION
• numerics::bigint::KERNEL_ADD
• numerics::bigint::KERNEL_MUL
• numerics::bigint::KERNEL_SUB
• numerics::bigint::MAX_BIG_INT_BYTES
• numerics::field::KERNEL_ADD
• numerics::field::KERNEL_MUL
• numerics::field::KERNEL_SUB
• numerics::fixed_point::KERNEL_ADD
• numerics::fixed_point::KERNEL_MUL
• numerics::fixed_point::KERNEL_SUB
• numerics::ring::KERNEL_ADD
• numerics::ring::KERNEL_MUL
• numerics::ring::MAX_GF2_BYTES
• numerics::verbs::SECP256K1_P_BYTES
• numerics::verbs::VERB_TERMS_ADD_SUBSTRATE
• numerics::verbs::VERB_TERMS_DIV_SUBSTRATE
• numerics::verbs::VERB_TERMS_FIELD_ADD
• numerics::verbs::VERB_TERMS_FIELD_MUL
• numerics::verbs::VERB_TERMS_FIELD_SUB
• numerics::verbs::VERB_TERMS_FMA
• numerics::verbs::VERB_TERMS_GF2_ADD_SUBSTRATE
• numerics::verbs::VERB_TERMS_GF2_MUL_SUBSTRATE
• numerics::verbs::VERB_TERMS_MOD_POW
• numerics::verbs::VERB_TERMS_MOD_SUBSTRATE
• numerics::verbs::VERB_TERMS_MUL_SUBSTRATE
• numerics::verbs::VERB_TERMS_OR_SUBSTRATE
• numerics::verbs::VERB_TERMS_POLYEVAL_LINEAR
• numerics::verbs::VERB_TERMS_POW_SUBSTRATE
• numerics::verbs::VERB_TERMS_PRED_TWICE
• numerics::verbs::VERB_TERMS_SECP256K1_FIELD_ADD
• numerics::verbs::VERB_TERMS_SECP256K1_FIELD_MUL
• numerics::verbs::VERB_TERMS_SECP256K1_FIELD_SUB
• numerics::verbs::VERB_TERMS_SQUARE
• numerics::verbs::VERB_TERMS_SUB_SUBSTRATE
• numerics::verbs::VERB_TERMS_SUCC_TWICE
• numerics::verbs::W256_LEVEL
• pipeline::AXIS_OUTPUT_BYTES_CEILING
• pipeline::MAX_AXIS_TUPLE_ARITY
• pipeline::MAX_BETTI_DIMENSION
• pipeline::NERVE_CONSTRAINTS_CAP
• pipeline::NERVE_SITES_CAP
• pipeline::WITT_MAX_BITS
• tensor::MAX_ACTIVATION_LEN
• tensor::MAX_TENSOR_DIM
• tensor::STANDARD_LIBRARY_VERSION
• tensor::activation::KERNEL_RELU
• tensor::activation::KERNEL_SIGMOID_Q
• tensor::activation::MAX_ACTIVATION_LEN
• tensor::tensor::KERNEL_MATMUL
• tensor::tensor::MAX_TENSOR_DIM
• tensor::verbs::VERB_TERMS_ADD_BYTES
• tensor::verbs::VERB_TERMS_CONCAT_BYTES
• tensor::verbs::VERB_TERMS_SATURATING_XOR_BYTES
• vocabulary::TRACE_REPLAY_FORMAT_VERSION