List of all items

Structs

• DeferralInput
• GenericSdk
• SC
• StdIn
• builder::GenericSdkBuilder
• config::AggregationConfig
• config::AggregationSystemParams
• config::AggregationTreeConfig
• config::AppConfig
• config::Halo2Config
• halo2_params::CacheHalo2ParamsReader
• keygen::AggPrefixProvingKey
• keygen::AggProvingKey
• keygen::AppProvingKey
• keygen::AppVerifyingKey
• keygen::DeferralCircuitProvingKey
• keygen::DeferralProvingKey
• keygen::Halo2ProvingKey
• keygen::RootProvingKey
• keygen::SdkCachedProvingKey
• prover::AggProver
• prover::AppProver
• prover::DeferralAggProver
• prover::DeferralHookCommits
• prover::EvmProver
• prover::Halo2Prover
• prover::InternalLayerMetadata
• prover::MultiDeferralCircuitProver
• prover::RootProver
• prover::SingleDeferralCircuitProver
• prover::SingleDeferralCircuitResult
• prover::StarkProver
• prover::vm::types::VmProvingKey
• types::AppExecutionCommit
• types::EvmHalo2Verifier
• types::EvmProof
• types::EvmVerifierByteCode
• types::ProofData
• types::VerificationBaselineJson
• types::VersionedVmStarkProof
• types::VkCommitJson

Enums

• DeferralSetup
• SdkError
• prover::DeferralProof
• types::EvmProofConversionError
• types::ExecutableFormat

Functions

• cargo_command
• 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_halo2_pk_from_file
• fs::read_object_from_file
• fs::write_evm_halo2_verifier_to_folder
• fs::write_halo2_pk_to_file
• fs::write_object_to_file
• fs::write_to_file_bytes
• fs::write_to_file_json
• get_rustup_toolchain_name
• keygen::dummy::generate_dummy_root_proof
• keygen::static_verifier::keygen_halo2
• keygen::static_verifier::keygen_static_verifier
• prover::compute_deferral_merkle_proofs
• prover::verify_app_proof
• prover::verify_app_proof_with_expected_exe_commit
• prover::vm::new_local_prover
• types::encode_raw_evm_proof_calldata
• util::check_max_constraint_degrees

Type Aliases

• CpuSdk
• DefaultStarkEngine
• F
• GpuSdk

Constants

• OPENVM_VERSION
• config::DEFAULT_APP_LOG_BLOWUP
• config::DEFAULT_APP_L_SKIP
• config::DEFAULT_INTERNAL_LOG_BLOWUP
• config::DEFAULT_LEAF_LOG_BLOWUP
• config::DEFAULT_ROOT_LOG_BLOWUP
• config::MAX_NUM_CHILDREN_INTERNAL
• config::MAX_NUM_CHILDREN_LEAF
• 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