List of all items

Structs

• DeferredVerifyCircuit
• DeferredVerifyTraceGenImpl
• PreVerifierData
• bus::OutputCommitBus
• bus::OutputCommitMessage
• bus::OutputValBus
• bus::OutputValMessage
• commit::UserPvsCommitValuesAir
• output::DeferralOutputCommitAir
• output::DeferralOutputCommitCols
• output::DeferralOutputCtx
• prover::DeferredVerifyCircuitProver
• prover::DeferredVerifyProver
• verifier::DeferredVerifyCombinedPvs
• verifier::DeferredVerifyPvsAir
• verifier::DeferredVerifyPvsCols
• verifier::DeferredVerifyPvsRecord
• verifier::RecursiveDeferredVerifyCols

Traits

• DeferredVerifyTraceGen

Functions

• commit::generate_proving_ctx
• default_verify_stark_circuit_params
• extension::get_deferral_state
• extension::get_raw_deferral_results
• extension::verify_stark_deferral_fn
• output::generate_proving_ctx
• verifier::generate_proving_ctx
• verifier::generate_record

Type Aliases

• prover::DeferredVerifyCpuCircuitProver
• prover::DeferredVerifyCpuProver
• prover::DeferredVerifyGpuCircuitProver
• prover::DeferredVerifyGpuProver