fix: setup circuits and gen new keys

2026-01-09 09:27:58 -05:00 · 2025-02-25 09:25:06 +01:00
parent 2d4627ba55
commit 46aa1984a7
11 changed files with 33 additions and 30 deletions
--- a/packages/circuits/build/commitment/groth16_pkey.zkey
+++ b/packages/circuits/build/commitment/groth16_pkey.zkey
--- a/packages/circuits/build/commitment/groth16_vkey.json
+++ b/packages/circuits/build/commitment/groth16_vkey.json
@@ -37,12 +37,12 @@
  ],
  "vk_delta_2": [
    [
-      "8394333033426186126239092746764369789747451796611044849169710464715673701172",
-      "20273737367287530454137097172257915601510900437992838714502738822831164031451"
+      "16313475320573394429891872437183474476272972662716897923600838063488282361467",
+      "9666382535385552891379578350343561761664901947412969747418607512287725731302"
    ],
    [
-      "18884692426142224343552501342134967949246404341854400262313830155863668589640",
-      "20068225211343937302042079167292766980916779828641618008877996999256777255288"
+      "3762531914608059045721043256547102541561001733267576189282785683472800814365",
+      "15091426580826784060567829115192834023383374112821121996886990948515453305056"
    ],
    [
      "1",
--- a/packages/circuits/build/merkleTree/groth16_pkey.zkey
+++ b/packages/circuits/build/merkleTree/groth16_pkey.zkey
--- a/packages/circuits/build/merkleTree/groth16_vkey.json
+++ b/packages/circuits/build/merkleTree/groth16_vkey.json
@@ -37,12 +37,12 @@
  ],
  "vk_delta_2": [
    [
-      "6500759392866100616298170262159034909830300433944919628348151148895972022012",
-      "4275393100507482687879577978201595830041564838599662656355080304325807841810"
+      "20852881623243121543490355552700619686372857494697514406689079256107244136845",
+      "3341253675942664826903559202420573316373713940206042323158405975859650912180"
    ],
    [
-      "803752354082809193116334050731799872331834981862449936728325181150032424055",
-      "990793576907504212857963056608343779874691293302042405368975191313638271728"
+      "7360491749888683469489445768510732761594953832736329809463080211919756869609",
+      "3439934350560863193939004507246784407905275282995612367087384610613711069964"
    ],
    [
      "1",
--- a/packages/circuits/build/withdraw/groth16_pkey.zkey
+++ b/packages/circuits/build/withdraw/groth16_pkey.zkey
--- a/packages/circuits/build/withdraw/groth16_vkey.json
+++ b/packages/circuits/build/withdraw/groth16_vkey.json
@@ -37,12 +37,12 @@
  ],
  "vk_delta_2": [
    [
-      "20913946204407745494702604164108545882017745819214972367155803927222468177569",
-      "13230415193250670404304379090733493825781095455517266069224455418907762253703"
+      "17838259529838485406872362261336315588259651695147656151175887183766663167227",
+      "73712057753386887278787400600421166257337249383532897612755159051862588716"
    ],
    [
-      "13916152422962390249986477350486038697279827828779437999842777394752025826922",
-      "6763356604831746626877772848531949427648444424334252489507221984493135385803"
+      "14911365522566990301624399798135221704649796655110277593879804468224218648506",
+      "21572110967738371130980582612407141022569080033980241905689742698493693902211"
    ],
    [
      "1",
--- a/packages/contracts/foundry.toml
+++ b/packages/contracts/foundry.toml
@@ -32,5 +32,5 @@ mainnet = "${MAINNET_RPC}"
 sepolia = "${SEPOLIA_RPC}"

 [etherscan]
-# mainnet = { key = "${ETHERSCAN_API_KEY}" }
-# sepolia = { key = "${ETHERSCAN_API_KEY}" }
+mainnet = { key = "${ETHERSCAN_API_KEY}" }
+sepolia = { key = "${ETHERSCAN_API_KEY}" }
--- a/packages/contracts/package.json
+++ b/packages/contracts/package.json
@@ -11,7 +11,7 @@
    "build:optimized": "FOUNDRY_PROFILE=optimized forge build",
    "coverage": "forge coverage --report summary --report lcov --match-path 'test/unit/*'",
    "deploy:mainnet": "bash -c 'source .env && forge script Deploy --rpc-url $MAINNET_RPC --account $MAINNET_DEPLOYER_NAME --broadcast --verify --chain mainnet -vvvvv'",
-    "deploy:protocol:sepolia": "bash -c 'source .env && forge script script/Deploy.s.sol:EthereumSepolia --account $SEPOLIA_DEPLOYER_NAME --rpc-url $SEPOLIA_RPC -vv $0'",
+    "deploy:protocol:sepolia": "bash -c 'source .env && forge script script/Deploy.s.sol:EthereumSepolia --account $SEPOLIA_DEPLOYER_NAME --verify --rpc-url $SEPOLIA_RPC -vv $0'",
    "lint:check": "yarn lint:sol && forge fmt --check",
    "lint:fix": "sort-package-json && forge fmt && yarn lint:sol --fix",
    "lint:natspec": "npx @defi-wonderland/natspec-smells --config natspec-smells.config.js",
--- a/packages/contracts/script/Deploy.s.sol
+++ b/packages/contracts/script/Deploy.s.sol
@@ -79,10 +79,10 @@ abstract contract DeployProtocol is Script {
    _deploySimplePool(_simpleConfig.symbol, _simpleConfig.minimumDepositAmount, _simpleConfig.vettingFeeBPS);

    // Deploy the ERC20 pools
-    for (uint256 _i; _i < _poolConfigs.length; ++_i) {
-      PoolConfig memory _config = _poolConfigs[_i];
-      _deployComplexPool(_config.symbol, _config.asset, _config.minimumDepositAmount, _config.vettingFeeBPS);
-    }
+    // for (uint256 _i; _i < _poolConfigs.length; ++_i) {
+    //   PoolConfig memory _config = _poolConfigs[_i];
+    //   _deployComplexPool(_config.symbol, _config.asset, _config.minimumDepositAmount, _config.vettingFeeBPS);
+    // }

    vm.stopBroadcast();
  }
@@ -169,9 +169,9 @@ contract EthereumSepolia is DeployProtocol {
    vm.startBroadcast();

    // TestToken
-    _poolConfigs.push(
-      PoolConfig({symbol: 'TST', asset: _deployTestToken(), minimumDepositAmount: 100 ether, vettingFeeBPS: 100}) // 1%
-    );
+    // _poolConfigs.push(
+    //   PoolConfig({symbol: 'TST', asset: _deployTestToken(), minimumDepositAmount: 100 ether, vettingFeeBPS: 100}) // 1%
+    // );

    vm.stopBroadcast();

@@ -208,3 +208,4 @@ contract EthereumMainnet is DeployProtocol {
    super.setUp();
  }
 }
+
--- a/packages/contracts/src/contracts/verifiers/CommitmentVerifier.sol
+++ b/packages/contracts/src/contracts/verifiers/CommitmentVerifier.sol
@@ -52,13 +52,13 @@ contract CommitmentVerifier {
  uint256 constant gammay2 =
    8_495_653_923_123_431_417_604_973_247_489_272_438_418_190_587_263_600_148_770_280_649_306_958_101_930;
  uint256 constant deltax1 =
-    20_273_737_367_287_530_454_137_097_172_257_915_601_510_900_437_992_838_714_502_738_822_831_164_031_451;
+    9_666_382_535_385_552_891_379_578_350_343_561_761_664_901_947_412_969_747_418_607_512_287_725_731_302;
  uint256 constant deltax2 =
-    8_394_333_033_426_186_126_239_092_746_764_369_789_747_451_796_611_044_849_169_710_464_715_673_701_172;
+    16_313_475_320_573_394_429_891_872_437_183_474_476_272_972_662_716_897_923_600_838_063_488_282_361_467;
  uint256 constant deltay1 =
-    20_068_225_211_343_937_302_042_079_167_292_766_980_916_779_828_641_618_008_877_996_999_256_777_255_288;
+    15_091_426_580_826_784_060_567_829_115_192_834_023_383_374_112_821_121_996_886_990_948_515_453_305_056;
  uint256 constant deltay2 =
-    18_884_692_426_142_224_343_552_501_342_134_967_949_246_404_341_854_400_262_313_830_155_863_668_589_640;
+    3_762_531_914_608_059_045_721_043_256_547_102_541_561_001_733_267_576_189_282_785_683_472_800_814_365;

  uint256 constant IC0x =
    1_572_230_892_394_329_298_681_454_529_771_558_079_791_160_063_426_885_123_778_364_988_544_600_092_204;
@@ -214,3 +214,4 @@ contract CommitmentVerifier {
    }
  }
 }
+
--- a/packages/contracts/src/contracts/verifiers/WithdrawalVerifier.sol
+++ b/packages/contracts/src/contracts/verifiers/WithdrawalVerifier.sol
@@ -52,13 +52,13 @@ contract WithdrawalVerifier {
  uint256 constant gammay2 =
    8_495_653_923_123_431_417_604_973_247_489_272_438_418_190_587_263_600_148_770_280_649_306_958_101_930;
  uint256 constant deltax1 =
-    13_230_415_193_250_670_404_304_379_090_733_493_825_781_095_455_517_266_069_224_455_418_907_762_253_703;
+    73_712_057_753_386_887_278_787_400_600_421_166_257_337_249_383_532_897_612_755_159_051_862_588_716;
  uint256 constant deltax2 =
-    20_913_946_204_407_745_494_702_604_164_108_545_882_017_745_819_214_972_367_155_803_927_222_468_177_569;
+    17_838_259_529_838_485_406_872_362_261_336_315_588_259_651_695_147_656_151_175_887_183_766_663_167_227;
  uint256 constant deltay1 =
-    6_763_356_604_831_746_626_877_772_848_531_949_427_648_444_424_334_252_489_507_221_984_493_135_385_803;
+    21_572_110_967_738_371_130_980_582_612_407_141_022_569_080_033_980_241_905_689_742_698_493_693_902_211;
  uint256 constant deltay2 =
-    13_916_152_422_962_390_249_986_477_350_486_038_697_279_827_828_779_437_999_842_777_394_752_025_826_922;
+    14_911_365_522_566_990_301_624_399_798_135_221_704_649_796_655_110_277_593_879_804_468_224_218_648_506;

  uint256 constant IC0x =
    5_954_542_358_255_226_704_823_440_350_389_128_520_840_961_859_578_816_778_653_916_076_718_164_954_104;
@@ -250,3 +250,4 @@ contract WithdrawalVerifier {
    }
  }
 }
+