List of all items

Structs

• circuit::Constraint
• circuit::ConstraintSystem
• circuit::LinearCombination
• circuit::Variable
• snark::Proof
• snark::ProvingKey
• snark::VerifyingKey
• stark::FriProof
• stark::StarkConfig
• stark::StarkConstraint
• stark::StarkProof
• stark::TraceQueryProof
• verifier::SnarkBundle
• verifier::StarkBundle
• verifier::StarkPublicInputs
• verifier::ZkmlBundle
• zkml::AiDelta
• zkml::DaubertChecklist
• zkml::HumanAttestation
• zkml::InferenceProof
• zkml::ModelCommitment

Enums

• error::ProofError
• verifier::ProofType
• zkml::AttestationDecision
• zkml::DaubertAdmissibility

Traits

• circuit::Circuit

Functions

• circuit::allocate
• circuit::allocate_public
• circuit::enforce
• snark::prove
• snark::setup
• snark::verify
• stark::prove_stark
• stark::verify_stark
• stark::verify_stark_with_constraints
• verifier::verify_any
• zkml::prove_inference
• zkml::prove_inference_with_provenance
• zkml::verify_inference

Type Aliases

• error::Result