upgrade testnet

script/output/holesky/v1-deployment.json

@@ -2,7 +2,7 @@
   "addresses": {
     "queryClientImpl": "0x80c0a42F808d6f35e83F4939482A485caE536e6a",
     "queryClientProxy": "0xcB170B5a3cf707b4dAc2AbdD6919A0c30A8ec145",
-    "registryImpl": "0x60daa0d36ea623b48b53ba4fc6ef3ab90892a1a7",
+    "registryImpl": "0xDeD28e492056bca5769d4a1566a1Eb3eDe050604",
     "registryProxy": "0xF8E0EfefAFfa31f9C85F175147d64753e4eC8157"
   },
   "chainInfo": {
@@ -14,4 +14,4 @@
     "simpleMapping": "0x458398c1b29eaf50edf6d63d1ec368802e0d16ae",
     "testERC20": "0x41Cb19D0Aa2e7Ea16F75030F25163D4184f26b7d"
   }
-}
+}

script/util/copy-verifier.sh

@@ -5,7 +5,19 @@ CODE_DIR_PATH=groth16-framework/test_data
 BRANCH=main
 VERIFIER_FILE=./src/v1/Groth16Verifier.sol
 VERIFIER_EXTENSIONS_FILE=./src/v1/Groth16VerifierExtensions.sol
-VERIFIER_SOL_URL="https://pub-64a4eb6e897e425083647b3e0e8539a1.r2.dev/groth16_assets/verifier.sol"
+#VERIFIER_SOL_URL="https://pub-64a4eb6e897e425083647b3e0e8539a1.r2.dev/groth16_assets/verifier.sol"
+
+
+
+if [[ -z "$VERIFIER_SOL_URL" ]]; then
+    echo "Error: VERIFIER_SOL_URL is not set." >&2  # Print error to stderr
+    exit 1
+fi
+
+VERIFIER_SOL_URL="$VERIFIER_SOL_URL/groth16_assets/verifier.sol"
+
+
+echo "The value of MY_VAR is: $MY_VAR"
 
 cd $GIT_REPO_PATH && \
     git fetch origin $BRANCH && \

src/v1/Groth16Verifier.sol

@@ -59,57 +59,57 @@ library Groth16Verifier {
 
     // Groth16 alpha point in G1
     uint256 constant ALPHA_X =
-        3178329822318468224934843275534557736964841382968721975242878371551080001892;
+        3360009297303608390922287624875192906690767805066822965561608230064210607826;
     uint256 constant ALPHA_Y =
-        9026843967616178132587238931768543648144195939828557177978428905696327010143;
+        9023092086842200605625595278639786663540752352194543775495262388125531340284;
 
     // Groth16 beta point in G2 in powers of i
     uint256 constant BETA_NEG_X_0 =
-        2360661940587297971830916237330676779070475331930084272533732201067486147219;
+        4956936396540597864463325522216759763967269509869023165391925007421899131408;
     uint256 constant BETA_NEG_X_1 =
-        13166332558858993205960010400829872839588995096645399777294548835855404675457;
+        10437191190737583759899116703590385586267880949181841477552328877565963311868;
     uint256 constant BETA_NEG_Y_0 =
-        3844468732830460709205477289187740889754428167245994362974375858411084855850;
+        8296528842037033334017786545455752099800865819742751425077690075100843996853;
     uint256 constant BETA_NEG_Y_1 =
-        3669860118847183279743935655046760816041109331954666258111503242265138915000;
+        4851002717705296722169200125367392699689327426155135261999349781307581632141;
 
     // Groth16 gamma point in G2 in powers of i
     uint256 constant GAMMA_NEG_X_0 =
-        5425297354519915741785365306521579223558565898221387075958217730522262215352;
+        12289126404512730228551690025848988617333492951452260043931061391622585931998;
     uint256 constant GAMMA_NEG_X_1 =
-        20918890028837393851489538814036905483347735563781618763722276350959936276902;
+        9270364265118410187114876809364662998027255237282323260848200446730215931236;
     uint256 constant GAMMA_NEG_Y_0 =
-        4780756766300831484757004240277298693257095754699144480308550752311151707974;
+        12789985371844394752326259506579380198843289180213829059608051639704923651331;
     uint256 constant GAMMA_NEG_Y_1 =
-        7848796437547074123989629796193282678021827400670322002439194820232708603179;
+        7399854569264520571946606062957061944564362542601224663956269989966190687466;
 
     // Groth16 delta point in G2 in powers of i
     uint256 constant DELTA_NEG_X_0 =
-        11006924246846236974954987235641775900294669936061388150823828687021940090666;
+        10986363039225160673355352751305566699933715434706166562081908743151513404744;
     uint256 constant DELTA_NEG_X_1 =
-        18540409077344575696913849607391407075570342913577865727131138836941213417555;
+        14575938026591937511079917813679012744361158168484186609674361898729080839560;
     uint256 constant DELTA_NEG_Y_0 =
-        2425350267794137339579983126200071818110957676285217033406298259184833821480;
+        5554918033122315584082659651465542763514831027036447670748474610468121923953;
     uint256 constant DELTA_NEG_Y_1 =
-        17618237570813398021763344992475134239201023900425244547360452056470255418443;
+        3440926596531241454482020357147568912278251651616249450164885317416611765672;
 
     // Constant and public input points
     uint256 constant CONSTANT_X =
-        11972844419836633390685561259113532255478392262212231129559561876962543203137;
+        18534696507847005590822700029671972993179492204253644987498826072740544959989;
     uint256 constant CONSTANT_Y =
-        15743758944636558836437438767796600569858639936446871756725816308323091199354;
+        10619379543034603588999370992760875468825644643425545769235887915951385235856;
     uint256 constant PUB_0_X =
-        6969471384800697842033482502451044481131308101127420041340577777798468000509;
+        19370428837720713044019569345194944024743222206201528770228933944222427265646;
     uint256 constant PUB_0_Y =
-        19710471312445142702325608778952710507777855133516059548280246484624703250379;
+        2035924609786430851138137441447995354990101962348629859785310813026639210256;
     uint256 constant PUB_1_X =
-        7827876836353049865762713411853392316439416163118781484041358083998453616114;
+        5998847531697439509940045387758874574573727806919266342527489325999916315730;
     uint256 constant PUB_1_Y =
-        17143101853218033625794636814125047586381073567741003988681540920487489905005;
+        6518262181848079623717381248197644876106750144410276042210804249711790237790;
     uint256 constant PUB_2_X =
-        21223993520446273888057527797204463494932635122532232174892266030235131844564;
+        13326253429132068690950929434487558790571185853091065686453673652909059039652;
     uint256 constant PUB_2_Y =
-        17227591946757803030814495811100311808589868388990529619011596688041206554061;
+        19504008005819024186552081486556831282696884485600068007820583593539542522731;
 
     /// Negation in Fp.
     /// @notice Returns a number x such that a + x = 0 in Fp.