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
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