feat: add query parsing to prove_and_verify_query

spaceandtimelabs · Oct 25, 2024 · 40c45fd · 40c45fd
1 parent 005e18c
commit 40c45fd
Showing 1 changed file with 9 additions and 1 deletion.
diff --git a/crates/proof-of-sql/examples/stocks/main.rs b/crates/proof-of-sql/examples/stocks/main.rs
@@ -26,5 +26,13 @@ fn prove_and_verify_query(
     prover_setup: &ProverSetup,
     verifier_setup: &VerifierSetup,
 ) {
-    // Placeholder for query processing
+    println!("Parsing the query: {sql}...");
+    let now = Instant::now();
+    let query_plan = QueryExpr::<DynamicDoryCommitment>::try_new(
+        sql.parse().unwrap(),
+        "stocks".parse().unwrap(),
+        accessor,
+    )
+    .unwrap();
+    println!("Done in {} ms.", now.elapsed().as_secs_f64() * 1000.);
 }