proof-of-sql 0.129.1

High performance zero knowledge (ZK) prover for SQL.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94

use super::test_utility::*;
use crate::{
    base::database::{
        owned_table_utility::*, table_utility::*, ColumnField, ColumnType, TableRef,
        TableTestAccessor,
    },
    sql::proof::{exercise_verification, VerifiableQueryResult},
};
use blitzar::proof::InnerProductProof;
use bumpalo::Bump;

#[test]
fn we_can_create_and_prove_an_empty_table_exec() {
    let alloc = Bump::new();
    let table_ref = TableRef::new("namespace", "table_name");
    let plan = table_exec(
        table_ref.clone(),
        vec![ColumnField::new("a".into(), ColumnType::BigInt)],
    );
    let accessor = TableTestAccessor::<InnerProductProof>::new_from_table(
        table_ref.clone(),
        table([borrowed_bigint("a", [0_i64; 0], &alloc)]),
        0_usize,
        (),
    );
    let verifiable_res =
        VerifiableQueryResult::<InnerProductProof>::new(&plan, &accessor, &(), &[]).unwrap();
    let res = verifiable_res
        .verify(&plan, &accessor, &(), &[])
        .unwrap()
        .table;
    let expected = owned_table([bigint("a", [0_i64; 0])]);
    assert_eq!(res, expected);
}

#[test]
fn we_can_create_and_prove_a_table_exec() {
    let alloc = Bump::new();
    let table_ref = TableRef::new("namespace", "table_name");
    let plan = table_exec(
        table_ref.clone(),
        vec![
            ColumnField::new("language_rank".into(), ColumnType::BigInt),
            ColumnField::new("language_name".into(), ColumnType::VarChar),
            ColumnField::new("space_and_time".into(), ColumnType::VarChar),
        ],
    );
    let accessor = TableTestAccessor::<InnerProductProof>::new_from_table(
        table_ref.clone(),
        table([
            borrowed_bigint("language_rank", [0_i64, 1, 2, 3], &alloc),
            borrowed_varchar(
                "language_name",
                ["English", "Español", "Português", "Français"],
                &alloc,
            ),
            borrowed_varchar(
                "space_and_time",
                [
                    "space and time",
                    "espacio y tiempo",
                    "espaço e tempo",
                    "espace et temps",
                ],
                &alloc,
            ),
        ]),
        0_usize,
        (),
    );
    let verifiable_res = VerifiableQueryResult::new(&plan, &accessor, &(), &[]).unwrap();
    exercise_verification(&verifiable_res, &plan, &accessor, &table_ref);
    let res = verifiable_res
        .verify(&plan, &accessor, &(), &[])
        .unwrap()
        .table;
    let expected = owned_table([
        bigint("language_rank", [0, 1, 2, 3]),
        varchar(
            "language_name",
            ["English", "Español", "Português", "Français"],
        ),
        varchar(
            "space_and_time",
            [
                "space and time",
                "espacio y tiempo",
                "espaço e tempo",
                "espace et temps",
            ],
        ),
    ]);
    assert_eq!(res, expected);
}