spaceandtimelabs / sxt-proof-of-sql

Space and Time | Proof of SQL
Other
2.75k stars 96 forks source link

feat: dog_breeds example #300

Closed henrymai closed 1 month ago

henrymai commented 1 month ago

Rationale for this change

Add an additional dog_breeds example to help improve documentation.

What changes are included in this PR?

dog_breeds example is added.

Are these changes tested?

Yes.

Parsing the query: SELECT COUNT(*) AS total_breeds FROM breeds...
Done in 0.375095 ms.
Generating proof...Done in 37.559131 ms.
Verifying proof...Verified in 12.053492 ms.
Query Result:
Ok(OwnedTable { table: {Identifier { name: "total_breeds" }: BigInt([25])} })
Parsing the query: SELECT Name FROM breeds WHERE Size = 'Large'...
Done in 0.639886 ms.
Generating proof...Done in 71.741361 ms.
Verifying proof...Verified in 28.358727000000002 ms.
Query Result:
Ok(OwnedTable { table: {Identifier { name: "name" }: VarChar(["Labrador Retriever", "German Shepherd", "Bernese Mountain Dog", "Rottweiler", "Golden Retriever", "Great Dane", "Akita", "Doberman Pinscher", "Irish Setter", "Alaskan Malamute"])} })
Parsing the query: SELECT Origin, COUNT(*) AS breed_count FROM breeds GROUP BY Origin ORDER BY breed_count DESC LIMIT 5...
Done in 0.9029809999999999 ms.
Generating proof...Done in 71.238557 ms.
Verifying proof...Verified in 27.918471 ms.
Query Result:
Ok(OwnedTable { table: {Identifier { name: "origin" }: VarChar(["Germany", "United Kingdom", "China", "Japan", "United States"]), Identifier { name: "breed_count" }: BigInt([6, 6, 2, 2, 2])} })
github-actions[bot] commented 1 month ago

:tada: This PR is included in version 0.33.9 :tada:

The release is available on GitHub release

Your semantic-release bot :package::rocket: