feat: update to provable params

Author: zlangley

Cargo.lock

@@ -7,7 +7,6 @@
 
 [app_vm_config.modular]
 supported_moduli = [
-    "1000000000000000003",
     # secp256k1
     "115792089237316195423570985008687907853269984665640564039457584007908834671663", # coordinate
     "115792089237316195423570985008687907852837564279074904382605163141518161494337", # scalar
@@ -22,7 +21,6 @@ supported_moduli = [
     "52435875175126190479447740508185965837690552500527637822603658699938581184513", # scalar
     # 2^61 - 1
     "2305843009213693951",
-    "7",
 ]
 
 [app_vm_config.fp2]

benchmarks/guest/kitchen-sink/openvm.toml

@@ -1,4 +1,4 @@
 // This file is automatically generated by cargo openvm. Do not rename or edit.
-openvm_algebra_guest::moduli_macros::moduli_init! { "1000000000000000003", "115792089237316195423570985008687907853269984665640564039457584007908834671663", "115792089237316195423570985008687907852837564279074904382605163141518161494337", "115792089210356248762697446949407573530086143415290314195533631308867097853951", "115792089210356248762697446949407573529996955224135760342422259061068512044369", "21888242871839275222246405745257275088696311157297823662689037894645226208583", "21888242871839275222246405745257275088548364400416034343698204186575808495617", "4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787", "52435875175126190479447740508185965837690552500527637822603658699938581184513", "2305843009213693951", "7" }
-openvm_algebra_guest::complex_macros::complex_init! { "Bn254Fp2" { mod_idx = 5 }, "Bls12_381Fp2" { mod_idx = 7 } }
+openvm_algebra_guest::moduli_macros::moduli_init! { "115792089237316195423570985008687907853269984665640564039457584007908834671663", "115792089237316195423570985008687907852837564279074904382605163141518161494337", "115792089210356248762697446949407573530086143415290314195533631308867097853951", "115792089210356248762697446949407573529996955224135760342422259061068512044369", "21888242871839275222246405745257275088696311157297823662689037894645226208583", "21888242871839275222246405745257275088548364400416034343698204186575808495617", "4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787", "52435875175126190479447740508185965837690552500527637822603658699938581184513", "2305843009213693951" }
+openvm_algebra_guest::complex_macros::complex_init! { "Bn254Fp2" { mod_idx = 4 }, "Bls12_381Fp2" { mod_idx = 6 } }
 openvm_ecc_guest::sw_macros::sw_init! { "Secp256k1Point", "P256Point", "Bn254G1Affine", "Bls12_381G1Affine" }

benchmarks/guest/kitchen-sink/openvm_init.rs

@@ -23,8 +23,6 @@ use {
 
 // Note: these will all currently be represented as bytes32 even though they could be smaller
 openvm_algebra_guest::moduli_macros::moduli_declare! {
-    Seven { modulus = "7" },
-    Mod1e18 { modulus = "1000000000000000003" },
     Mersenne61 { modulus = "0x1fffffffffffffff" },
 }
 
@@ -67,7 +65,6 @@ fn materialize_ecc_chip<T: WeierstrassPoint + CyclicGroup>() {
 pub fn main() {
     // Since we don't explicitly call setup functions anymore, we must ensure every declared modulus
     // and curve chip is materialized.
-    materialize_modular_chip::<Mod1e18>();
     materialize_modular_chip::<Secp256k1Coord>();
     materialize_modular_chip::<Secp256k1Scalar>();
     materialize_modular_chip::<P256Coord>();
@@ -77,7 +74,6 @@ pub fn main() {
     materialize_modular_chip::<Bls12_381Fp>();
     materialize_modular_chip::<Bls12_381Scalar>();
     materialize_modular_chip::<Mersenne61>();
-    materialize_modular_chip::<Seven>();
 
     materialize_complex_chip!(Bn254Fp2, Bn254Fp);
     materialize_complex_chip!(Bls12_381Fp2, Bls12_381Fp);
@@ -87,14 +83,6 @@ pub fn main() {
     materialize_ecc_chip::<Bn254G1Affine>();
     materialize_ecc_chip::<Bls12_381G1Affine>();
 
-    let [one, six] = [1, 6].map(Seven::from_u32);
-    assert_eq!(one + six, Seven::ZERO);
-
-    let y = Mod1e18::from_u32(100);
-    let y = (&y * &y) * &y;
-    let y = y.clone() * y.clone() * y.clone();
-    assert_eq!(y + Mod1e18::from_u32(3), Mod1e18::ZERO);
-
     let mut bytes = [0u8; 32];
     bytes[7] = 1 << 5; // 2^61 = modulus + 1
     let mut res = Mersenne61::from_le_bytes_unchecked(&bytes); // No need to start from reduced representation

benchmarks/guest/kitchen-sink/src/main.rs

@@ -37,7 +37,7 @@ fn main() -> Result<()> {
 
     let n = 1 << 15; // STARK to calculate (2 ** 15)th Fibonacci number.
     let fib_chip = FibonacciChip::new(0, 1, n);
-    let engine = Poseidon2Engine::new(FriParameters::standard_with_100_bits_conjectured_security(
+    let engine = Poseidon2Engine::new(FriParameters::standard_with_100_bits_security(
         app_log_blowup,
     ));
 
@@ -52,8 +52,7 @@ fn main() -> Result<()> {
         let fib_ctx = fib_ctx.into_iter().map(cpu_proving_ctx_to_gpu).collect();
         let vdata = engine.run_test(fib_air, fib_ctx).unwrap();
         // Unlike other apps, this "app" does not have continuations enabled.
-        let app_fri_params =
-            FriParameters::standard_with_100_bits_conjectured_security(leaf_log_blowup);
+        let app_fri_params = FriParameters::standard_with_100_bits_security(leaf_log_blowup);
         let mut app_vm_config = NativeConfig::aggregation(
             DEFAULT_MAX_NUM_PUBLIC_VALUES,
             app_fri_params.max_constraint_degree().min(7),

benchmarks/prove/src/bin/verify_fibair.rs

@@ -99,15 +99,9 @@ impl BenchmarkCli {
             app_vm_config.as_mut().segmentation_limits.max_cells = max_cells;
         }
         AppConfig {
-            app_fri_params: FriParameters::standard_with_100_bits_conjectured_security(
-                app_log_blowup,
-            )
-            .into(),
+            app_fri_params: FriParameters::standard_with_100_bits_security(app_log_blowup).into(),
             app_vm_config,
-            leaf_fri_params: FriParameters::standard_with_100_bits_conjectured_security(
-                leaf_log_blowup,
-            )
-            .into(),
+            leaf_fri_params: FriParameters::standard_with_100_bits_security(leaf_log_blowup).into(),
             compiler_options: CompilerOptions {
                 enable_cycle_tracker: self.profiling,
                 ..Default::default()
@@ -124,7 +118,7 @@ impl BenchmarkCli {
 
         let [leaf_fri_params, internal_fri_params, root_fri_params] =
             [leaf_log_blowup, internal_log_blowup, root_log_blowup]
-                .map(FriParameters::standard_with_100_bits_conjectured_security);
+                .map(FriParameters::standard_with_100_bits_security);
 
         AggregationConfig {
             leaf_fri_params,

benchmarks/prove/src/util.rs

@@ -34,20 +34,16 @@ pub fn default_evm_halo2_verifier_path() -> String {
 
 pub fn default_app_config() -> AppConfig<SdkVmConfig> {
     AppConfig {
-        app_fri_params: FriParameters::standard_with_100_bits_conjectured_security(
-            DEFAULT_APP_LOG_BLOWUP,
-        )
-        .into(),
+        app_fri_params: FriParameters::standard_with_100_bits_security(DEFAULT_APP_LOG_BLOWUP)
+            .into(),
         app_vm_config: SdkVmConfig::builder()
             .system(Default::default())
             .rv32i(Default::default())
             .rv32m(Default::default())
             .io(Default::default())
             .build(),
-        leaf_fri_params: FriParameters::standard_with_100_bits_conjectured_security(
-            DEFAULT_LEAF_LOG_BLOWUP,
-        )
-        .into(),
+        leaf_fri_params: FriParameters::standard_with_100_bits_security(DEFAULT_LEAF_LOG_BLOWUP)
+            .into(),
         compiler_options: Default::default(),
     }
 }

crates/cli/src/default.rs

@@ -127,13 +127,13 @@ impl Default for AggregationConfig {
     fn default() -> Self {
         Self {
             max_num_user_public_values: DEFAULT_MAX_NUM_PUBLIC_VALUES,
-            leaf_fri_params: FriParameters::standard_with_100_bits_conjectured_security(
+            leaf_fri_params: FriParameters::standard_with_100_bits_security(
                 DEFAULT_LEAF_LOG_BLOWUP,
             ),
-            internal_fri_params: FriParameters::standard_with_100_bits_conjectured_security(
+            internal_fri_params: FriParameters::standard_with_100_bits_security(
                 DEFAULT_INTERNAL_LOG_BLOWUP,
             ),
-            root_fri_params: FriParameters::standard_with_100_bits_conjectured_security(
+            root_fri_params: FriParameters::standard_with_100_bits_security(
                 DEFAULT_ROOT_LOG_BLOWUP,
             ),
             profiling: false,
@@ -161,9 +161,7 @@ pub struct AppFriParams {
 impl Default for AppFriParams {
     fn default() -> Self {
         Self {
-            fri_params: FriParameters::standard_with_100_bits_conjectured_security(
-                DEFAULT_APP_LOG_BLOWUP,
-            ),
+            fri_params: FriParameters::standard_with_100_bits_security(DEFAULT_APP_LOG_BLOWUP),
         }
     }
 }
@@ -182,9 +180,7 @@ pub struct LeafFriParams {
 impl Default for LeafFriParams {
     fn default() -> Self {
         Self {
-            fri_params: FriParameters::standard_with_100_bits_conjectured_security(
-                DEFAULT_LEAF_LOG_BLOWUP,
-            ),
+            fri_params: FriParameters::standard_with_100_bits_security(DEFAULT_LEAF_LOG_BLOWUP),
         }
     }
 }

crates/sdk/src/config/mod.rs

@@ -33,7 +33,7 @@ use openvm_stark_sdk::{
     config::{
         baby_bear_poseidon2::BabyBearPoseidon2Engine,
         baby_bear_poseidon2_root::{BabyBearPoseidon2RootConfig, BabyBearPoseidon2RootEngine},
-        fri_params::standard_fri_params_with_100_bits_conjectured_security,
+        fri_params::standard_fri_params_with_100_bits_security,
         FriParameters,
     },
     engine::StarkFriEngine,
@@ -120,7 +120,7 @@ pub(super) fn dummy_internal_proof_riscv_app_vm(
     internal_exe: Arc<VmCommittedExe<SC>>,
     num_public_values: usize,
 ) -> Result<Proof<SC>, VirtualMachineError> {
-    let fri_params = standard_fri_params_with_100_bits_conjectured_security(1);
+    let fri_params = standard_fri_params_with_100_bits_security(1);
     let leaf_proof = dummy_leaf_proof_riscv_app_vm(leaf_vm_pk, num_public_values, fri_params)?;
     dummy_internal_proof(internal_vm_pk, internal_exe, leaf_proof)
 }

crates/sdk/src/keygen/dummy.rs

@@ -577,6 +577,6 @@ where
 // the actual trace heights of kitchen-sink leaf verification (except for
 // VariableRangeChecker, which has a fixed height).
 pub const NATIVE_MAX_TRACE_HEIGHTS: &[u32] = &[
-    4194304, 4, 128, 2097152, 8388608, 4194304, 262144, 2097152, 16777216, 2097152, 8388608,
-    262144, 2097152, 1048576, 4194304, 65536, 262144,
+    8388608, 8, 256, 4194304, 16777216, 8388608, 524288, 4194304, 33554432, 4194304, 16777216,
+    524288, 4194304, 2097152, 8388608, 131072, 524288,
 ];