1use std::env;
2
3use openvm_sdk::config::AppConfig;
4use openvm_sdk_config::SdkVmConfig;
5use openvm_stark_sdk::config::{app_params_with_100_bits_security, MAX_APP_LOG_STACKED_HEIGHT};
6
7pub const DEFAULT_MANIFEST_DIR: &str = ".";
8
9pub const DEFAULT_APP_PK_NAME: &str = "app.pk";
10pub const DEFAULT_APP_VK_NAME: &str = "app.vk";
11pub const DEFAULT_AGG_PREFIX_PK_NAME: &str = "agg_prefix.pk";
12
13pub const VMEXE_EXT: &str = "vmexe";
14pub const OPENVM_CONFIG_FILENAME: &str = "openvm.toml";
15
16pub const APP_PROOF_EXT: &str = "app.proof";
17pub const STARK_PROOF_EXT: &str = "stark.proof";
18pub const EVM_PROOF_EXT: &str = "evm.proof";
19
20pub const COMMIT_JSON_EXT: &str = "commit.json";
21pub const BASELINE_JSON_EXT: &str = "baseline.json";
22
23pub fn default_params_dir() -> String {
24 env::var("HOME").unwrap() + "/.openvm/params/"
25}
26
27pub fn default_internal_recursive_pk_path() -> String {
28 env::var("HOME").unwrap() + "/.openvm/internal_recursive.pk"
29}
30
31pub fn default_internal_recursive_vk_path() -> String {
32 env::var("HOME").unwrap() + "/.openvm/internal_recursive.vk"
33}
34
35pub fn default_root_pk_path() -> String {
36 env::var("HOME").unwrap() + "/.openvm/root.pk"
37}
38
39pub fn default_halo2_pk_path() -> String {
40 env::var("HOME").unwrap() + "/.openvm/halo2.pk"
41}
42
43pub fn default_evm_halo2_verifier_path() -> String {
44 env::var("HOME").unwrap() + "/.openvm/halo2/"
45}
46
47pub fn default_app_config() -> AppConfig<SdkVmConfig> {
48 AppConfig {
49 app_vm_config: SdkVmConfig::builder()
50 .system(Default::default())
51 .rv32i(Default::default())
52 .rv32m(Default::default())
53 .io(Default::default())
54 .build(),
55 system_params: app_params_with_100_bits_security(MAX_APP_LOG_STACKED_HEIGHT),
56 }
57}