Back to Sxt Proof Of Sql

Proof of SQL "Hello World"

crates/proof-of-sql-planner/examples/hello_world/README.md

0.129.1851 B
Original Source

Proof of SQL "Hello World"

This example demonstrates generating and verifying a proof of the query SELECT b FROM table WHERE a = 2 for the table:

ab
1hi
2hello
3there
2world

Run

bash
cargo run --example hello_world 

[!NOTE] To run this example without the blitzar (i.e., CPU only) feature:

bash
cargo run --example hello_world --no-default-features --features="test cpu-perf"

Output

Warming up GPU... 520.959485ms
Loading data... 3.229767ms
Parsing Query... 1.870256ms
Generating Proof... 467.45371ms
Verifying Proof... 7.106864ms
Valid proof!
Query result: OwnedTable { table: {Ident { value: "b", quote_style: None }: VarChar(["hello", "world"])} }