1use std::env;
2
3use openvm_sdk::config::{AppConfig, SdkVmConfig, DEFAULT_APP_LOG_BLOWUP, DEFAULT_LEAF_LOG_BLOWUP};
4use openvm_stark_sdk::config::FriParameters;
5
6pub const DEFAULT_MANIFEST_DIR: &str = ".";
7
8pub const DEFAULT_APP_PK_NAME: &str = "app.pk";
9pub const DEFAULT_APP_VK_NAME: &str = "app.vk";
10
11pub fn default_agg_stark_pk_path() -> String {
12 env::var("HOME").unwrap() + "/.openvm/agg_stark.pk"
13}
14
15pub fn default_agg_stark_vk_path() -> String {
16 env::var("HOME").unwrap() + "/.openvm/agg_stark.vk"
17}
18
19pub fn default_agg_halo2_pk_path() -> String {
20 env::var("HOME").unwrap() + "/.openvm/agg_halo2.pk"
21}
22
23pub fn default_asm_path() -> String {
24 env::var("HOME").unwrap() + "/.openvm/root.asm"
25}
26
27pub fn default_params_dir() -> String {
28 env::var("HOME").unwrap() + "/.openvm/params/"
29}
30
31pub fn default_evm_halo2_verifier_path() -> String {
32 env::var("HOME").unwrap() + "/.openvm/halo2/"
33}
34
35pub fn default_app_config() -> AppConfig<SdkVmConfig> {
36 AppConfig {
37 app_fri_params: FriParameters::standard_with_100_bits_conjectured_security(
38 DEFAULT_APP_LOG_BLOWUP,
39 )
40 .into(),
41 app_vm_config: SdkVmConfig::builder()
42 .system(Default::default())
43 .rv32i(Default::default())
44 .rv32m(Default::default())
45 .io(Default::default())
46 .build(),
47 leaf_fri_params: FriParameters::standard_with_100_bits_conjectured_security(
48 DEFAULT_LEAF_LOG_BLOWUP,
49 )
50 .into(),
51 compiler_options: Default::default(),
52 }
53}