back to ed25519

succinctlabs · Feb 10, 2024 · c1075a4 · c1075a4
1 parent 4a0e79b
commit c1075a4
Show file tree

Hide file tree

Showing 4 changed files with 9 additions and 2 deletions.
diff --git a/core/src/field/mod.rs b/core/src/field/mod.rs
@@ -96,7 +96,7 @@ impl<F: PrimeField> MachineAir<F> for FieldLTUChip {
     }
 }
 
-pub const LTU_NB_BITS: usize = 22;
+pub const LTU_NB_BITS: usize = 25;
 
 impl<F: Field> BaseAir<F> for FieldLTUChip {
     fn width(&self) -> usize {

diff --git a/core/src/stark/machine.rs b/core/src/stark/machine.rs
@@ -54,6 +54,10 @@ pub struct ProverData<SC: StarkGenericConfig> {
     pub preprocessed_data: Option<PcsProverData<SC>>,
 }
 
+pub struct PublicParameters<SC: StarkGenericConfig> {
+    pub preprocessed_commitment: Option<Com<SC>>,
+}
+
 pub struct RiscvStark<SC: StarkGenericConfig> {
     config: SC,
 

diff --git a/core/src/utils/env.rs b/core/src/utils/env.rs
@@ -4,7 +4,7 @@
 pub fn shard_size() -> usize {
     let value = match std::env::var("SHARD_SIZE") {
         Ok(val) => val.parse().unwrap(),
-        Err(_) => 1 << 18,
+        Err(_) => 1 << 20,
     };
     assert!(value != 0 && (value & (value - 1)) == 0);
     value

diff --git a/core/src/utils/prove.rs b/core/src/utils/prove.rs
@@ -92,7 +92,10 @@ pub fn prove_core(runtime: &mut Runtime) -> crate::stark::Proof<BabyBearBlake3>
 
     // Verify the proof.
     let mut challenger = config.challenger();
+    let time = std::time::Instant::now();
     machine.verify(&mut challenger, &proof).unwrap();
+    let elapsed = time.elapsed().as_millis();
+    tracing::info!("verification time: {}ms", elapsed);
 
     proof
 }