List of all items

Structs

• CommitBytes
• VkCommitBytes
• circuit::SingleAirTraceData
• circuit::SubCircuitTraceData
• circuit::deferral::DeferralAggregationPvs
• circuit::deferral::DeferralCircuitPvs
• circuit::deferral::DeferralMerkleProofs
• circuit::deferral::hook::DeferralHookCircuit
• circuit::deferral::hook::DeferralHookPreCtx
• circuit::deferral::hook::DeferralHookTraceGenImpl
• circuit::deferral::hook::bus::DefCircuitCommitBus
• circuit::deferral::hook::bus::DefCircuitCommitMessage
• circuit::deferral::hook::bus::IoCommitBus
• circuit::deferral::hook::bus::IoCommitMessage
• circuit::deferral::hook::bus::OnionResultBus
• circuit::deferral::hook::bus::OnionResultMessage
• circuit::deferral::hook::decommit::MerkleDecommitAir
• circuit::deferral::hook::decommit::MerkleDecommitCols
• circuit::deferral::hook::decommit::MerkleDecommitTraceCtx
• circuit::deferral::hook::onion::OnionHashAir
• circuit::deferral::hook::onion::OnionHashCols
• circuit::deferral::hook::onion::OnionTraceCtx
• circuit::deferral::hook::verifier::DeferralHookPvsAir
• circuit::deferral::hook::verifier::DeferralHookPvsCols
• circuit::deferral::hook::verifier::DeferralHookVerifierTraceCtx
• circuit::deferral::inner::DeferralInnerCircuit
• circuit::deferral::inner::DeferralInnerPreCtx
• circuit::deferral::inner::DeferralInnerTraceGenImpl
• circuit::deferral::inner::bus::DefPvsConsistencyBus
• circuit::deferral::inner::bus::DefPvsConsistencyMessage
• circuit::deferral::inner::bus::InputOrMerkleCommitBus
• circuit::deferral::inner::bus::InputOrMerkleCommitMessage
• circuit::deferral::inner::def_pvs::DeferralAggPvsAir
• circuit::deferral::inner::def_pvs::DeferralAggPvsCols
• circuit::deferral::inner::def_pvs::DeferralAggPvsTraceCtx
• circuit::deferral::inner::input::InputCommitAir
• circuit::deferral::inner::input::InputCommitCols
• circuit::deferral::inner::verifier::DeferralVerifierPvsAir
• circuit::deferral::inner::verifier::DeferralVerifierPvsCols
• circuit::deferral::inner::verifier::DeferralVerifierPvsTraceCtx
• circuit::inner::InnerCircuit
• circuit::inner::InnerTraceGenImpl
• circuit::inner::bus::PvsAirConsistencyBus
• circuit::inner::bus::PvsAirConsistencyMessage
• circuit::inner::def_pvs::DeferralPvsAir
• circuit::inner::def_pvs::DeferralPvsCols
• circuit::inner::unset::UnsetPvsAir
• circuit::inner::unset::UnsetPvsCols
• circuit::inner::verifier::VerifierCombinedPvs
• circuit::inner::verifier::VerifierDeferralCols
• circuit::inner::verifier::VerifierPvsAir
• circuit::inner::verifier::VerifierPvsCols
• circuit::inner::vm_pvs::VmPvsAir
• circuit::inner::vm_pvs::VmPvsCols
• circuit::root::RootCircuit
• circuit::root::RootTraceGenImpl
• circuit::root::RootVerifierPvs
• circuit::root::bus::DeferralAccPathBus
• circuit::root::bus::DeferralAccPathMessage
• circuit::root::bus::DeferralMerkleRootsBus
• circuit::root::bus::DeferralMerkleRootsMessage
• circuit::root::bus::MemoryMerkleCommitBus
• circuit::root::bus::MemoryMerkleCommitMessage
• circuit::root::commit::UserPvsCommitAir
• circuit::root::def_paths::DeferralAccMerklePathsAir
• circuit::root::def_paths::DeferralAccMerklePathsCols
• circuit::root::memory::UserPvsInMemoryAir
• circuit::root::memory::UserPvsInMemoryCols
• circuit::root::verifier::RootDefVerifierCols
• circuit::root::verifier::RootVerifierCombinedPvs
• circuit::root::verifier::RootVerifierPvsAir
• circuit::root::verifier::RootVerifierPvsCols
• circuit::subair::HashSliceCtx
• circuit::subair::HashSliceSubAir
• circuit::subair::MerklePathRowView
• circuit::subair::MerklePathSubAir
• circuit::subair::MerklePathSubAirContext
• circuit::subair::MerkleRootBus
• circuit::subair::MerkleRootMessage
• circuit::subair::MerkleTreeCols
• circuit::subair::MerkleTreeInternalBus
• circuit::subair::MerkleTreeInternalMessage
• circuit::subair::MerkleTreeSubAir
• prover::DeferralCircuitProverKey
• prover::DeferralHookProver
• prover::DeferralInnerProver
• prover::InnerAggregationProver
• prover::RootProver

Enums

• circuit::deferral::inner::verifier::DeferralChildLevel
• circuit::inner::ProofsType
• circuit::inner::verifier::VerifierChildLevel
• circuit::inner::verifier::VerifierDeferralConfig
• prover::ChildVkKind
• prover::DeferralChildVkKind

Traits

• circuit::Circuit
• circuit::deferral::hook::DeferralHookTraceGen
• circuit::deferral::inner::DeferralInnerTraceGen
• circuit::inner::InnerTraceGen
• circuit::root::RootTraceGen
• prover::DeferralCircuitProver

Functions

• circuit::deferral::dummy::dummy_deferral_circuit_vk
• circuit::deferral::hook::decommit::generate_proving_ctx
• circuit::deferral::hook::onion::generate_proving_ctx
• circuit::deferral::hook::verifier::def_circuit_commit_from_verifier_pvs
• circuit::deferral::hook::verifier::generate_proving_ctx
• circuit::deferral::inner::def_pvs::generate_proving_ctx
• circuit::deferral::inner::input::generate_proving_ctx
• circuit::deferral::inner::verifier::generate_proving_ctx
• circuit::deferral::utils::def_leaf_compress
• circuit::inner::def_pvs::generate_proving_ctx
• circuit::inner::unset::generate_proving_ctx
• circuit::inner::verifier::generate_proving_ctx
• circuit::inner::vm_pvs::generate_proving_ctx
• circuit::root::commit::generate_proving_ctx
• circuit::root::def_paths::generate_proving_input
• circuit::root::memory::generate_proving_input
• circuit::root::verifier::generate_proving_ctx
• circuit::subair::generate_cols_from_leaf_children
• circuit::subair::hash_slice_trace
• circuit::utils::assert_vk_commit_eq
• circuit::utils::assert_vk_commit_unset
• circuit::utils::vk_commit_components
• prover::debug_constraints
• prover::engine_device_ctx
• utils::digests_to_poseidon2_input
• utils::pad_slice_to_poseidon2_input
• utils::poseidon2_input_to_digests
• utils::zero_hash
• utils::zero_hashes_from_depth_one

Type Aliases

• RootSC
• SC
• circuit::deferral::hook::DeferralIoCommit
• circuit::deferral::hook::decommit::IoCommit
• circuit::deferral::hook::onion::IoCommit
• prover::DeferralHookCpuProver
• prover::DeferralHookGpuProver
• prover::DeferralInnerCpuProver
• prover::DeferralInnerGpuProver
• prover::InnerCpuProver
• prover::InnerGpuProver
• prover::RootCpuProver
• prover::RootGpuProver

Constants

• COMMIT_NUM_BYTES
• circuit::deferral::DEF_AGG_PVS_AIR_ID
• circuit::deferral::DEF_AGG_VERIFIER_AIR_ID
• circuit::deferral::DEF_CIRCUIT_PVS_AIR_ID
• circuit::deferral::DEF_HOOK_PVS_AIR_ID
• circuit::deferral::DEF_INTERNAL_TAG
• circuit::deferral::DEF_LEAF_TAG
• circuit::inner::app::CONNECTOR_AIR_ID
• circuit::inner::app::MERKLE_AIR_ID
• circuit::inner::app::PROGRAM_AIR_ID
• circuit::inner::app::PROGRAM_CACHED_TRACE_INDEX
• circuit::root::NUM_DIGESTS_IN_VM_COMMIT
• circuit::root::USER_PVS_COMMIT_AIR_ID