List of all items

Structs

• ProofEnvironment
• ProofStats
• VerifiedOp
• cache::CacheStats
• cache::ConversionCache
• invariants::BuiltinDecl
• pipeline::VerifiedStage
• pools::PooledResources
• proof_store::ProofAttestation
• vector_types::VerifiedInsertPrecondition

Enums

• error::VerificationError

Functions

• invariants::builtin_declarations
• invariants::register_builtin_symbols
• pipeline::compose_chain
• pipeline::compose_stages
• pools::acquire
• pools::pool_stats
• proof_store::create_attestation
• vector_types::mk_distance_metric
• vector_types::mk_hnsw_index_type
• vector_types::mk_nat_literal
• vector_types::mk_vector_type
• vector_types::prove_dim_eq
• vector_types::verified_dim_check
• vector_types::verify_batch_dimensions

Type Aliases

• error::Result

Constants

• invariants::symbols::COSINE
• invariants::symbols::DISTANCE_METRIC
• invariants::symbols::DOT
• invariants::symbols::EQ
• invariants::symbols::EQ_REFL
• invariants::symbols::HNSW_INDEX
• invariants::symbols::INSERT_RESULT
• invariants::symbols::L2
• invariants::symbols::NAT
• invariants::symbols::PIPELINE_STAGE
• invariants::symbols::RUVEC
• invariants::symbols::TYPE_UNIVERSE
• proof_store::ATTESTATION_SIZE
• proof_store::WITNESS_TYPE_FORMAL_PROOF