Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

feat: add sushi example #317

Merged
merged 11 commits into from
Oct 25, 2024
Merged

feat: add sushi example #317

merged 11 commits into from
Oct 25, 2024

Conversation

aw-sxt
Copy link
Contributor

@aw-sxt aw-sxt commented Oct 25, 2024

Rationale for this change

Add sushi example to improve documentation.

What changes are included in this PR?

  • added sushi example

Are these changes tested?

Yes

Parsing the query: SELECT * FROM fish...
Done in 3.734125 ms.
Generating proof...Done in 155.35108400000001 ms.
Verifying proof...Verified in 47.697167 ms.
Query Result:
OwnedTable { table: {Identifier { name: "nameen" }: VarChar(["Tuna", "Tuna", "Tuna", "Bonito", "Yellowtail", "Salmon", "Sea Bream", "Sea Bass", "Mackerel", "Sardine", "Scallops", "Ark-shell clams"]), Identifier { name: "nameja" }: VarChar(["Maguro", "Maguro", "Maguro", "Katsuo", "Hamachi", "Salmon", "Tai", "Suzuki", "Aji", "Iwashi", "Hotate", "Akagai"]), Identifier { name: "kinden" }: VarChar(["Lean Red Meat", "Medium Fat Read Meat", "Fatty Red Meat", "Red Meat", "Red Meat", "White Fish", "White Fish", "White Fish", "Silver Skinned", "Silver Skinned", "Shellfish", "Shellfish"]), Identifier { name: "kindja" }: VarChar(["Akami", "Toro", "Otoro", "Akami", "Akami", "Shiromi", "Shiromi", "Shiromi", "Hikarimono", "Hikarimono", "Kai", "Kai"]), Identifier { name: "priceperpound" }: BigInt([25, 65, 115, 20, 27, 17, 32, 28, 14, 11, 26, 29])} }
Parsing the query: SELECT COUNT(*) FROM fish WHERE nameEn = 'Tuna'...
Done in 3.082333 ms.
Generating proof...Done in 67.26070800000001 ms.
Verifying proof...Verified in 18.704874999999998 ms.
Query Result:
OwnedTable { table: {Identifier { name: "__count__" }: BigInt([3])} }
Parsing the query: SELECT kindEn FROM fish WHERE kindJa = 'Otoro'...
Done in 0.718417 ms.
Generating proof...Done in 63.59820800000001 ms.
Verifying proof...Verified in 20.705375 ms.
Query Result:
OwnedTable { table: {Identifier { name: "kinden" }: VarChar(["Fatty Red Meat"])} }
Parsing the query: SELECT kindEn FROM fish WHERE kindJa = 'Otoro'...
Done in 0.547541 ms.
Generating proof...Done in 61.422833000000004 ms.
Verifying proof...Verified in 21.06175 ms.
Query Result:
OwnedTable { table: {Identifier { name: "kinden" }: VarChar(["Fatty Red Meat"])} }
Parsing the query: SELECT * FROM fish WHERE pricePerPound > 25 AND pricePerPound < 75...
Done in 1.942583 ms.
Generating proof...Done in 115.769708 ms.
Verifying proof...Verified in 32.798791 ms.
Query Result:
OwnedTable { table: {Identifier { name: "nameen" }: VarChar(["Tuna", "Yellowtail", "Sea Bream", "Sea Bass", "Scallops", "Ark-shell clams"]), Identifier { name: "nameja" }: VarChar(["Maguro", "Hamachi", "Tai", "Suzuki", "Hotate", "Akagai"]), Identifier { name: "kinden" }: VarChar(["Medium Fat Read Meat", "Red Meat", "White Fish", "White Fish", "Shellfish", "Shellfish"]), Identifier { name: "kindja" }: VarChar(["Toro", "Akami", "Shiromi", "Shiromi", "Kai", "Kai"]), Identifier { name: "priceperpound" }: BigInt([65, 27, 32, 28, 26, 29])} }
Parsing the query: SELECT kindJa, COUNT(*) FROM fish GROUP BY kindJa...
Done in 1.163541 ms.
Generating proof...Done in 60.395042000000004 ms.
Verifying proof...Verified in 18.322499999999998 ms.
Query Result:
OwnedTable { table: {Identifier { name: "kindja" }: VarChar(["Akami", "Hikarimono", "Kai", "Otoro", "Shiromi", "Toro"]), Identifier { name: "__count__" }: BigInt([3, 2, 2, 1, 3, 1])} }
Parsing the query: SELECT kindJa, pricePerPound FROM fish WHERE nameEn = 'Tuna' ORDER BY pricePerPound ASC...
Done in 1.0535830000000002 ms.
Generating proof...Done in 64.5145 ms.
Verifying proof...Verified in 21.811167 ms.
Query Result:
OwnedTable { table: {Identifier { name: "kindja" }: VarChar(["Akami", "Toro", "Otoro"]), Identifier { name: "priceperpound" }: BigInt([25, 65, 115])} }

@aw-sxt aw-sxt merged commit df1d799 into main Oct 25, 2024
12 checks passed
@aw-sxt aw-sxt deleted the feat/add-sushi-example branch October 25, 2024 02:44
Copy link

🎉 This PR is included in version 0.33.14 🎉

The release is available on GitHub release

Your semantic-release bot 📦🚀

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants