crypto: Add groth16 verifier in Move (MystenLabs#6170)

KevinMarciano · Nov 18, 2022 · 630a14b · 630a14b
1 parent 4f8cfb8
commit 630a14b
Show file tree

Hide file tree

Showing 13 changed files with 1,008 additions and 41 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -115,8 +115,8 @@ move-ir-types = { git = "https://github.com/move-language/move", rev = "0800fc79
 move-prover = { git = "https://github.com/move-language/move", rev = "0800fc79a98ca304bd449878f545cdcaff6f94bb" }
 move-prover-boogie-backend = { git = "https://github.com/move-language/move", rev = "0800fc79a98ca304bd449878f545cdcaff6f94bb" }
 
-fastcrypto = { git = "https://github.com/MystenLabs/fastcrypto", rev = "7a248d1ed4c30dfd49f0fb0cb346c058c5e96983" }
-fastcrypto-zkp = { git = "https://github.com/MystenLabs/fastcrypto", rev = "7a248d1ed4c30dfd49f0fb0cb346c058c5e96983", package = "fastcrypto-zkp" }
+fastcrypto = { git = "https://github.com/MystenLabs/fastcrypto", rev = "bbd69732ac8410a324c6b175229522590264202c" }
+fastcrypto-zkp = { git = "https://github.com/MystenLabs/fastcrypto", rev = "bbd69732ac8410a324c6b175229522590264202c", package = "fastcrypto-zkp" }
 
 # anemo dependencies
 anemo = { git = "https://github.com/mystenlabs/anemo.git", rev = "87d60b249a9954775a95790e3bc9ca1a0df7969f" }

diff --git a/crates/sui-config/tests/snapshots/snapshot_tests__empty_genesis_snapshot_matches.snap b/crates/sui-config/tests/snapshots/snapshot_tests__empty_genesis_snapshot_matches.snap
diff --git a/crates/sui-cost/tests/snapshots/empirical_transaction_cost__good_snapshot-2.snap b/crates/sui-cost/tests/snapshots/empirical_transaction_cost__good_snapshot-2.snap
@@ -4,13 +4,13 @@ expression: common_costs_estimate
 ---
 {
   "MergeCoin": {
-    "computation_cost": 5792,
-    "storage_cost": 8550,
+    "computation_cost": 5882,
+    "storage_cost": 8683,
     "storage_rebate": 0
   },
   "Publish": {
-    "computation_cost": 5781,
-    "storage_cost": 8485,
+    "computation_cost": 5870,
+    "storage_cost": 8618,
     "storage_rebate": 0
   },
   "SharedCounterAssertValue": {
@@ -29,8 +29,8 @@ expression: common_costs_estimate
     "storage_rebate": 0
   },
   "SplitCoin": {
-    "computation_cost": 5770,
-    "storage_cost": 8518,
+    "computation_cost": 5860,
+    "storage_cost": 8651,
     "storage_rebate": 0
   },
   "TransferPortionSuiCoin": {

diff --git a/crates/sui-cost/tests/snapshots/empirical_transaction_cost__good_snapshot.snap b/crates/sui-cost/tests/snapshots/empirical_transaction_cost__good_snapshot.snap
@@ -4,12 +4,12 @@ expression: common_costs_actual
 ---
 {
   "MergeCoin": {
-    "computation_cost": 696,
+    "computation_cost": 706,
     "storage_cost": 32,
     "storage_rebate": 0
   },
   "Publish": {
-    "computation_cost": 752,
+    "computation_cost": 762,
     "storage_cost": 83,
     "storage_rebate": 0
   },
@@ -29,7 +29,7 @@ expression: common_costs_actual
     "storage_rebate": 15
   },
   "SplitCoin": {
-    "computation_cost": 822,
+    "computation_cost": 832,
     "storage_cost": 80,
     "storage_rebate": 0
   },

diff --git a/crates/sui-framework/Cargo.toml b/crates/sui-framework/Cargo.toml
@@ -18,6 +18,8 @@ once_cell = "1.16"
 curve25519-dalek-ng = "4.1.1"
 
 fastcrypto.workspace = true
+fastcrypto-zkp.workspace = true
+
 digest = "0.10.3"
 serde = { version = "1.0.144", features = ["derive"] }