Module default 

Constants

APP_PROOF_EXT

BASELINE_JSON_EXT

COMMIT_JSON_EXT

DEFAULT_AGG_PREFIX_PK_NAME

DEFAULT_APP_PK_NAME

DEFAULT_APP_VK_NAME

DEFAULT_MANIFEST_DIR

EVM_PROOF_EXT

OPENVM_CONFIG_FILENAME

STARK_PROOF_EXT

VMEXE_EXT

Functions

default_app_config

default_evm_halo2_verifier_path

default_halo2_pk_path

default_internal_recursive_pk_path

default_internal_recursive_vk_path

default_params_dir

default_root_pk_path