List of all items

Structs

• CpuProver
• CpuProverBuilder
• CycleMarker
• DevProof
• DevProver
• DevProverBuilder
• DevVerificationKey
• DevVerifier
• DevVerifierBuilder
• ExecutionResult
• FlamegraphConfig
• GpuProver
• GpuProverBuilder
• Inputs
• Mark
• Program
• ProveResult
• RealProof
• RealUnifiedVerificationKey
• RealUnrolledVerificationKey
• RealVerifier
• RealVerifierBuilder
• Receipt
• TranspilerRunner
• TranspilerRunnerBuilder
• UnifiedVk
• UnrolledVk
• VerificationRequest
• raw::UnrolledProgramProof

Enums

• HostError
• Proof
• ProverLevel
• SecurityLevel
• VerificationKey

Traits

• Commit
• Prover
• Runner
• Verifier

Functions

• compute_unified_vk
• compute_unrolled_vk
• resolve_cycles
• verify_proof
• verify_real_proof_with_vk
• verify_unrolled_proof

Type Aliases

• Result

Constants

• DEFAULT_CYCLES