fix: fixed generate proof

EYBlockchain · Sep 26, 2019 · c7abdfc · c7abdfc
1 parent 8ba46c1
commit c7abdfc
Show file tree

Hide file tree

Showing 30 changed files with 116 additions and 86,384 deletions.
diff --git a/code/ft-mint/ft-mint-vk.json b/code/ft-mint/ft-mint-vk.json
diff --git a/code/ft-mint/ft-mint.code b/code/ft-mint/ft-mint.code
diff --git a/code/ft-mint/ft-mint.pcode b/code/ft-mint/ft-mint.pcode
diff --git a/code/ft-mint/out b/code/ft-mint/out
diff --git a/code/ft-mint/out.code b/code/ft-mint/out.code
diff --git a/code/ft-mint/proof.json b/code/ft-mint/proof.json
diff --git a/code/ft-mint/proving.key b/code/ft-mint/proving.key
diff --git a/code/ft-mint/verification.key b/code/ft-mint/verification.key
diff --git a/code/test-compiled b/code/test-compiled
diff --git a/code/test-compiled.code b/code/test-compiled.code
@@ -0,0 +1,8 @@
+def main(_0, _1) -> (1):
+	(1 * _0) * (1 * _0) == 1 * _4
+	# _2, _3 = Rust::ConditionEq((-1) * _1 + 1 * _4)
+	((-1) * _1 + 1 * _4) * (1 * _3) == 1 * _2
+	(1 * ~one + (-1) * _2) * ((-1) * _1 + 1 * _4) == 0
+	(1 * ~one + (-1) * _2) * (1 * ~one + (-1) * _2) == 1 * ~one + (-1) * _2
+	(1 * ~one) * (1 * ~one + (-1) * _2) == 1 * ~out_0
+	 return ~out_0
diff --git a/code/test-pk.key b/code/test-pk.key
diff --git a/code/test-proof.json b/code/test-proof.json
@@ -0,0 +1,27 @@
+{
+  "proof": {
+    "a": [
+      "0x19fe724cdb82089eff4980e267cad72d443b083b87d049c576a2028c752f1398",
+      "0x0e1c6690b48d9df0e05b3901b3f477ffb4a114d24e4aa5500054fbba60b63e72"
+    ],
+    "b": [
+      [
+        "0x15a74030134432ea22d7ed212d5360c7253b01031be0441740f96b18964b4a49",
+        "0x118cb94f9d56c12e133778762d933e66a8a61406c26d5ce7da1ddc134949e145"
+      ],
+      [
+        "0x18b460e4502768c0a8b87d23f94a2ea12079cac47fbe2e20b0f7ca04398d0a32",
+        "0x11fd05f60f98ff879db2ccf253fda0e8a570c584e31dc65610c8d7e075ad419e"
+      ]
+    ],
+
+    "c": [
+      "0x2412d3b7123506b8655869219a24e6043d35afa8f536934bf2b72380ec6483b7",
+      "0x025ce72fd9900ff9d62ad79cc6012bf78faabd1f5580fa5917bbe79b4be498b8"
+    ]
+  },
+  "inputs": [
+    "0x0000000000000000000000000000000000000000000000000000000000000019",
+    "0x0000000000000000000000000000000000000000000000000000000000000001"
+  ]
+}