Module common

Modules

non_leaf

types

Functions

assert_or_assign_app_and_leaf_commit_pvs

assert_or_assign_connector_pvs

assert_or_assign_memory_pvs

assert_required_air_for_agg_vm_present

Asserts that the aggregation VM proof contains the required fixed AIR slots.

assert_required_air_for_app_vm_present

Asserts that the app VM proof contains the required fixed AIR slots.

assert_single_segment_vm_exit_successfully

Asserts that a single segment VM exits successfully.

assert_single_segment_vm_exit_successfully_with_connector_air_id

Safety

get_connector_pvs

Safety

get_memory_pvs

Safety

get_program_commit