List of all items

Structs

• Sdk
• StdIn
• commit::AppExecutionCommit
• config::AggConfig
• config::AggStarkConfig
• config::AppConfig
• config::AppFriParams
• config::Halo2Config
• config::LeafFriParams
• config::SdkSystemConfig
• config::SdkVmConfig
• config::SdkVmConfigBuilder
• config::UnitStruct
• keygen::AggProvingKey
• keygen::AggStarkProvingKey
• keygen::AppProvingKey
• keygen::AppVerifyingKey
• keygen::Halo2ProvingKey
• keygen::RootVerifierProvingKey
• keygen::perm::AirIdPermutation
• prover::AggStarkProver
• prover::AppProver
• prover::ContinuationProver
• prover::LeafProver
• prover::RootVerifierLocalProver
• prover::vm::ContinuationVmProof
• prover::vm::local::VmLocalProver
• prover::vm::types::VmProvingKey
• verifier::common::non_leaf::NonLeafVerifierVariables
• verifier::common::types::SpecialAirIds
• verifier::common::types::VmVerifierPvs
• verifier::internal::InternalVmVerifierConfig
• verifier::internal::types::InternalVmVerifierExtraPvs
• verifier::internal::types::InternalVmVerifierInput
• verifier::internal::types::InternalVmVerifierPvs
• verifier::leaf::LeafVmVerifierConfig
• verifier::leaf::types::LeafVmVerifierInput
• verifier::leaf::types::UserPublicValuesRootProof
• verifier::root::RootVmVerifierConfig
• verifier::root::types::RootVmVerifierInput
• verifier::root::types::RootVmVerifierPvs

Enums

• config::SdkVmConfigExecutor
• config::SdkVmConfigPeriphery

Traits

• prover::vm::AsyncContinuationVmProver
• prover::vm::AsyncSingleSegmentVmProver
• prover::vm::ContinuationVmProver
• prover::vm::SingleSegmentVmProver

Functions

• commit::commit_app_exe
• commit::generate_leaf_committed_exe
• fs::read_agg_pk_from_file
• fs::read_app_pk_from_file
• fs::read_app_proof_from_file
• fs::read_app_vk_from_file
• fs::read_evm_proof_from_file
• fs::read_evm_verifier_from_file
• fs::read_exe_from_file
• fs::write_agg_pk_to_file
• fs::write_app_pk_to_file
• fs::write_app_proof_to_file
• fs::write_app_vk_to_file
• fs::write_evm_proof_to_file
• fs::write_evm_verifier_to_file
• fs::write_exe_to_file
• keygen::leaf_keygen
• verifier::common::assert_or_assign_app_and_leaf_commit_pvs
• verifier::common::assert_or_assign_connector_pvs
• verifier::common::assert_or_assign_memory_pvs
• verifier::common::assert_required_air_for_agg_vm_present
• verifier::common::assert_required_air_for_app_vm_present
• verifier::common::assert_single_segment_vm_exit_successfully
• verifier::common::assert_single_segment_vm_exit_successfully_with_connector_air_id
• verifier::common::get_connector_pvs
• verifier::common::get_memory_pvs
• verifier::common::get_program_commit

Type Aliases

• NonRootCommittedExe