List of all items

Structs

• static_verifier::DefaultStaticVerifierPvHandler
• static_verifier::StaticVerifierConfig
• 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

Traits

• static_verifier::StaticVerifierPvHandler

Functions

• 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
• verifier::utils::compress_babybear_var_to_bn254

Type Aliases

• C
• F
• RootSC
• SC