feat: dinosaurs example

[henrymai]

Rationale for this change

Add an additional dinosaurs example to help improve documentation.

What changes are included in this PR?

dinosaurs example is added.

Are these changes tested?

Yes.

Parsing the query: SELECT COUNT(*) AS total_dinosaurs FROM dinosaurs...
Done in 0.33194799999999997 ms.
Generating proof...Done in 32.412333000000004 ms.
Verifying proof...Verified in 10.905069 ms.
Query Result:
Ok(OwnedTable { table: {Identifier { name: "total_dinosaurs" }: BigInt([10])} })
Parsing the query: SELECT name, weight_tons FROM dinosaurs WHERE diet = 'Carnivore' ORDER BY weight_tons DESC LIMIT 1...
Done in 0.482765 ms.
Generating proof...Done in 50.824058 ms.
Verifying proof...Verified in 22.844692 ms.
Query Result:
Ok(OwnedTable { table: {Identifier { name: "name" }: VarChar(["Spinosaurus"]), Identifier { name: "weight_tons" }: Decimal75(Precision(75), 30, [MontScalar(BigInt([1183593879870373888, 406575814682, 0, 0]))])} })
Parsing the query: SELECT name, length_meters FROM dinosaurs ORDER BY length_meters DESC LIMIT 3...
Done in 0.492819 ms.
Generating proof...Done in 50.134452 ms.
Verifying proof...Verified in 23.195921000000002 ms.
Query Result:
Ok(OwnedTable { table: {Identifier { name: "name" }: VarChar(["Diplodocus", "Brachiosaurus", "Spinosaurus"]), Identifier { name: "length_meters" }: Decimal75(Precision(75), 30, [MontScalar(BigInt([7950286782275256320, 1463672932855, 0, 0])), MontScalar(BigInt([2873342511969992704, 1409462824231, 0, 0])), MontScalar(BigInt([2367187759740747776, 813151629364, 0, 0]))])} })

[JayWhite2357]

Thanks!

The merge-base changed after approval.

The merge-base changed after approval.

[github-actions]

🎉 This PR is included in version 0.33.11 🎉

The release is available on GitHub release

Your semantic-release bot 📦🚀