From dc122ed68fd7e4469a1053d8d7a3081b4e4aa53f Mon Sep 17 00:00:00 2001 From: AlejandroLanaspa Date: Wed, 23 Oct 2024 11:58:38 +0200 Subject: [PATCH] feat: add harder queries to test --- crates/proof-of-sql/examples/movies/main.rs | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/crates/proof-of-sql/examples/movies/main.rs b/crates/proof-of-sql/examples/movies/main.rs index a5cf40c84..3b8fb5123 100644 --- a/crates/proof-of-sql/examples/movies/main.rs +++ b/crates/proof-of-sql/examples/movies/main.rs @@ -126,4 +126,12 @@ fn main() { &prover_setup, &verifier_setup, ); + + // Query 4: Find movies released in the 90s with a rating above 8.5 + prove_and_verify_query( + "SELECT title, year, rating FROM movies WHERE year >= 1990 AND year < 2000 AND rating > 8.5 ORDER BY rating DESC", + &accessor, + &prover_setup, + &verifier_setup, + ); } \ No newline at end of file