Please be sure to look over the pull request guidelines here: https://github.com/spaceandtimelabs/sxt-proof-of-sql/blob/main/CONTRIBUTING.md#submit-pr.

Please go through the following checklist

[ ] The PR title and commit messages adhere to guidelines here: https://github.com/spaceandtimelabs/sxt-proof-of-sql/blob/main/CONTRIBUTING.md. In particular ! is used if and only if at least one breaking change has been introduced.
[ ] I have run the ci check script with source scripts/run_ci_checks.sh.

Rationale for this change

What changes are included in this PR?

Are these changes tested?

Yes:

Parsing the query: SELECT COUNT() AS total_books FROM books... Done in 5.759542000000001 ms. Generating proof...Done in 258.379792 ms. Verifying proof...Verified in 82.497291 ms. Query Result: Ok(OwnedTable { table: {Identifier { name: "total_books" }: BigInt([10])} }) Parsing the query: SELECT title, author FROM books WHERE rating > 4.5... Done in 8.903875000000001 ms. Generating proof...Done in 350.96833399999997 ms. Verifying proof...Verified in 103.658958 ms. Query Result: Ok(OwnedTable { table: {Identifier { name: "title" }: VarChar(["Clean Code", "The Clean Coder", "Design Patterns", "Effective Java", "Introduction to Algorithms", "Code Complete"]), Identifier { name: "author" }: VarChar(["Robert C. Martin", "Robert C. Martin", "Erich Gamma", "Joshua Bloch", "Thomas H. Cormen", "Steve McConnell"])} }) Parsing the query: SELECT title, publication_year FROM books WHERE genre = 'Programming' AND publication_year > 2000... Done in 5.648333 ms. Generating proof...Done in 257.21125 ms. Verifying proof...Verified in 111.860208 ms. Query Result: Ok(OwnedTable { table: {Identifier { name: "title" }: VarChar(["Clean Code", "The Clean Coder", "Effective Java", "Code Complete"]), Identifier { name: "publication_year" }: BigInt([2008, 2011, 2008, 2004])} }) Parsing the query: SELECT author, COUNT() AS book_count FROM books GROUP BY author ORDER BY book_count DESC LIMIT 5... Done in 5.722208999999999 ms. Generating proof...Done in 181.42775 ms. Verifying proof...Verified in 79.493166 ms. Query Result: Ok(OwnedTable { table: {Identifier { name: "author" }: VarChar(["Robert C. Martin", "Andrew Hunt", "Erich Gamma", "Fred Brooks", "Joshua Bloch"]), Identifier { name: "book_count" }: BigInt([2, 1, 1, 1, 1])} })

spaceandtimelabs / sxt-proof-of-sql

feat: programming_books example #314

Please go through the following checklist

Rationale for this change

What changes are included in this PR?

Are these changes tested?