cargo_openvm/
default.rs

1use openvm_sdk::config::{AppConfig, SdkVmConfig, DEFAULT_APP_LOG_BLOWUP, DEFAULT_LEAF_LOG_BLOWUP};
2use openvm_stark_sdk::config::FriParameters;
3
4pub const DEFAULT_MANIFEST_DIR: &str = ".";
5
6pub const DEFAULT_AGG_PK_PATH: &str = concat!(env!("HOME"), "/.openvm/agg.pk");
7pub const DEFAULT_VERIFIER_FOLDER: &str = concat!(env!("HOME"), "/.openvm/");
8pub const DEFAULT_PARAMS_DIR: &str = concat!(env!("HOME"), "/.openvm/params/");
9
10pub const DEFAULT_APP_CONFIG_PATH: &str = "./openvm.toml";
11pub const DEFAULT_APP_EXE_PATH: &str = "./openvm/app.vmexe";
12pub const DEFAULT_COMMITTED_APP_EXE_PATH: &str = "./openvm/committed_app_exe.bytes";
13pub const DEFAULT_APP_PK_PATH: &str = "./openvm/app.pk";
14pub const DEFAULT_APP_VK_PATH: &str = "./openvm/app.vk";
15pub const DEFAULT_APP_PROOF_PATH: &str = "./openvm/app.proof";
16pub const DEFAULT_EVM_PROOF_PATH: &str = "./openvm/evm.proof";
17
18pub fn default_app_config() -> AppConfig<SdkVmConfig> {
19    AppConfig {
20        app_fri_params: FriParameters::standard_with_100_bits_conjectured_security(
21            DEFAULT_APP_LOG_BLOWUP,
22        )
23        .into(),
24        app_vm_config: SdkVmConfig::builder()
25            .system(Default::default())
26            .rv32i(Default::default())
27            .rv32m(Default::default())
28            .io(Default::default())
29            .build(),
30        leaf_fri_params: FriParameters::standard_with_100_bits_conjectured_security(
31            DEFAULT_LEAF_LOG_BLOWUP,
32        )
33        .into(),
34        compiler_options: Default::default(),
35    }
36}