zkboo 0.1.0

An implementation of the ZKBoo protocol.
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
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127

mod common;

use crate::common::test_all_words::test_on_all_words_and_composites;
use crate::common::test_func::define_test_func;
use zkboo::word::Word;

const NUM_SAMPLES: usize = 100;

macro_rules! test_select {
    (
        {$($UName: ident : ($_W: ty, $_N: expr, $U: ty)),* $(,)?},
        $func: ident,
        $num_samples: expr
    ) => {
        ::paste::paste! {
            $(
                define_test_func! {
                    [<$func _ $UName>],
                    $num_samples,
                    {cond: $U, then: $U, else_: $U},
                    [out],
                    |executor| {
                        let cond = executor.input(cond).lsb();
                        let then = executor.input(then);
                        let else_ = executor.input(else_);
                        out = cond.select(then, else_);
                    },
                    {
                        out = if cond.lsb() {then} else {else_}
                    }
                }
                [<$func _ $UName>]();
            )*
        }
    };
}

test_on_all_words_and_composites!(select, test_select!(NUM_SAMPLES));

macro_rules! test_select_var_const {
    (
        {$($UName: ident : ($_W: ty, $_N: expr, $U: ty)),* $(,)?},
        $func: ident,
        $num_samples: expr
    ) => {
        ::paste::paste! {
            $(
                define_test_func! {
                    [<$func _ $UName>],
                    $num_samples,
                    {cond: $U, then: $U, else_: $U},
                    [out],
                    |executor| {
                        let cond = executor.input(cond).lsb();
                        let then = executor.input(then);
                        out = cond.select_var_const(then, else_);
                    },
                    {
                        out = if cond.lsb() {then} else {else_}
                    }
                }
                [<$func _ $UName>]();
            )*
        }
    };
}

test_on_all_words_and_composites!(select_var_const, test_select_var_const!(NUM_SAMPLES));

macro_rules! test_select_const_var {
    (
        {$($UName: ident : ($_W: ty, $_N: expr, $U: ty)),* $(,)?},
        $func: ident,
        $num_samples: expr
    ) => {
        ::paste::paste! {
            $(
                define_test_func! {
                    [<$func _ $UName>],
                    $num_samples,
                    {cond: $U, then: $U, else_: $U},
                    [out],
                    |executor| {
                        let cond = executor.input(cond).lsb();
                        let else_ = executor.input(else_);
                        out = cond.select_const_var(then, else_);
                    },
                    {
                        out = if cond.lsb() {then} else {else_}
                    }
                }
                [<$func _ $UName>]();
            )*
        }
    };
}

test_on_all_words_and_composites!(select_const_var, test_select_const_var!(NUM_SAMPLES));

macro_rules! test_select_const_const {
    (
        {$($UName: ident : ($_W: ty, $_N: expr, $U: ty)),* $(,)?},
        $func: ident,
        $num_samples: expr
    ) => {
        ::paste::paste! {
            $(
                define_test_func! {
                    [<$func _ $UName>],
                    $num_samples,
                    {cond: $U, then: $U, else_: $U},
                    [out],
                    |executor| {
                        let cond = executor.input(cond).lsb();
                        out = cond.select_const_const(then, else_);
                    },
                    {
                        out = if cond.lsb() {then} else {else_}
                    }
                }
                [<$func _ $UName>]();
            )*
        }
    };
}

test_on_all_words_and_composites!(select_const_const, test_select_const_const!(NUM_SAMPLES));