temporary commit

powdr-labs · Oct 1, 2024 · 996dcea · 996dcea
1 parent 4602eaa
commit 996dcea
Show file tree

Hide file tree

Showing 9 changed files with 32 additions and 3 deletions.
diff --git a/output/commits.bin b/output/commits.bin
diff --git a/output/constants.bin b/output/constants.bin
diff --git a/output/fibonacci_analyzed.pil b/output/fibonacci_analyzed.pil
@@ -0,0 +1,11 @@
+    let N: int = 262144;
+namespace Fibonacci(262144);
+    col fixed ISLAST(i) { if i == N - 1 { 1 } else { 0 } };
+    col witness x;
+    col witness y;
+    Fibonacci::ISLAST * (Fibonacci::y' - 1) = 0;
+    Fibonacci::ISLAST * (Fibonacci::x' - 1) = 0;
+    (1 - Fibonacci::ISLAST) * (Fibonacci::x' - Fibonacci::y) = 0;
+    (1 - Fibonacci::ISLAST) * (Fibonacci::y' - (Fibonacci::x + Fibonacci::y)) = 0;
+namespace ;
+public out = Fibonacci::y(262143);
diff --git a/output/fibonacci_opt.pil b/output/fibonacci_opt.pil
@@ -0,0 +1,11 @@
+    let N: int = 262144;
+namespace Fibonacci(262144);
+    col fixed ISLAST(i) { if i == N - 1 { 1 } else { 0 } };
+    col witness x;
+    col witness y;
+    Fibonacci::ISLAST * (Fibonacci::y' - 1) = 0;
+    Fibonacci::ISLAST * (Fibonacci::x' - 1) = 0;
+    (1 - Fibonacci::ISLAST) * (Fibonacci::x' - Fibonacci::y) = 0;
+    (1 - Fibonacci::ISLAST) * (Fibonacci::y' - (Fibonacci::x + Fibonacci::y)) = 0;
+namespace ;
+public out = Fibonacci::y(262143);
diff --git a/output/fibonacci_proof.bin b/output/fibonacci_proof.bin
diff --git a/output/vkey.bin b/output/vkey.bin
diff --git a/params.bin b/params.bin
diff --git a/plonky3/src/stark.rs b/plonky3/src/stark.rs
@@ -3,8 +3,9 @@
 use p3_matrix::dense::RowMajorMatrix;
 
 use core::fmt;
-use std::iter::{once, repeat};
 use std::sync::Arc;
+use std::iter::{once, repeat};
+use std::time::Instant;
 
 use powdr_ast::analyzed::Analyzed;
 
@@ -187,6 +188,7 @@ where
 
         let proving_key = self.proving_key.as_ref();
 
+        let start = Instant::now();
         let proof = prove_with_key(
             &config,
             proving_key,
@@ -196,17 +198,20 @@ where
             &circuit,
             &stage_0_publics,
         );
+        let duration = start.elapsed();
+        println!("plonky3 prove duration is  {:?}", duration);
 
         let mut challenger = T::get_challenger();
 
         let verifying_key = self.verifying_key.as_ref();
-
+        
         let empty_public = vec![];
         let public_values = once(&stage_0_publics)
             .chain(repeat(&empty_public))
             .take(self.analyzed.stage_count())
             .collect();
 
+        let verificationstart = Instant::now();
         verify_with_key(
             &config,
             verifying_key,
@@ -216,6 +221,8 @@ where
             public_values,
         )
         .unwrap();
+        let verifyduration = verificationstart.elapsed();
+        println!("plonky3 verification duration is  {:?}", verifyduration);
         Ok(bincode::serialize(&proof).unwrap())
     }
 

diff --git a/test_data/pil/fibonacci.pil b/test_data/pil/fibonacci.pil
@@ -1,4 +1,4 @@
-let N = 32;
+let N = 262144;
 
 // This uses the alternative nomenclature as well.