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

use super::bit_mask_utils::make_bit_mask;
use crate::base::{
    bit::bit_mask_utils::is_bit_mask_negative_representation,
    scalar::{test_scalar::TestScalar, Scalar},
};
use bnum::types::U256;
use core::ops::Shl;

#[test]
fn we_can_make_positive_bit_mask() {
    // ARRANGE
    let positive_scalar = TestScalar::TWO;

    // ACT
    let bit_mask = make_bit_mask(positive_scalar);

    // ASSERT
    assert_eq!(bit_mask, (U256::ONE.shl(255)) + U256::TWO);
}

#[test]
fn we_can_make_negative_bit_mask() {
    // ARRANGE
    let negative_scalar = -TestScalar::TWO;

    // ACT
    let bit_mask = make_bit_mask(negative_scalar);

    // ASSERT
    assert_eq!(bit_mask, (U256::ONE.shl(255)) - U256::TWO);
}

#[test]
fn we_can_verify_positive_bit_mask_is_positive_representation() {
    // ARRANGE
    let positive_scalar = TestScalar::TWO;
    let bit_mask = make_bit_mask(positive_scalar);

    // ACT
    let is_positive = !is_bit_mask_negative_representation(bit_mask);

    // ASSERT
    assert!(is_positive);
}

#[test]
fn we_can_verify_negative_bit_mask_is_negative_representation() {
    // ARRANGE
    let negative_scalar = -TestScalar::TWO;
    let bit_mask = make_bit_mask(negative_scalar);

    // ACT
    let is_negative = is_bit_mask_negative_representation(bit_mask);

    // ASSERT
    assert!(is_negative);
}