Init

QED-it · May 10, 2019 · 5709c00 · 5709c00
commit 5709c00
Show file tree

Hide file tree

Showing 16 changed files with 5,923 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -0,0 +1,7 @@
+/target
+**/*.rs.bk
+Cargo.lock
+bin/
+pkg/
+target/
+wasm-pack.log
diff --git a/LICENSE_MIT b/LICENSE_MIT
@@ -0,0 +1,25 @@
+Copyright (c) 2019 QED-it, Aurélien Nicolas <[email protected]>
+
+Permission is hereby granted, free of charge, to any
+person obtaining a copy of this software and associated
+documentation files (the "Software"), to deal in the
+Software without restriction, including without
+limitation the rights to use, copy, modify, merge,
+publish, distribute, sublicense, and/or sell copies of
+the Software, and to permit persons to whom the Software
+is furnished to do so, subject to the following
+conditions:
+
+The above copyright notice and this permission notice
+shall be included in all copies or substantial portions
+of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF
+ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED
+TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A
+PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT
+SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY
+CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
+OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR
+IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
+DEALINGS IN THE SOFTWARE.
diff --git a/Makefile b/Makefile
@@ -0,0 +1,6 @@
+build:
+	wasm-pack build --out-dir ../www/pkg/zkif-wasm-example/      zkif-wasm-example
+	wasm-pack build --out-dir ../www/pkg/zkif-wasm-bulletproofs/ zkif-wasm-bulletproofs
+
+web-dev:
+	cd www && npm run start
diff --git a/www/.gitignore b/www/.gitignore
@@ -0,0 +1,2 @@
+node_modules
+dist
diff --git a/www/bootstrap.js b/www/bootstrap.js
@@ -0,0 +1,5 @@
+// A dependency graph that contains any wasm must all be imported
+// asynchronously. This `bootstrap.js` file does the single async import, so
+// that no one else needs to worry about it again.
+import("./index.js")
+  .catch(e => console.error("Error importing `index.js`:", e));
diff --git a/www/index.html b/www/index.html
@@ -0,0 +1,11 @@
+<!DOCTYPE html>
+<html>
+  <head>
+    <meta charset="utf-8">
+    <title>Hello zkInterface!</title>
+  </head>
+  <body>
+    <script src="./bootstrap.js"></script>
+    <h4 id="status">Open the dev console.</h4>
+  </body>
+</html>
diff --git a/www/index.js b/www/index.js
@@ -0,0 +1,16 @@
+import * as zkif_example from "./pkg/zkif-wasm-example";
+import * as zkif_bulletproofs from "./pkg/zkif-wasm-bulletproofs";
+
+// Common circuit.
+let x = 3, y = 4, zz = x*x + y*y;
+let circuit = zkif_example.make_circuit(x, y, zz);
+
+// Prove.
+let witness = zkif_example.make_witness(x, y);
+let proof = zkif_bulletproofs.prove(circuit, witness);
+
+// Verify.
+let verif = zkif_bulletproofs.verify(circuit, proof);
+
+let status = `The statement ${x}^2 + ${y}^2 = ${zz} is ${verif && "proven" || "NOT proven"}.`;
+document.getElementById("status").innerText = status;