From e235b6b656f6f5aa5565867d587127978c55491a Mon Sep 17 00:00:00 2001 From: David Montemayor Date: Wed, 23 Oct 2024 08:16:02 -0700 Subject: [PATCH] feat: add complex query to `census` example --- crates/proof-of-sql/examples/census/main.rs | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/crates/proof-of-sql/examples/census/main.rs b/crates/proof-of-sql/examples/census/main.rs index 4238ed5ef..3f3f31e25 100644 --- 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, + ); }