List of all items

Structs

• DefaultStaticVerifierPvHandler
• GenericSdk
• IOpenVmHalo2Verifier::verifyCall
• IOpenVmHalo2Verifier::verifyReturn
• StdIn
• commit::AppExecutionCommit
• commit::CommitBytes
• commit::VmCommittedExe
• config::AggregationConfig
• config::AggregationTreeConfig
• config::AppConfig
• config::AppFriParams
• config::Halo2Config
• config::LeafFriParams
• config::SdkSystemConfig
• config::SdkVmBuilder
• config::SdkVmConfig
• config::SdkVmConfigBuilder
• config::SdkVmConfigInner
• config::SdkVmCpuBuilder
• config::SdkVmGpuBuilder
• config::UnitStruct
• keygen::AggProvingKey
• keygen::AggVerifyingKey
• keygen::AppProvingKey
• keygen::AppVerifyingKey
• keygen::Halo2ProvingKey
• keygen::RootVerifierProvingKey
• prover::AggStarkProver
• prover::AppProver
• prover::EvmHalo2Prover
• prover::Halo2Prover
• prover::LeafProvingController
• prover::RootVerifierLocalProver
• prover::StarkProver
• prover::VerifiedAppArtifacts
• prover::vm::types::VmProvingKey
• types::EvmHalo2Verifier
• types::EvmProof
• types::ProofData
• types::VersionedVmStarkProof

Enums

• IOpenVmHalo2Verifier::IOpenVmHalo2VerifierCalls
• SdkError
• config::SdkVmConfigInnerExecutor
• types::EvmProofConversionError
• types::ExecutableFormat

Traits

• codec::Decode
• codec::Encode
• config::TranspilerConfig

Functions

• codec::encode_slice
• commit::commit_app_exe
• fs::decode_from_file
• fs::encode_to_file
• fs::read_evm_halo2_verifier_from_folder
• fs::read_from_file_bytes
• fs::read_from_file_json
• fs::read_object_from_file
• fs::write_evm_halo2_verifier_to_folder
• fs::write_object_to_file
• fs::write_to_file_bytes
• fs::write_to_file_json
• keygen::_leaf_keygen
• keygen::asm::program_to_asm
• prover::verify_app_proof
• prover::vm::new_local_prover
• util::check_max_constraint_degrees

Type Aliases

• C
• CpuSdk
• DefaultStarkEngine
• F
• GpuSdk
• RootSC
• SC
• config::SdkVmConfigExecutor

Constants

• EVM_HALO2_VERIFIER_INTERFACE
• EVM_HALO2_VERIFIER_TEMPLATE
• OPENVM_VERSION
• config::DEFAULT_APP_LOG_BLOWUP
• config::DEFAULT_HALO2_VERIFIER_K
• config::DEFAULT_INTERNAL_LOG_BLOWUP
• config::DEFAULT_LEAF_LOG_BLOWUP
• config::DEFAULT_MAX_INTERNAL_WRAPPER_LAYERS
• config::DEFAULT_NUM_CHILDREN_INTERNAL
• config::DEFAULT_NUM_CHILDREN_LEAF
• config::DEFAULT_ROOT_LOG_BLOWUP
• config::SBOX_SIZE
• fs::EVM_HALO2_VERIFIER_BASE_NAME
• fs::EVM_HALO2_VERIFIER_INTERFACE_NAME
• fs::EVM_HALO2_VERIFIER_PARENT_NAME
• fs::EVM_VERIFIER_ARTIFACT_FILENAME
• types::NUM_BN254_ACCUMULATOR