refactor(eddsa-proof): update zk artifacts

fabianschu · Jan 22, 2024 · 2762426 · 2762426
1 parent de2378c
commit 2762426
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 8 deletions.
diff --git a/packages/eddsa-proof/eddsa-proofVerifier.sol b/packages/eddsa-proof/eddsa-proofVerifier.sol
@@ -37,10 +37,10 @@ contract Groth16Verifier {
     uint256 constant gammax2 = 10857046999023057135944570762232829481370756359578518086990519993285655852781;
     uint256 constant gammay1 = 4082367875863433681332203403145435568316851327593401208105741076214120093531;
     uint256 constant gammay2 = 8495653923123431417604973247489272438418190587263600148770280649306958101930;
-    uint256 constant deltax1 = 19383402388842917271677889770795158614126650381207941433383636278100453315828;
-    uint256 constant deltax2 = 16472772890837795047969254081893112438025383218275067562740450545291444398408;
-    uint256 constant deltay1 = 10461627293201393389586331732710264853717682041540399288399634907175802482662;
-    uint256 constant deltay2 = 1552487936791644012023884757761699437344884480504915279718324868633011658498;
+    uint256 constant deltax1 = 12112885271928252337242593840719958920770986819635078655987325767492403299778;
+    uint256 constant deltax2 = 17889625822042198423589761179682480762612170336602430308918379962368800448866;
+    uint256 constant deltay1 = 8274825896214573230599613710092507439780954780482703068725602134025524427307;
+    uint256 constant deltay2 = 1388222012502114324896832437056048569159943165021780864054363056113518630006;
 
     uint256 constant IC0x = 6121615993195767416423717017354346332895028602435200672825384095759089539167;
     uint256 constant IC0y = 19279315369107581968138225300726230794678273382394638853270840675721598065599;

diff --git a/packages/eddsa-proof/src/verification-key.json b/packages/eddsa-proof/src/verification-key.json
@@ -31,12 +31,12 @@
     ],
     "vk_delta_2": [
         [
-            "16472772890837795047969254081893112438025383218275067562740450545291444398408",
-            "19383402388842917271677889770795158614126650381207941433383636278100453315828"
+            "17889625822042198423589761179682480762612170336602430308918379962368800448866",
+            "12112885271928252337242593840719958920770986819635078655987325767492403299778"
         ],
         [
-            "1552487936791644012023884757761699437344884480504915279718324868633011658498",
-            "10461627293201393389586331732710264853717682041540399288399634907175802482662"
+            "1388222012502114324896832437056048569159943165021780864054363056113518630006",
+            "8274825896214573230599613710092507439780954780482703068725602134025524427307"
         ],
         ["1", "0"]
     ],