-
Notifications
You must be signed in to change notification settings - Fork 1
/
index.html
234 lines (194 loc) · 9.39 KB
/
index.html
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
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
<!DOCTYPE html>
<!-- Style based on https://getbootstrap.com/docs/4.3/examples/product/ -->
<html lang="en"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1, shrink-to-fit=no">
<meta name="description" content="">
<title>ZkInterface - Bulletproofs - ZoKrates in-browser integration</title>
<!-- Bootstrap core CSS -->
<link href="bootstrap.min.css" rel="stylesheet" integrity="sha384-ggOyR0iXCbMQv3Xipma34MD+dH/1fQ784/j6cY/iJTQUOhcWr7x9JvoRxT2MZw1T" crossorigin="anonymous">
<!-- <link href="font-awesome.min.css" rel="stylesheet" crossorigin="anonymous"> -->
<link href="//netdna.bootstrapcdn.com/font-awesome/4.7.0/css/font-awesome.css" rel="stylesheet">
<style>
a {
color: #17a2b8;
}
.bd-placeholder-img {
font-size: 1.125rem;
text-anchor: middle;
-webkit-user-select: none;
-moz-user-select: none;
-ms-user-select: none;
user-select: none;
}
@media (min-width: 768px) {
.bd-placeholder-img-lg {
font-size: 3.5rem;
}
}
</style>
<!-- Custom styles for this template -->
<link href="index.css" rel="stylesheet">
</head>
<body>
<script src="start.js"></script>
<a href="https://github.com/QED-it/zkinterface-wasm" class="github-corner" aria-label="View source on GitHub" style="z-index: 1;"><svg viewBox="0 0 250 250" style="fill:#1E2429; color:#fff; position: absolute; top: 0; border: 0; left: 0; transform: scale(-1, 1);z-index: 1;" aria-hidden="true" width="150" height="150"><path d="M0,0 L115,115 L130,115 L142,142 L250,250 L250,0 Z"></path><path d="M128.3,109.0 C113.8,99.7 119.0,89.6 119.0,89.6 C122.0,82.7 120.5,78.6 120.5,78.6 C119.2,72.0 123.4,76.3 123.4,76.3 C127.3,80.9 125.5,87.3 125.5,87.3 C122.9,97.6 130.6,101.9 134.4,103.2" fill="currentColor" style="transform-origin: 130px 106px;" class="octo-arm"></path><path d="M115.0,115.0 C114.9,115.1 118.7,116.5 119.8,115.4 L133.7,101.6 C136.9,99.2 139.9,98.4 142.2,98.6 C133.8,88.0 127.5,74.4 143.8,58.0 C148.5,53.4 154.0,51.2 159.7,51.0 C160.3,49.4 163.2,43.6 171.4,40.1 C171.4,40.1 176.1,42.5 178.8,56.2 C183.1,58.6 187.2,61.8 190.9,65.4 C194.5,69.0 197.7,73.2 200.1,77.6 C213.8,80.2 216.3,84.9 216.3,84.9 C212.7,93.1 206.9,96.0 205.4,96.6 C205.1,102.4 203.0,107.8 198.3,112.5 C181.9,128.9 168.3,122.5 157.7,114.1 C157.9,116.9 156.7,120.9 152.7,124.9 L141.0,136.5 C139.8,137.7 141.6,141.9 141.8,141.8 Z" fill="currentColor" class="octo-body"></path></svg><style>.github-corner:hover .octo-arm{animation:octocat-wave 560ms ease-in-out}@keyframes octocat-wave{0%,100%{transform:rotate(0)}20%,60%{transform:rotate(-25deg)}40%,80%{transform:rotate(10deg)}}@media (max-width:500px){.github-corner:hover .octo-arm{animation:none}.github-corner .octo-arm{animation:octocat-wave 560ms ease-in-out}}</style></a>
<a target="_blank" href="https://qed-it.com/" style="z-index: 1;">
<img src="presented_by_qedit.svg" alt="QEDIT" width="150" style="
right: 2rem;
position: absolute;
top: 2rem;
z-index: 1;
">
</a>
<div class="position-relative overflow-hidden px-3 px-lg-5 m-lg-3 mt-5 bg-light">
<div class="col-lg-8 p-5 mx-auto">
<h1 class="display-4 font-weight-normal pb-5">ZkInterface:<br/>ZoKrates ➞ Bulletproofs</h1>
<p class="lead">
<a target="_blank" href="https://github.com/QED-it/zkinterface">ZkInterface</a>
is a standard for interoperability of zero-knowledge frameworks.
</p>
<p class="lead">
In this demonstration, we connect the
<a target="_blank" href="https://zokrates.github.io/">ZoKrates</a>
compiler to the
<a target="_blank" href="https://github.com/dalek-cryptography/bulletproofs">Dalek Bulletproofs</a>
proving system.
</p>
<p class="lead">
All tools run on this page as WebAssembly modules, and communicate through ZkInterface.
Check out the
<a target="_blank" href="https://github.com/QED-it/zkinterface-wasm">code of this demo</a>
to get started with your own zero-knowledge application.
</p>
</div>
<!-- <div class="product-device shadow-sm d-none d-md-block"></div> -->
<!-- <div class="product-device product-device-2 shadow-sm d-none d-md-block"></div> -->
</div>
<div class="position-relative overflow-hidden px-3 px-lg-5 m-lg-3 bg-light">
<div class="col-lg-8 p-5 mx-auto">
<h1 class="font-weight-normal">WebAssembly Modules</h1>
<p class="lead">
The modules compile and run independently.<br/>
The application moves ZkInterface messages between modules.
</p>
</div>
</div>
<div class="d-md-flex flex-md-equal w-100 my-md-3 pl-md-3">
<div class="bg-dark-q p-3 p-md-5 overflow-hidden">
<div class="text-center text-white mb-3 pb-3">
<h2>ZoKrates.wasm</h2>
<p class="lead">
The frontend module generates the constraints, prover's witnesses, and verifier's inputs,
and store them in ZkInterface messages.
</p>
</div>
<pre class="code-block bg-light-q shadow-sm mx-auto"><code>
let constraints = zkif_zokrates.make_constraint_system(code);
let {prover_msg, verifier_msg} = zkif_zokrates.make_witness(code, x, y);
</code></pre>
</div>
<div class="border-dark-q arrow-right my-auto"></div>
<div class="bg-light-q mr-md-3 p-3 p-md-5 overflow-hidden">
<div class="text-center mb-3 pb-3">
<h2>Bulletproofs.wasm</h2>
<p class="lead">
The proving system reads the ZkInterface messages to generate proofs.
<br/>
</p>
</div>
<pre class="code-block bg-dark-q text-white shadow-sm mx-auto"><code>
let proof = zkif_bulletproofs.prove(constraints, prover_msg);
let valid = zkif_bulletproofs.verify(constraints, verifier_msg, proof);
</code></pre>
</div>
</div>
<!-- Separator -->
<div class="position-relative overflow-hidden mx-md-3 mt-5"></div>
<div class="position-relative overflow-hidden px-3 px-lg-5 m-lg-3 bg-light">
<div class="col-lg-8 p-5 mx-auto">
<h1 class="font-weight-normal">ZkInterface messages</h1>
<p>
There are three types of messages:
</p><p>
<ul>
<li><b>Circuit:</b> describes the input variables of the circuit.</li>
<li><b>R1CSConstraints:</b> describes the constraints between variables.</li>
<li><b>Witness:</b> contains values to assign to variables.</li>
</ul>
</p><p>
See the
<a href="https://github.com/QED-it/zkinterface/blob/master/zkinterface.fbs">interface definition</a>
and the
<a href="https://github.com/QED-it/zkinterface/blob/master/zkInterface.pdf">paper</a>
for details.
</p>
</div>
</div>
<div class="d-md-flex flex-md-equal w-100 pl-md-3">
<div class="bg-dark-q p-3 p-md-5 overflow-hidden">
<div class="text-center text-white mb-3 pb-3">
<h2 class="display-5">Zero-knowledge Program</h2>
<p class="lead">A computation in the ZoKrates language.</p>
</div>
<pre class="code-block bg-light-q shadow-sm mx-auto"><code
id="program">
_
</code></pre>
<div class="btn-group btn-block" role="group" aria-label="Basic example">
<button type="button" id="computeWitnessBtn" class="btn btn-info btn-lg"> Compute Witness <i class="fa fa-chevron-down fa-fw" aria-hidden="true"></i>
</button>
<button type="button" id="generateConstraintsBtn" class="btn btn-info btn-lg"> Generate constraints <i class="fa fa-chevron-right fa-fw" aria-hidden="true"></i>
</button>
</div>
</div>
<div class="border-dark-q arrow-right my-auto"></div>
<div class="bg-light-q mr-md-3 p-3 p-md-5 overflow-hidden">
<div class="text-center mb-3 pb-3">
<h2 class="display-5">Constraint System</h2>
<p class="lead">
The program is compiled into a common R1CS form.
</p>
</div>
<pre class="code-block bg-dark-q text-white shadow-sm mx-auto"><code
id="cs">
_
</code></pre>
</div>
</div>
<div class="d-md-flex flex-md-equal w-100 pl-md-3">
<div class="overflow-hidden">
<div class="border-dark-q arrow-down mx-auto"></div>
</div>
<div class="overflow-hidden">
<div class="border-dark-q arrow-down mx-auto"></div>
</div>
</div>
<div class="d-md-flex flex-md-equal w-100 mb-md-3 pl-md-3">
<div class="bg-light-q p-3 p-md-5 overflow-hidden">
<div class="text-center mb-3 pb-3">
<h2 class="display-5">Prover's View</h2>
<p class="lead">A private witness is used to generate a proof.</p>
</div>
<pre class="code-block bg-dark-q text-white shadow-sm mx-auto"><code
id="prover">
_
</code></pre>
<button type="button" id="createProofBtn" class="btn btn-info btn-lg btn-block">Generate proof</button>
</div>
<div class="border-dark-q arrow-right my-auto"></div>
<div class="bg-dark-q mr-md-3 p-3 p-md-5 overflow-hidden">
<div class="text-center text-white mb-3 pb-3">
<h2 class="display-5">Verifier's View</h2>
<p class="lead">The proof is checked based on public inputs.</p>
</div>
<pre class="code-block bg-light-q shadow-sm mx-auto"><code
id="verifier">
_
</code>
<span id="status"></span></pre>
<button type="button" id="verifyProofBtn" class="btn btn-info btn-lg btn-block">Verify proof</button>
</div>
</div>
<!-- Separator -->
<div class="position-relative m-5 p-5"></div>
</body></html>