circuit compiled & zksnark logic is done

naveed949 · Aug 29, 2022 · 382908d · 382908d
1 parent 1dbfe56
commit 382908d
Show file tree

Hide file tree

Showing 19 changed files with 1,081 additions and 0 deletions.
diff --git a/.idea/.gitignore b/.idea/.gitignore
diff --git a/.idea/jsLibraryMappings.xml b/.idea/jsLibraryMappings.xml
diff --git a/.idea/misc.xml b/.idea/misc.xml
diff --git a/.idea/modules.xml b/.idea/modules.xml
diff --git a/.idea/vcs.xml b/.idea/vcs.xml
diff --git a/.idea/zk-snark-example.iml b/.idea/zk-snark-example.iml
diff --git a/circuit/circuit.circom b/circuit/circuit.circom
@@ -0,0 +1,8 @@
+   template Multiplier() {
+       signal private input a;
+       signal private input b;
+       signal output c;
+
+       c <== a*b;
+   }
+   component main = Multiplier();
diff --git a/circuit_compiled/circuit.r1cs b/circuit_compiled/circuit.r1cs
diff --git a/circuit_compiled/circuit.r1cs.json b/circuit_compiled/circuit.r1cs.json
@@ -0,0 +1,34 @@
+{
+ "n8": 32,
+ "prime": "21888242871839275222246405745257275088548364400416034343698204186575808495617",
+ "nVars": 4,
+ "nOutputs": 1,
+ "nPubInputs": 0,
+ "nPrvInputs": 2,
+ "nLabels": 4,
+ "nConstraints": 1,
+ "useCustomGates": false,
+ "constraints": [
+  [
+   {
+    "2": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
+   },
+   {
+    "3": "1"
+   },
+   {
+    "1": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
+   }
+  ]
+ ],
+ "map": [
+  0,
+  3,
+  1,
+  2
+ ],
+ "customGates": [
+ ],
+ "customGatesUses": [
+ ]
+}
diff --git a/circuit_compiled/circuit.sym b/circuit_compiled/circuit.sym
@@ -0,0 +1,3 @@
+1,2,0,main.a
+2,3,0,main.b
+3,1,0,main.c
diff --git a/circuit_compiled/circuit.wasm b/circuit_compiled/circuit.wasm
diff --git a/input.json b/input.json
@@ -0,0 +1 @@
+{"a": 3, "b": 11}
diff --git a/keys/powerOfTau_final.ptau b/keys/powerOfTau_final.ptau