spaceandtimelabs / sxt-proof-of-sql

Space and Time | Proof of SQL
Other
2.65k stars 93 forks source link

feat: brands example #305

Closed henrymai closed 1 month ago

henrymai commented 1 month ago

Rationale for this change

Add an additional brands example to help improve documentation.

What changes are included in this PR?

brands example is added.

Are these changes tested?

Yes.

Parsing the query: SELECT COUNT(*) AS total_brands FROM global_brands...
Done in 0.324239 ms.
Generating proof...Done in 42.034217999999996 ms.
Verifying proof...Verified in 11.154853 ms.
Query Result:
Ok(OwnedTable { table: {Identifier { name: "total_brands" }: BigInt([25])} })
Parsing the query: SELECT Name FROM global_brands WHERE Founded < 1950...
Done in 0.410224 ms.
Generating proof...Done in 90.15787999999999 ms.
Verifying proof...Verified in 34.490026 ms.
Query Result:
Ok(OwnedTable { table: {Identifier { name: "name" }: VarChar(["Samsung", "Toyota", "Coca-Cola", "Mercedes-Benz", "Louis Vuitton", "BMW", "Disney", "Honda", "Pepsi", "Adidas", "Nestle", "Unilever", "Sony", "Volkswagen", "IKEA", "H&M", "Gucci"])} })
Parsing the query: SELECT Country, SUM(Revenue) AS total_revenue FROM global_brands GROUP BY Country ORDER BY total_revenue DESC LIMIT 5...
Done in 0.887756 ms.
Generating proof...Done in 54.226909 ms.
Verifying proof...Verified in 17.774898 ms.
Query Result:
Ok(OwnedTable { table: {Identifier { name: "country" }: VarChar(["United States", "Germany", "Japan", "South Korea", "Switzerland"]), Identifier { name: "total_revenue" }: Decimal75(Precision(20), 10, [MontScalar(BigInt([16337200000000, 0, 0, 0])), MontScalar(BigInt([5476100000000, 0, 0, 0])), MontScalar(BigInt([4926200000000, 0, 0, 0])), MontScalar(BigInt([2007300000000, 0, 0, 0])), MontScalar(BigInt([944200000000, 0, 0, 0]))])} })
github-actions[bot] commented 1 month ago

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

The release is available on GitHub release

Your semantic-release bot :package::rocket: