feat: add complex query to census example

spaceandtimelabs · Oct 23, 2024 · bc67d29 · bc67d29
1 parent 0b48da7
commit bc67d29
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,
+    );
 }