Module default 

Constants

DEFAULT_APP_PK_NAME

DEFAULT_APP_VK_NAME

DEFAULT_MANIFEST_DIR

Functions

default_agg_halo2_pk_path

default_agg_stark_pk_path

default_agg_stark_vk_path

default_app_config

default_asm_path

default_evm_halo2_verifier_path

default_params_dir