-
Notifications
You must be signed in to change notification settings - Fork 0
/
batchzkprove_groth16.sh
executable file
·117 lines (94 loc) · 10.1 KB
/
batchzkprove_groth16.sh
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
#!/usr/bin/bash
echo "======================================"
echo "Generating Groth16 Proofs zkConsent"
echo "======================================"
mkdir -p $HOME/zkconsent_logs/groth16
echo
./snarks/build/zkconsent/zkconsent prove --groth16 --zkterminate -w ./samples/zkterminate.json \
| tee $HOME/zkconsent_logs/groth16/zkterm_proof.log
./snarks/build/zkconsent/zkconsent prove --groth16 --zkmint -w ./samples/zkmint.json \
| tee $HOME/zkconsent_logs/groth16/zkmint_proof.log
./snarks/build/zkconsent/zkconsent prove --groth16 --zkconsent -w ./samples/zkconsent.json \
| tee $HOME/zkconsent_logs/groth16/zkcons_proof.log
./snarks/build/zkconsent/zkconsent prove --groth16 --zkconfconsent -w ./samples/zkconfconsent.json \
| tee $HOME/zkconsent_logs/groth16/zkconsconf_proof.log
./snarks/build/zkconsent/zkconsent prove --groth16 --zkconfterminate -w ./samples/zkconfterminate.json \
| tee $HOME/zkconsent_logs/groth16/zktermconf_proof.log
./snarks/build/zkconsent/zkconsent prove --groth16 --zkterminatesimp -w ./samples/zkterminate.json \
| tee $HOME/zkconsent_logs/groth16/zksimpterm_proof.log
./snarks/build/zkconsent/zkconsent prove --groth16 --zkmintsimp -w ./samples/zkmint.json \
| tee $HOME/zkconsent_logs/groth16/zksimpmint_proof.log
./snarks/build/zkconsent/zkconsent prove --groth16 --zkconsentsimp -w ./samples/zkconsent.json \
| tee $HOME/zkconsent_logs/groth16/zksimpcons_proof.log
./snarks/build/zkconsent/zkconsent prove --groth16 --zkterminate -w ./samples/zkterminate_other.json \
--extproof-json $HOME/zkconsent_setup/groth16/other/zkterm/exproof_zkterm.json \
--proof-bin $HOME/zkconsent_setup/groth16/other/zkterm/proof_zkterm.bin \
--primary-bin $HOME/zkconsent_setup/groth16/other/zkterm/primary_zkterm.bin \
--witness-bin $HOME/zkconsent_setup/groth16/other/zkterm/witness_zkterm.bin \
| tee $HOME/zkconsent_logs/groth16/zkterm_proofother.log
./snarks/build/zkconsent/zkconsent prove --groth16 --zkmint -w ./samples/zkmint_other.json \
--extproof-json $HOME/zkconsent_setup/groth16/other/zkmint/exproof_zkmint.json \
--proof-bin $HOME/zkconsent_setup/groth16/other/zkmint/proof_zkmint.bin \
--primary-bin $HOME/zkconsent_setup/groth16/other/zkmint/primary_zkmint.bin \
--witness-bin $HOME/zkconsent_setup/groth16/other/zkmint/witness_zkmint.bin \
| tee $HOME/zkconsent_logs/groth16/zkmint_proofother.log
./snarks/build/zkconsent/zkconsent prove --groth16 --zkconsent -w ./samples/zkconsent_other.json \
--extproof-json $HOME/zkconsent_setup/groth16/other/zkcons/exproof_zkcons.json \
--proof-bin $HOME/zkconsent_setup/groth16/other/zkcons/proof_zkcons.bin \
--primary-bin $HOME/zkconsent_setup/groth16/other/zkcons/primary_zkcons.bin \
--witness-bin $HOME/zkconsent_setup/groth16/other/zkcons/witness_zkcons.bin \
| tee $HOME/zkconsent_logs/groth16/zkcons_proofother.log
./snarks/build/zkconsent/zkconsent prove --groth16 --zkconfconsent -w ./samples/zkconfconsent_other.json \
--extproof-json $HOME/zkconsent_setup/groth16/other/zkconfcons/exproof_zkconfcons.json \
--proof-bin $HOME/zkconsent_setup/groth16/other/zkconfcons/proof_zkconfcons.bin \
--primary-bin $HOME/zkconsent_setup/groth16/other/zkconfcons/primary_zkconfcons.bin \
--witness-bin $HOME/zkconsent_setup/groth16/other/zkconfcons/witness_zkconfcons.bin \
| tee $HOME/zkconsent_logs/groth16/zkconsconf_proofother.log
./snarks/build/zkconsent/zkconsent prove --groth16 --zkconfterminate -w ./samples/zkconfterminate_other.json \
--extproof-json $HOME/zkconsent_setup/groth16/other/zkconfterm/exproof_zkconfterm.json \
--proof-bin $HOME/zkconsent_setup/groth16/other/zkconfterm/proof_zkconfterm.bin \
--primary-bin $HOME/zkconsent_setup/groth16/other/zkconfterm/primary_zkconfterm.bin \
--witness-bin $HOME/zkconsent_setup/groth16/other/zkconfterm/witness_zkconfterm.bin \
| tee $HOME/zkconsent_logs/groth16/zktermconf_proofother.log
./snarks/build/zkconsent/zkconsent prove --groth16 --zkterminatesimp -w ./samples/zkterminate_other.json \
--extproof-json $HOME/zkconsent_setup/groth16/other/zksimpterm/exproof_zksimpterm.json \
--proof-bin $HOME/zkconsent_setup/groth16/other/zksimpterm/proof_zksimpterm.bin \
--primary-bin $HOME/zkconsent_setup/groth16/other/zksimpterm/primary_zksimpterm.bin \
--witness-bin $HOME/zkconsent_setup/groth16/other/zksimpterm/witness_zksimpterm.bin \
| tee $HOME/zkconsent_logs/groth16/zksimpterm_proofother.log
./snarks/build/zkconsent/zkconsent prove --groth16 --zkmintsimp -w ./samples/zkmint_other.json \
--extproof-json $HOME/zkconsent_setup/groth16/other/zksimpmint/exproof_zksimpmint.json \
--proof-bin $HOME/zkconsent_setup/groth16/other/zksimpmint/proof_zksimpmint.bin \
--primary-bin $HOME/zkconsent_setup/groth16/other/zksimpmint/primary_zksimpmint.bin \
--witness-bin $HOME/zkconsent_setup/groth16/other/zksimpmint/witness_zksimpmint.bin \
| tee $HOME/zkconsent_logs/groth16/zksimpmint_proofother.log
./snarks/build/zkconsent/zkconsent prove --groth16 --zkconsentsimp -w ./samples/zkconsent_other.json \
--extproof-json $HOME/zkconsent_setup/groth16/other/zksimpcons/exproof_zksimpcons.json \
--proof-bin $HOME/zkconsent_setup/groth16/other/zksimpcons/proof_zksimpcons.bin \
--primary-bin $HOME/zkconsent_setup/groth16/other/zksimpcons/primary_zksimpcons.bin \
--witness-bin $HOME/zkconsent_setup/groth16/other/zksimpcons/witness_zksimpcons.bin \
| tee $HOME/zkconsent_logs/groth16/zksimpcons_proofother.log
python3 ./verifier/groth16_hlp/convertvk.py $HOME/zkconsent_setup/groth16/zkterm/vk_zkterm.json $HOME/zkconsent_setup/groth16/zkterm/vk_zkterm_params.json
python3 ./verifier/groth16_hlp/convertvk.py $HOME/zkconsent_setup/groth16/zkmint/vk_zkmint.json $HOME/zkconsent_setup/groth16/zkmint/vk_zkmint_params.json
python3 ./verifier/groth16_hlp/convertvk.py $HOME/zkconsent_setup/groth16/zkcons/vk_zkcons.json $HOME/zkconsent_setup/groth16/zkcons/vk_zkcons_params.json
python3 ./verifier/groth16_hlp/convertvk.py $HOME/zkconsent_setup/groth16/zkconfcons/vk_zkconfcons.json $HOME/zkconsent_setup/groth16/zkconfcons/vk_zkconfcons_params.json
python3 ./verifier/groth16_hlp/convertvk.py $HOME/zkconsent_setup/groth16/zkconfterm/vk_zkconfterm.json $HOME/zkconsent_setup/groth16/zkconfterm/vk_zkconfterm_params.json
python3 ./verifier/groth16_hlp/convertvk.py $HOME/zkconsent_setup/groth16/zksimpterm/vk_zksimpterm.json $HOME/zkconsent_setup/groth16/zksimpterm/vk_zksimpterm_params.json
python3 ./verifier/groth16_hlp/convertvk.py $HOME/zkconsent_setup/groth16/zksimpmint/vk_zksimpmint.json $HOME/zkconsent_setup/groth16/zksimpmint/vk_zksimpmint_params.json
python3 ./verifier/groth16_hlp/convertvk.py $HOME/zkconsent_setup/groth16/zksimpcons/vk_zksimpcons.json $HOME/zkconsent_setup/groth16/zksimpcons/vk_zksimpcons_params.json
python3 ./verifier/groth16_hlp/convertproof.py $HOME/zkconsent_setup/groth16/zkterm/exproof_zkterm.json $HOME/zkconsent_setup/groth16/zkterm/exproof_zkterm_params.json
python3 ./verifier/groth16_hlp/convertproof.py $HOME/zkconsent_setup/groth16/zkmint/exproof_zkmint.json $HOME/zkconsent_setup/groth16/zkmint/exproof_zkmint_params.json
python3 ./verifier/groth16_hlp/convertproof.py $HOME/zkconsent_setup/groth16/zkcons/exproof_zkcons.json $HOME/zkconsent_setup/groth16/zkcons/exproof_zkcons_params.json
python3 ./verifier/groth16_hlp/convertproof.py $HOME/zkconsent_setup/groth16/zkconfcons/exproof_zkconfcons.json $HOME/zkconsent_setup/groth16/zkconfcons/exproof_zkconfcons_params.json
python3 ./verifier/groth16_hlp/convertproof.py $HOME/zkconsent_setup/groth16/zkconfterm/exproof_zkconfterm.json $HOME/zkconsent_setup/groth16/zkconfterm/exproof_zkconfterm_params.json
python3 ./verifier/groth16_hlp/convertproof.py $HOME/zkconsent_setup/groth16/zksimpterm/exproof_zksimpterm.json $HOME/zkconsent_setup/groth16/zksimpterm/exproof_zksimpterm_params.json
python3 ./verifier/groth16_hlp/convertproof.py $HOME/zkconsent_setup/groth16/zksimpmint/exproof_zksimpmint.json $HOME/zkconsent_setup/groth16/zksimpmint/exproof_zksimpmint_params.json
python3 ./verifier/groth16_hlp/convertproof.py $HOME/zkconsent_setup/groth16/zksimpcons/exproof_zksimpcons.json $HOME/zkconsent_setup/groth16/zksimpcons/exproof_zksimpcons_params.json
python3 ./verifier/groth16_hlp/convertproof.py $HOME/zkconsent_setup/groth16/other/zkterm/exproof_zkterm.json $HOME/zkconsent_setup/groth16/other/zkterm/exproof_zkterm_params.json
python3 ./verifier/groth16_hlp/convertproof.py $HOME/zkconsent_setup/groth16/other/zkmint/exproof_zkmint.json $HOME/zkconsent_setup/groth16/other/zkmint/exproof_zkmint_params.json
python3 ./verifier/groth16_hlp/convertproof.py $HOME/zkconsent_setup/groth16/other/zkcons/exproof_zkcons.json $HOME/zkconsent_setup/groth16/other/zkcons/exproof_zkcons_params.json
python3 ./verifier/groth16_hlp/convertproof.py $HOME/zkconsent_setup/groth16/other/zkconfcons/exproof_zkconfcons.json $HOME/zkconsent_setup/groth16/other/zkconfcons/exproof_zkconfcons_params.json
python3 ./verifier/groth16_hlp/convertproof.py $HOME/zkconsent_setup/groth16/other/zkconfterm/exproof_zkconfterm.json $HOME/zkconsent_setup/groth16/other/zkconfterm/exproof_zkconfterm_params.json
python3 ./verifier/groth16_hlp/convertproof.py $HOME/zkconsent_setup/groth16/other/zksimpterm/exproof_zksimpterm.json $HOME/zkconsent_setup/groth16/other/zksimpterm/exproof_zksimpterm_params.json
python3 ./verifier/groth16_hlp/convertproof.py $HOME/zkconsent_setup/groth16/other/zksimpmint/exproof_zksimpmint.json $HOME/zkconsent_setup/groth16/other/zksimpmint/exproof_zksimpmint_params.json
python3 ./verifier/groth16_hlp/convertproof.py $HOME/zkconsent_setup/groth16/other/zksimpcons/exproof_zksimpcons.json $HOME/zkconsent_setup/groth16/other/zksimpcons/exproof_zksimpcons_params.json