feat: add complex query to census example

spaceandtimelabs · Oct 23, 2024 · 83aa643 · 83aa643
1 parent a83fe51
commit 83aa643
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/crates/proof-of-sql/examples/census/main.rs b/crates/proof-of-sql/examples/census/main.rs
@@ -118,4 +118,10 @@ fn main() {
         &prover_setup,
         &verifier_setup,
     );
+    prove_and_verify_query(
+        "SELECT Geography, COUNT(*) AS num_geographies FROM income WHERE Households_Estimate_total > 2000000 GROUP BY Geography ORDER BY num_geographies DESC LIMIT 5",
+        &accessor,
+        &prover_setup,
+        &verifier_setup,
+    );
 }