Skip to content

Commit

Permalink
feat: add harder queries to test
Browse files Browse the repository at this point in the history
  • Loading branch information
AlejandroLanaspa committed Oct 23, 2024
1 parent b72d449 commit dc122ed
Showing 1 changed file with 8 additions and 0 deletions.
8 changes: 8 additions & 0 deletions crates/proof-of-sql/examples/movies/main.rs
Original file line number Diff line number Diff line change
Expand Up @@ -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,
);
}

0 comments on commit dc122ed

Please sign in to comment.