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
95

use super::compute_evaluation_vector;
use crate::base::{scalar::test_scalar::TestScalar, slice_ops};
use ark_poly::Polynomial;
use num_traits::{One, Zero};

#[test]
fn we_compute_the_correct_evaluation_vector_for_a_small_example() {
    let mut v = [TestScalar::zero(); 2];
    compute_evaluation_vector(&mut v, &[TestScalar::from(3u64)]);
    let expected_v = [
        TestScalar::one() - TestScalar::from(3u64),
        TestScalar::from(3u64),
    ];
    assert_eq!(v, expected_v);

    let mut v = [TestScalar::zero(); 4];
    compute_evaluation_vector(&mut v, &[TestScalar::from(3u64), TestScalar::from(4u64)]);
    let expected_v = [
        (TestScalar::one() - TestScalar::from(4u64)) * (TestScalar::one() - TestScalar::from(3u64)),
        (TestScalar::one() - TestScalar::from(4u64)) * TestScalar::from(3u64),
        TestScalar::from(4u64) * (TestScalar::one() - TestScalar::from(3u64)),
        TestScalar::from(4u64) * TestScalar::from(3u64),
    ];
    assert_eq!(v, expected_v);
}

#[test]
fn we_compute_the_evaluation_vectors_not_a_power_of_2() {
    let mut v = [TestScalar::zero(); 1];
    compute_evaluation_vector(&mut v, &[TestScalar::from(3u64)]);
    let expected_v = [TestScalar::one() - TestScalar::from(3u64)];
    assert_eq!(v, expected_v);

    let mut v = [TestScalar::zero(); 3];
    compute_evaluation_vector(&mut v, &[TestScalar::from(3u64), TestScalar::from(4u64)]);
    let expected_v = [
        (TestScalar::one() - TestScalar::from(4u64)) * (TestScalar::one() - TestScalar::from(3u64)),
        (TestScalar::one() - TestScalar::from(4u64)) * TestScalar::from(3u64),
        TestScalar::from(4u64) * (TestScalar::one() - TestScalar::from(3u64)),
    ];
    assert_eq!(v, expected_v);
}
#[test]
fn we_compute_the_evaluation_vectors_of_any_length() {
    let mut full_vec = [TestScalar::zero(); 16];
    let evaluation_point = [
        TestScalar::from(2u64),
        TestScalar::from(3u64),
        TestScalar::from(5u64),
        TestScalar::from(7u64),
    ];
    compute_evaluation_vector(&mut full_vec, &evaluation_point);
    for i in 0..16 {
        let mut v = vec![TestScalar::zero(); i];
        compute_evaluation_vector(&mut v, &evaluation_point);
        assert_eq!(v, &full_vec[..i]);
    }
}

#[test]
fn we_compute_the_evaluation_vector_for_an_empty_point() {
    let mut v = [TestScalar::zero(); 1];
    compute_evaluation_vector(&mut v, &[]);
    let expected_v = [TestScalar::one()];
    assert_eq!(v, expected_v);
}

#[test]
fn we_get_the_same_result_using_evaluation_vector_as_direct_evaluation() {
    let xs = [
        TestScalar::from(3u64),
        TestScalar::from(7u64),
        TestScalar::from(2u64),
        TestScalar::from(9u64),
        TestScalar::from(21u64),
        TestScalar::from(10u64),
        TestScalar::from(5u64),
        TestScalar::from(92u64),
    ];
    let point = [
        TestScalar::from(81u64),
        TestScalar::from(33u64),
        TestScalar::from(22u64),
    ];
    let mut v = [TestScalar::zero(); 8];
    compute_evaluation_vector(&mut v, &point);
    let eval = slice_ops::inner_product(&xs, &v);

    let poly = ark_poly::DenseMultilinearExtension::from_evaluations_slice(
        3,
        &TestScalar::unwrap_slice(&xs),
    );
    let expected_eval = TestScalar::new(poly.evaluate(&TestScalar::unwrap_slice(&point)));
    assert_eq!(eval, expected_eval);
}