github/privacy-pools-core
1
1
Fork 0
mirror of https://github.com/0xbow-io/privacy-pools-core.git synced 2026-01-09 09:27:58 -05:00
Code Issues 16 Packages Projects Releases Wiki Activity

feat: trusted setup circuits keys

Browse Source
This commit is contained in:
moebius
2025-03-06 20:40:49 +01:00
parent e11a235b9a
commit 5d054f93cb
16 changed files with 402 additions and 109 deletions
Download Patch File Download Diff File Expand all files Collapse all files

20
packages/circuits/package.json
View File

@@ -24,18 +24,18 @@
"prove:commitment": "npx circomkit prove commitment default",
"verify:withdraw": "npx circomkit verify withdraw default",
"verify:commitment": "npx circomkit verify commitment default",
"gencontract:withdraw": "npx snarkjs zkey export solidityverifier build/withdraw/groth16_pkey.zkey WithdrawalVerifier.sol",
"gencontract:commitment": "npx snarkjs zkey export solidityverifier build/commitment/groth16_pkey.zkey CommitmentVerifier.sol"
"gencontract:withdraw": "npx snarkjs zkey export solidityverifier trusted-setup/final-keys/withdraw.zkey WithdrawalVerifier.sol",
"gencontract:commitment": "npx snarkjs zkey export solidityverifier trusted-setup/final-keys/ragequit.zkey CommitmentVerifier.sol"
},
"dependencies": {
"@zk-kit/lean-imt": "^2.2.2",
"chai": "^5.1.2",
"circomkit": "^0.3.2",
"circomlib": "^2.0.5",
"maci-circuits": "^2.5.0",
"maci-crypto": "^2.5.0",
"snarkjs": "^0.7.5",
"viem": "^2.21.57"
"@zk-kit/lean-imt": "2.2.2",
"chai": "5.1.2",
"circomkit": "0.3.2",
"circomlib": "2.0.5",
"maci-circuits": "2.5.0",
"maci-crypto": "2.5.0",
"snarkjs": "0.7.5",
"viem": "2.21.57"
},
"devDependencies": {
"@types/mocha": "^10.0.1",

9
packages/circuits/scripts/present.sh
View File

@@ -1,13 +1,12 @@
#!/bin/bash
CIRCUITS=("merkleTree" "commitment" "withdraw")
BUILD_DIR="build"
CIRCUITS=("commitment" "withdraw")
DEST_DIR="artifacts"
mkdir -p "$DEST_DIR"
for circuit in "${CIRCUITS[@]}"
do
cp "$BUILD_DIR/$circuit/groth16_pkey.zkey" "$DEST_DIR/${circuit}.zkey"
cp "$BUILD_DIR/$circuit/groth16_vkey.json" "$DEST_DIR/${circuit}.vkey"
cp "$BUILD_DIR/$circuit/${circuit}_js/${circuit}.wasm" "$DEST_DIR/"
cp "trusted-setup/final-keys/$circuit.zkey" "$DEST_DIR/${circuit}.zkey"
cp "trusted-setup/final-keys/$circuit.vkey" "$DEST_DIR/${circuit}.vkey"
cp "build/$circuit/${circuit}_js/${circuit}.wasm" "$DEST_DIR/"
done

1
packages/circuits/trusted-setup/beacon_hash Normal file
View File

@@ -0,0 +1 @@
c87bd495d8ccfe9fb4158ee26d47e5ca2bcd4e853f80c9fdebf7e2921630e6e5

109
packages/circuits/trusted-setup/final-keys/commitment.vkey Normal file
View File

@@ -0,0 +1,109 @@
{
"protocol": "groth16",
"curve": "bn128",
"nPublic": 4,
"vk_alpha_1": [
"16428432848801857252194528405604668803277877773566238944394625302971855135431",
"16846502678714586896801519656441059708016666274385668027902869494772365009666",
"1"
],
"vk_beta_2": [
[
"16348171800823588416173124589066524623406261996681292662100840445103873053252",
"3182164110458002340215786955198810119980427837186618912744689678939861918171"
],
[
"19687132236965066906216944365591810874384658708175106803089633851114028275753",
"4920802715848186258981584729175884379674325733638798907835771393452862684714"
],
[
"1",
"0"
]
],
"vk_gamma_2": [
[
"10857046999023057135944570762232829481370756359578518086990519993285655852781",
"11559732032986387107991004021392285783925812861821192530917403151452391805634"
],
[
"8495653923123431417604973247489272438418190587263600148770280649306958101930",
"4082367875863433681332203403145435568316851327593401208105741076214120093531"
],
[
"1",
"0"
]
],
"vk_delta_2": [
[
"21776852187814503669288941195438703300133533055551110414135507755772009048755",
"14071349277984160738769650232570048842420599174481891079570637520850148195985"
],
[
"14829896038465638754619183039629777804281009075842360651276603555963792313589",
"17768817325504614104442767796226297300876042529701251019410487903768062418156"
],
[
"1",
"0"
]
],
"vk_alphabeta_12": [
[
[
"5275725312362878540782176211860327475781113689246818544623830805017503247034",
"700769043921060225711174322502145319612473365595920873303028146383045646735"
],
[
"16577533945604560505206253312979863148043263406037367789711279754781525822966",
"9408338099405950952721388539539775335199747835458172188116297223654842340186"
],
[
"12663399896275491035004982800573482669934131767886952660443268164480899034271",
"4432711152773877173921024337047412943791122852326272337530740732443732395954"
]
],
[
[
"13121778684901402722679281862736806628725205381360313795132945954337708567513",
"9534744673358550231812045647241180985734073058548683258847806241019905135720"
],
[
"21329152369227346659770815132468371951064045353268189088026893413117512652875",
"17209195434408943681049655974234541356066884378594227002358272904159790622854"
],
[
"5346467096835895366917814311591075634165750361894629082277248282132405045579",
"15508364027636868967189209273443690126627947943852338696115233789046842639684"
]
]
],
"IC": [
[
"19389685603863983493459600466245000912176323935722089191442216924893875659471",
"21368310947604120084615976168620713319957912144314383367152441982584687704754",
"1"
],
[
"20480370908727861268768811690351970824724320271007139967515539994552383745448",
"6543788534290546924704177190532160218635019071447323280686282609769447108534",
"1"
],
[
"6221997045242061390626775825094098886891157777390462309437733708122892686303",
"2977171917149158683110905238240269877054732203916711132834349252293157981665",
"1"
],
[
"17383678627611548606682427983617497767432126302933563182026534678391392668921",
"3215629258564266791517073142612182991488671524212271597007691057737644736842",
"1"
],
[
"8279881556386467131443125483794142587933910369215858657040335636659378561647",
"13829047140424789745087385395711127297752590615995160902909738061982036826097",
"1"
]
]
}

BIN
packages/circuits/trusted-setup/final-keys/commitment.zkey Normal file
View File

Binary file not shown.

129
packages/circuits/trusted-setup/final-keys/withdraw.vkey Normal file
View File

@@ -0,0 +1,129 @@
{
"protocol": "groth16",
"curve": "bn128",
"nPublic": 8,
"vk_alpha_1": [
"16428432848801857252194528405604668803277877773566238944394625302971855135431",
"16846502678714586896801519656441059708016666274385668027902869494772365009666",
"1"
],
"vk_beta_2": [
[
"16348171800823588416173124589066524623406261996681292662100840445103873053252",
"3182164110458002340215786955198810119980427837186618912744689678939861918171"
],
[
"19687132236965066906216944365591810874384658708175106803089633851114028275753",
"4920802715848186258981584729175884379674325733638798907835771393452862684714"
],
[
"1",
"0"
]
],
"vk_gamma_2": [
[
"10857046999023057135944570762232829481370756359578518086990519993285655852781",
"11559732032986387107991004021392285783925812861821192530917403151452391805634"
],
[
"8495653923123431417604973247489272438418190587263600148770280649306958101930",
"4082367875863433681332203403145435568316851327593401208105741076214120093531"
],
[
"1",
"0"
]
],
"vk_delta_2": [
[
"11377546232269146885719711323617440487334358631817944307305954377320021081609",
"355730187017390060257088699243557931444743893437609284639879195946356391671"
],
[
"14925671126934765953425446845541707408298799882358491896288696759849089416456",
"14828571047823507951936654719331566168682863576761372686128260593891040163007"
],
[
"1",
"0"
]
],
"vk_alphabeta_12": [
[
[
"5275725312362878540782176211860327475781113689246818544623830805017503247034",
"700769043921060225711174322502145319612473365595920873303028146383045646735"
],
[
"16577533945604560505206253312979863148043263406037367789711279754781525822966",
"9408338099405950952721388539539775335199747835458172188116297223654842340186"
],
[
"12663399896275491035004982800573482669934131767886952660443268164480899034271",
"4432711152773877173921024337047412943791122852326272337530740732443732395954"
]
],
[
[
"13121778684901402722679281862736806628725205381360313795132945954337708567513",
"9534744673358550231812045647241180985734073058548683258847806241019905135720"
],
[
"21329152369227346659770815132468371951064045353268189088026893413117512652875",
"17209195434408943681049655974234541356066884378594227002358272904159790622854"
],
[
"5346467096835895366917814311591075634165750361894629082277248282132405045579",
"15508364027636868967189209273443690126627947943852338696115233789046842639684"
]
]
],
"IC": [
[
"20917852783971662989037834579922189207796850157455689196836407829693273058181",
"14309172700509163829827835936087829189193823544006124999667589607573555153317",
"1"
],
[
"4002318554163308338961115195600756325669504095744400749661836505711747131480",
"19388553801400869339697580180794985615392396320851212290435880306887322433262",
"1"
],
[
"4254123736274716305094004322466639736349000292613093104635160011340821139688",
"19581123507269704428735684612376263280905609143077051758684797548075203355862",
"1"
],
[
"12829149822163537636941647022474968478908625676617259064999683111486877280191",
"11906986527782177454913261933143777359684553833291705890148735374364062300950",
"1"
],
[
"14959519196996577022953934863461427249996916985368164934760550902108247251314",
"17153998018818455451015682095753537372058398415644924731407055981674255991568",
"1"
],
[
"386592992276936501107132673378759567169940445750810516666781824566579325489",
"6545363418535856048783449340812901581000301323807547677423370106415935030419",
"1"
],
[
"14405334651179970829248032802453416652902403107461697011217734903378819167500",
"5941867495000526980426755384727509338287954936978959436019043816230884260430",
"1"
],
[
"6593325309923573421969784559603844408437482353554868263039840702125354704945",
"19710681365262161445645108505967116609968223704683705865914938644210040221046",
"1"
],
[
"13832774438085654502815602896317109691851791928314457690314578958243235503172",
"2034154171145211628085643224823864015412822036123513499722451852634747199812",
"1"
]
]
}

BIN
packages/circuits/trusted-setup/final-keys/withdraw.zkey Normal file
View File

Binary file not shown.

1
packages/circuits/trusted-setup/final_contribution_beacon Normal file
View File

@@ -0,0 +1 @@
21989617

BIN
packages/circuits/trusted-setup/last-keys/ragequit_00513.zkey Normal file
View File

Binary file not shown.

BIN
packages/circuits/trusted-setup/last-keys/withdraw_00514.zkey Normal file
View File

Binary file not shown.

4
packages/contracts/.env.example
View File

@@ -1,4 +1,4 @@
MAINNET_RPC=
ETHEREUM_MAINNET_RPC=
MAINNET_DEPLOYER_NAME=
SEPOLIA_RPC=
@@ -8,5 +8,3 @@ ETHERSCAN_API_KEY=
OWNER_ADDRESS=
POSTMAN_ADDRESS=
VERIFIER_ADDRESS=
ENTRYPOINT_ADDRESS=

2
packages/contracts/package.json
View File

@@ -37,7 +37,7 @@
"@openzeppelin/foundry-upgrades": "0.3.6",
"@zk-kit/lean-imt": "2.2.2",
"@zk-kit/lean-imt.sol": "2.0.0",
"poseidon-solidity": "^0.0.5",
"poseidon-solidity": "0.0.5",
"solc": "0.8.28",
"viem": "^2.23.2"
},

42
packages/contracts/src/contracts/verifiers/CommitmentVerifier.sol
View File

@@ -18,8 +18,6 @@
along with snarkJS. If not, see <https://www.gnu.org/licenses/>.
*/
// NOTE: this contract was generated using the Hermez Rollup precalculated Powers of Tau. This contract MUST be used for testing purposes only.
pragma solidity >=0.7.0 <0.9.0;
contract CommitmentVerifier {
@@ -32,17 +30,17 @@ contract CommitmentVerifier {
// Verification Key data
uint256 constant alphax =
20_491_192_805_390_485_299_153_009_773_594_534_940_189_261_866_228_447_918_068_658_471_970_481_763_042;
16_428_432_848_801_857_252_194_528_405_604_668_803_277_877_773_566_238_944_394_625_302_971_855_135_431;
uint256 constant alphay =
9_383_485_363_053_290_200_918_347_156_157_836_566_562_967_994_039_712_273_449_902_621_266_178_545_958;
16_846_502_678_714_586_896_801_519_656_441_059_708_016_666_274_385_668_027_902_869_494_772_365_009_666;
uint256 constant betax1 =
4_252_822_878_758_300_859_123_897_981_450_591_353_533_073_413_197_771_768_651_442_665_752_259_397_132;
3_182_164_110_458_002_340_215_786_955_198_810_119_980_427_837_186_618_912_744_689_678_939_861_918_171;
uint256 constant betax2 =
6_375_614_351_688_725_206_403_948_262_868_962_793_625_744_043_794_305_715_222_011_528_459_656_738_731;
16_348_171_800_823_588_416_173_124_589_066_524_623_406_261_996_681_292_662_100_840_445_103_873_053_252;
uint256 constant betay1 =
21_847_035_105_528_745_403_288_232_691_147_584_728_191_162_732_299_865_338_377_159_692_350_059_136_679;
4_920_802_715_848_186_258_981_584_729_175_884_379_674_325_733_638_798_907_835_771_393_452_862_684_714;
uint256 constant betay2 =
10_505_242_626_370_262_277_552_901_082_094_356_697_409_835_680_220_590_971_873_171_140_371_331_206_856;
19_687_132_236_965_066_906_216_944_365_591_810_874_384_658_708_175_106_803_089_633_851_114_028_275_753;
uint256 constant gammax1 =
11_559_732_032_986_387_107_991_004_021_392_285_783_925_812_861_821_192_530_917_403_151_452_391_805_634;
uint256 constant gammax2 =
@@ -52,38 +50,38 @@ 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 =
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;
14_071_349_277_984_160_738_769_650_232_570_048_842_420_599_174_481_891_079_570_637_520_850_148_195_985;
uint256 constant deltax2 =
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;
21_776_852_187_814_503_669_288_941_195_438_703_300_133_533_055_551_110_414_135_507_755_772_009_048_755;
uint256 constant deltay1 =
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;
17_768_817_325_504_614_104_442_767_796_226_297_300_876_042_529_701_251_019_410_487_903_768_062_418_156;
uint256 constant deltay2 =
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;
14_829_896_038_465_638_754_619_183_039_629_777_804_281_009_075_842_360_651_276_603_555_963_792_313_589;
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;
19_389_685_603_863_983_493_459_600_466_245_000_912_176_323_935_722_089_191_442_216_924_893_875_659_471;
uint256 constant IC0y =
10_907_590_284_113_869_617_484_274_240_268_476_524_847_769_824_791_981_908_687_430_628_861_786_438_015;
21_368_310_947_604_120_084_615_976_168_620_713_319_957_912_144_314_383_367_152_441_982_584_687_704_754;
uint256 constant IC1x =
10_474_414_297_782_319_012_492_981_593_026_892_901_081_275_462_495_776_991_555_687_221_816_541_216_900;
20_480_370_908_727_861_268_768_811_690_351_970_824_724_320_271_007_139_967_515_539_994_552_383_745_448;
uint256 constant IC1y =
15_321_095_481_963_456_890_874_969_330_033_977_457_618_275_793_259_026_176_586_929_376_066_181_453_736;
6_543_788_534_290_546_924_704_177_190_532_160_218_635_019_071_447_323_280_686_282_609_769_447_108_534;
uint256 constant IC2x =
7_167_757_742_959_859_522_698_341_494_851_878_743_413_875_657_020_912_040_299_669_857_452_661_163_359;
6_221_997_045_242_061_390_626_775_825_094_098_886_891_157_777_390_462_309_437_733_708_122_892_686_303;
uint256 constant IC2y =
15_724_055_535_526_981_576_292_094_793_112_385_921_772_371_884_091_294_850_568_057_565_255_098_482_790;
2_977_171_917_149_158_683_110_905_238_240_269_877_054_732_203_916_711_132_834_349_252_293_157_981_665;
uint256 constant IC3x =
4_253_717_979_618_709_549_511_897_964_339_151_958_398_524_443_435_855_283_275_007_931_257_641_362_042;
17_383_678_627_611_548_606_682_427_983_617_497_767_432_126_302_933_563_182_026_534_678_391_392_668_921;
uint256 constant IC3y =
13_089_251_678_429_301_842_185_423_084_234_296_438_125_447_237_586_343_714_423_671_687_573_864_414_557;
3_215_629_258_564_266_791_517_073_142_612_182_991_488_671_524_212_271_597_007_691_057_737_644_736_842;
uint256 constant IC4x =
5_720_438_927_695_094_619_253_011_981_916_629_818_160_255_604_092_226_836_470_980_486_355_013_686_586;
8_279_881_556_386_467_131_443_125_483_794_142_587_933_910_369_215_858_657_040_335_636_659_378_561_647;
uint256 constant IC4y =
10_706_881_117_441_550_589_757_930_942_070_042_747_676_062_817_527_420_799_708_567_442_202_684_614_153;
13_829_047_140_424_789_745_087_385_395_711_127_297_752_590_615_995_160_902_909_738_061_982_036_826_097;
// Memory data
uint16 constant pVk = 0;

58
packages/contracts/src/contracts/verifiers/WithdrawalVerifier.sol
View File

@@ -18,8 +18,6 @@
along with snarkJS. If not, see <https://www.gnu.org/licenses/>.
*/
// NOTE: this contract was generated using the Hermez Rollup precalculated Powers of Tau. This contract MUST be used for testing purposes only.
pragma solidity >=0.7.0 <0.9.0;
contract WithdrawalVerifier {
@@ -32,17 +30,17 @@ contract WithdrawalVerifier {
// Verification Key data
uint256 constant alphax =
20_491_192_805_390_485_299_153_009_773_594_534_940_189_261_866_228_447_918_068_658_471_970_481_763_042;
16_428_432_848_801_857_252_194_528_405_604_668_803_277_877_773_566_238_944_394_625_302_971_855_135_431;
uint256 constant alphay =
9_383_485_363_053_290_200_918_347_156_157_836_566_562_967_994_039_712_273_449_902_621_266_178_545_958;
16_846_502_678_714_586_896_801_519_656_441_059_708_016_666_274_385_668_027_902_869_494_772_365_009_666;
uint256 constant betax1 =
4_252_822_878_758_300_859_123_897_981_450_591_353_533_073_413_197_771_768_651_442_665_752_259_397_132;
3_182_164_110_458_002_340_215_786_955_198_810_119_980_427_837_186_618_912_744_689_678_939_861_918_171;
uint256 constant betax2 =
6_375_614_351_688_725_206_403_948_262_868_962_793_625_744_043_794_305_715_222_011_528_459_656_738_731;
16_348_171_800_823_588_416_173_124_589_066_524_623_406_261_996_681_292_662_100_840_445_103_873_053_252;
uint256 constant betay1 =
21_847_035_105_528_745_403_288_232_691_147_584_728_191_162_732_299_865_338_377_159_692_350_059_136_679;
4_920_802_715_848_186_258_981_584_729_175_884_379_674_325_733_638_798_907_835_771_393_452_862_684_714;
uint256 constant betay2 =
10_505_242_626_370_262_277_552_901_082_094_356_697_409_835_680_220_590_971_873_171_140_371_331_206_856;
19_687_132_236_965_066_906_216_944_365_591_810_874_384_658_708_175_106_803_089_633_851_114_028_275_753;
uint256 constant gammax1 =
11_559_732_032_986_387_107_991_004_021_392_285_783_925_812_861_821_192_530_917_403_151_452_391_805_634;
uint256 constant gammax2 =
@@ -52,58 +50,58 @@ 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 =
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;
355_730_187_017_390_060_257_088_699_243_557_931_444_743_893_437_609_284_639_879_195_946_356_391_671;
uint256 constant deltax2 =
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;
11_377_546_232_269_146_885_719_711_323_617_440_487_334_358_631_817_944_307_305_954_377_320_021_081_609;
uint256 constant deltay1 =
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;
14_828_571_047_823_507_951_936_654_719_331_566_168_682_863_576_761_372_686_128_260_593_891_040_163_007;
uint256 constant deltay2 =
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;
14_925_671_126_934_765_953_425_446_845_541_707_408_298_799_882_358_491_896_288_696_759_849_089_416_456;
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;
20_917_852_783_971_662_989_037_834_579_922_189_207_796_850_157_455_689_196_836_407_829_693_273_058_181;
uint256 constant IC0y =
19_478_395_007_811_459_164_170_849_967_888_067_954_284_420_107_659_112_447_936_045_222_877_478_028_155;
14_309_172_700_509_163_829_827_835_936_087_829_189_193_823_544_006_124_999_667_589_607_573_555_153_317;
uint256 constant IC1x =
939_520_433_615_386_846_870_643_004_591_111_759_679_015_179_059_721_411_620_955_194_578_600_993_879;
4_002_318_554_163_308_338_961_115_195_600_756_325_669_504_095_744_400_749_661_836_505_711_747_131_480;
uint256 constant IC1y =
4_991_377_186_889_934_987_629_778_707_116_655_924_149_800_597_008_638_344_870_092_051_698_616_234_377;
19_388_553_801_400_869_339_697_580_180_794_985_615_392_396_320_851_212_290_435_880_306_887_322_433_262;
uint256 constant IC2x =
16_145_213_852_524_552_938_188_684_173_645_767_259_267_129_310_114_283_025_265_612_363_129_636_337_154;
4_254_123_736_274_716_305_094_004_322_466_639_736_349_000_292_613_093_104_635_160_011_340_821_139_688;
uint256 constant IC2y =
1_732_644_168_740_351_316_705_303_020_323_916_501_386_116_681_305_849_042_542_231_584_469_362_168_236;
19_581_123_507_269_704_428_735_684_612_376_263_280_905_609_143_077_051_758_684_797_548_075_203_355_862;
uint256 constant IC3x =
2_258_528_467_553_052_712_961_117_170_854_449_667_778_207_554_104_324_380_823_554_459_635_162_933_545;
12_829_149_822_163_537_636_941_647_022_474_968_478_908_625_676_617_259_064_999_683_111_486_877_280_191;
uint256 constant IC3y =
12_958_740_285_017_492_819_350_216_519_755_841_600_711_746_193_375_371_473_558_800_660_618_436_286_056;
11_906_986_527_782_177_454_913_261_933_143_777_359_684_553_833_291_705_890_148_735_374_364_062_300_950;
uint256 constant IC4x =
1_925_927_471_867_228_937_013_962_243_578_213_724_467_692_336_440_215_495_910_789_299_557_077_186_516;
14_959_519_196_996_577_022_953_934_863_461_427_249_996_916_985_368_164_934_760_550_902_108_247_251_314;
uint256 constant IC4y =
1_246_082_004_897_931_361_756_161_407_296_959_950_757_107_649_506_399_500_667_544_802_177_634_617_908;
17_153_998_018_818_455_451_015_682_095_753_537_372_058_398_415_644_924_731_407_055_981_674_255_991_568;
uint256 constant IC5x =
11_717_413_929_857_745_557_982_679_405_518_390_945_320_339_872_499_163_630_629_788_499_563_043_191_005;
386_592_992_276_936_501_107_132_673_378_759_567_169_940_445_750_810_516_666_781_824_566_579_325_489;
uint256 constant IC5y =
11_483_972_396_989_937_739_184_056_642_564_126_144_908_636_894_112_522_377_039_849_814_271_376_124_053;
6_545_363_418_535_856_048_783_449_340_812_901_581_000_301_323_807_547_677_423_370_106_415_935_030_419;
uint256 constant IC6x =
11_607_850_068_490_217_106_666_683_734_746_776_347_209_394_379_159_393_725_655_587_615_781_457_665_206;
14_405_334_651_179_970_829_248_032_802_453_416_652_902_403_107_461_697_011_217_734_903_378_819_167_500;
uint256 constant IC6y =
747_087_201_271_795_988_402_939_765_727_764_258_216_303_748_245_613_568_229_095_116_667_725_404_376;
5_941_867_495_000_526_980_426_755_384_727_509_338_287_954_936_978_959_436_019_043_816_230_884_260_430;
uint256 constant IC7x =
19_550_498_529_930_412_297_816_357_469_077_337_760_543_868_054_322_680_790_981_748_131_589_104_041_567;
6_593_325_309_923_573_421_969_784_559_603_844_408_437_482_353_554_868_263_039_840_702_125_354_704_945;
uint256 constant IC7y =
21_777_276_686_705_049_677_287_388_189_947_468_972_292_284_605_441_887_434_437_559_325_455_370_788_399;
19_710_681_365_262_161_445_645_108_505_967_116_609_968_223_704_683_705_865_914_938_644_210_040_221_046;
uint256 constant IC8x =
12_198_206_262_149_507_623_604_983_338_587_544_617_689_590_556_233_050_651_320_145_320_400_790_229_732;
13_832_774_438_085_654_502_815_602_896_317_109_691_851_791_928_314_457_690_314_578_958_243_235_503_172;
uint256 constant IC8y =
1_793_573_329_756_085_905_829_978_158_980_596_904_214_513_348_911_192_851_332_607_510_223_915_335_586;
2_034_154_171_145_211_628_085_643_224_823_864_015_412_822_036_123_513_499_722_451_852_634_747_199_812;
// Memory data
uint16 constant pVk = 0;

9
packages/sdk/scripts/copy_circuits.sh
View File

@@ -1,13 +1,12 @@
#!/bin/bash
CIRCUITS=("merkleTree" "commitment" "withdraw")
BUILD_DIR="../circuits/build"
CIRCUITS=("commitment" "withdraw")
DEST_DIR="./dist/node/artifacts"
mkdir -p "$DEST_DIR"
for circuit in "${CIRCUITS[@]}"
do
cp "$BUILD_DIR/$circuit/groth16_pkey.zkey" "$DEST_DIR/${circuit}.zkey"
cp "$BUILD_DIR/$circuit/groth16_vkey.json" "$DEST_DIR/${circuit}.vkey"
cp "$BUILD_DIR/$circuit/${circuit}_js/${circuit}.wasm" "$DEST_DIR/"
cp "../circuits/trusted-setup/final-keys/$circuit.zkey" "$DEST_DIR/${circuit}.zkey"
cp "../circuits/trusted-setup/final-keys/$circuit.vkey" "$DEST_DIR/${circuit}.vkey"
cp "../circuits/build/$circuit/${circuit}_js/${circuit}.wasm" "$DEST_DIR/"
done

127
yarn.lock
View File

@@ -1091,7 +1091,14 @@
dependencies:
"@noble/hashes" "1.4.0"
"@noble/curves@1.8.1", "@noble/curves@^1.6.0", "@noble/curves@~1.8.1":
"@noble/curves@1.7.0", "@noble/curves@~1.7.0":
version "1.7.0"
resolved "https://registry.yarnpkg.com/@noble/curves/-/curves-1.7.0.tgz#0512360622439256df892f21d25b388f52505e45"
integrity sha512-UTMhXK9SeDhFJVrHeUJ5uZlI6ajXg10O6Ddocf9S6GjbSBVZsJo88HzKwXznNfGpMTRDyJkqMjNDPYgf0qFWnw==
dependencies:
"@noble/hashes" "1.6.0"
"@noble/curves@1.8.1", "@noble/curves@^1.4.0", "@noble/curves@^1.6.0", "@noble/curves@~1.8.1":
version "1.8.1"
resolved "https://registry.yarnpkg.com/@noble/curves/-/curves-1.8.1.tgz#19bc3970e205c99e4bdb1c64a4785706bce497ff"
integrity sha512-warwspo+UYUPep0Q+vtdVB4Ugn8GGQj8iyB3gnRWsztmUHTI3S1nhdiWNsPUGL0vud7JlRRk1XEu7Lq1KGTnMQ==
@@ -1108,7 +1115,17 @@
resolved "https://registry.yarnpkg.com/@noble/hashes/-/hashes-1.4.0.tgz#45814aa329f30e4fe0ba49426f49dfccdd066426"
integrity sha512-V1JJ1WTRUqHHrOSh597hURcMqVKVGL/ea3kv0gSnEdsEZ0/+VyPghM1lMNGc00z7CIQorSvbKpuJkxvuHbvdbg==
"@noble/hashes@1.7.1", "@noble/hashes@^1.5.0", "@noble/hashes@~1.7.1":
"@noble/hashes@1.6.0":
version "1.6.0"
resolved "https://registry.yarnpkg.com/@noble/hashes/-/hashes-1.6.0.tgz#d4bfb516ad6e7b5111c216a5cc7075f4cf19e6c5"
integrity sha512-YUULf0Uk4/mAA89w+k3+yUYh6NrEvxZa5T6SY3wlMvE2chHkxFUUIDI8/XW1QSC357iA5pSnqt7XEhvFOqmDyQ==
"@noble/hashes@1.6.1", "@noble/hashes@~1.6.0":
version "1.6.1"
resolved "https://registry.yarnpkg.com/@noble/hashes/-/hashes-1.6.1.tgz#df6e5943edcea504bac61395926d6fd67869a0d5"
integrity sha512-pq5D8h10hHBjyqX+cfBm0i8JUXJ0UhczFc4r74zbuT9XgewFo2E3J1cOaGtdZynILNmQ685YWGzGE1Zv6io50w==
"@noble/hashes@1.7.1", "@noble/hashes@^1.4.0", "@noble/hashes@^1.5.0", "@noble/hashes@~1.7.1":
version "1.7.1"
resolved "https://registry.yarnpkg.com/@noble/hashes/-/hashes-1.7.1.tgz#5738f6d765710921e7a751e00c20ae091ed8db0f"
integrity sha512-B8XBPsn4vT/KJAGqDzbwztd+6Yte3P4V7iafm24bxgDe/mlRuK6xmWPuCNrKt2vDafZ8MfJLlchDG/vYafQEjQ==
@@ -1439,7 +1456,7 @@
resolved "https://registry.yarnpkg.com/@scure/base/-/base-1.1.9.tgz#e5e142fbbfe251091f9c5f1dd4c834ac04c3dbd1"
integrity sha512-8YKhl8GHiNI/pU2VMaofa2Tor7PJRAjwQLBBuilkJ9L5+13yVbC7JO/wS7piioAvPSwR3JKM1IJ/u4xQzbcXKg==
"@scure/base@~1.2.2", "@scure/base@~1.2.4":
"@scure/base@~1.2.1", "@scure/base@~1.2.2", "@scure/base@~1.2.4":
version "1.2.4"
resolved "https://registry.yarnpkg.com/@scure/base/-/base-1.2.4.tgz#002eb571a35d69bdb4c214d0995dff76a8dcd2a9"
integrity sha512-5Yy9czTO47mqz+/J8GM6GIId4umdCk1wc1q8rKERQulIoc8VP9pzDcghv10Tl2E7R96ZUx/PhND3ESYUQX8NuQ==
@@ -1453,6 +1470,15 @@
"@noble/hashes" "~1.4.0"
"@scure/base" "~1.1.6"
"@scure/bip32@1.6.0":
version "1.6.0"
resolved "https://registry.yarnpkg.com/@scure/bip32/-/bip32-1.6.0.tgz#6dbc6b4af7c9101b351f41231a879d8da47e0891"
integrity sha512-82q1QfklrUUdXJzjuRU7iG7D7XiFx5PHYVS0+oeNKhyDLT7WPqs6pBcM2W5ZdwOwKCwoE1Vy1se+DHjcXwCYnA==
dependencies:
"@noble/curves" "~1.7.0"
"@noble/hashes" "~1.6.0"
"@scure/base" "~1.2.1"
"@scure/bip32@1.6.2", "@scure/bip32@^1.5.0":
version "1.6.2"
resolved "https://registry.yarnpkg.com/@scure/bip32/-/bip32-1.6.2.tgz#093caa94961619927659ed0e711a6e4bf35bffd0"
@@ -1470,6 +1496,14 @@
"@noble/hashes" "~1.4.0"
"@scure/base" "~1.1.6"
"@scure/bip39@1.5.0":
version "1.5.0"
resolved "https://registry.yarnpkg.com/@scure/bip39/-/bip39-1.5.0.tgz#c8f9533dbd787641b047984356531d84485f19be"
integrity sha512-Dop+ASYhnrwm9+HA/HwXg7j2ZqM6yk2fyLWb5znexjctFY3+E+eU8cIWI0Pql0Qx4hPZCijlGq4OL71g+Uz30A==
dependencies:
"@noble/hashes" "~1.6.0"
"@scure/base" "~1.2.1"
"@scure/bip39@1.5.4", "@scure/bip39@^1.4.0":
version "1.5.4"
resolved "https://registry.yarnpkg.com/@scure/bip39/-/bip39-1.5.4.tgz#07fd920423aa671be4540d59bdd344cc1461db51"
@@ -1911,7 +1945,7 @@
dependencies:
poseidon-solidity "0.0.5"
"@zk-kit/lean-imt@2.2.2", "@zk-kit/lean-imt@^2.2.2":
"@zk-kit/lean-imt@2.2.2":
version "2.2.2"
resolved "https://registry.yarnpkg.com/@zk-kit/lean-imt/-/lean-imt-2.2.2.tgz#79c8bd70fc0d444638328cb4781479b14c69a9dd"
integrity sha512-rscIPEgBBcu9vP/DJ3J+3187G/ObKETl343G5enPawNT81oeQSdHx3e2ZapTC+GfrZ/AS2AHHUOpRS1FfdSwjg==
@@ -1951,6 +1985,11 @@ abitype@0.7.1:
resolved "https://registry.yarnpkg.com/abitype/-/abitype-0.7.1.tgz#16db20abe67de80f6183cf75f3de1ff86453b745"
integrity sha512-VBkRHTDZf9Myaek/dO3yMmOzB/y2s3Zo6nVU7yaw1G+TvCHAjwaJzNGN9yo4K5D8bU/VZXKP1EJpRhFr862PlQ==
abitype@1.0.7:
version "1.0.7"
resolved "https://registry.yarnpkg.com/abitype/-/abitype-1.0.7.tgz#876a0005d211e1c9132825d45bcee7b46416b284"
integrity sha512-ZfYYSktDQUwc2eduYu8C4wOs+RDPmnRYMh7zNfzeMtGGgb0U+6tLGjixUic6mXf5xKKCcgT5Qp6cv39tOARVFw==
abitype@1.0.8, abitype@^1.0.6:
version "1.0.8"
resolved "https://registry.yarnpkg.com/abitype/-/abitype-1.0.8.tgz#3554f28b2e9d6e9f35eb59878193eabd1b9f46ba"
@@ -2417,6 +2456,17 @@ caniuse-lite@^1.0.30001688:
resolved "https://registry.yarnpkg.com/caniuse-lite/-/caniuse-lite-1.0.30001696.tgz#00c30a2fc11e3c98c25e5125418752af3ae2f49f"
integrity sha512-pDCPkvzfa39ehJtJ+OwGT/2yvT2SbjfHhiIW2LWOAcMQ7BzwxT/XuyUp4OTOd0XFWA6BKw0JalnBHgSi5DGJBQ==
chai@5.1.2, chai@^5.1.2:
version "5.1.2"
resolved "https://registry.yarnpkg.com/chai/-/chai-5.1.2.tgz#3afbc340b994ae3610ca519a6c70ace77ad4378d"
integrity sha512-aGtmf24DW6MLHHG5gCx4zaI3uBq3KRtxeVs0DjFH6Z0rDNbsvTxFASFvdj79pxjxZ8/5u3PIiN3IwEIQkiiuPw==
dependencies:
assertion-error "^2.0.1"
check-error "^2.1.1"
deep-eql "^5.0.1"
loupe "^3.1.0"
pathval "^2.0.0"
chai@^4.3.6:
version "4.5.0"
resolved "https://registry.yarnpkg.com/chai/-/chai-4.5.0.tgz#707e49923afdd9b13a8b0b47d33d732d13812fd8"
@@ -2430,17 +2480,6 @@ chai@^4.3.6:
pathval "^1.1.1"
type-detect "^4.1.0"
chai@^5.1.2:
version "5.1.2"
resolved "https://registry.yarnpkg.com/chai/-/chai-5.1.2.tgz#3afbc340b994ae3610ca519a6c70ace77ad4378d"
integrity sha512-aGtmf24DW6MLHHG5gCx4zaI3uBq3KRtxeVs0DjFH6Z0rDNbsvTxFASFvdj79pxjxZ8/5u3PIiN3IwEIQkiiuPw==
dependencies:
assertion-error "^2.0.1"
check-error "^2.1.1"
deep-eql "^5.0.1"
loupe "^3.1.0"
pathval "^2.0.0"
chalk@^4.0.0, chalk@^4.0.2, chalk@^4.1.0, chalk@^4.1.2:
version "4.1.2"
resolved "https://registry.yarnpkg.com/chalk/-/chalk-4.1.2.tgz#aac4e2b7734a740867aeb16bf02aad556a1e7a01"
@@ -2534,7 +2573,7 @@ circom_tester@^0.0.19:
tmp-promise "^3.0.3"
util "^0.12.4"
circomkit@^0.3.1, circomkit@^0.3.2:
circomkit@0.3.2, circomkit@^0.3.1:
version "0.3.2"
resolved "https://registry.yarnpkg.com/circomkit/-/circomkit-0.3.2.tgz#9a0630cfc04595c494ffcfaf2be999fa77c85e3c"
integrity sha512-/ek/xtVNaBFlp2g12TPAfn9kSFUnZuKOiCvZFFnPn3JtZwi40r4eTDozPaaJKH4ZZx3alEgCr9MhOP24+o4CvA==
@@ -2543,7 +2582,7 @@ circomkit@^0.3.1, circomkit@^0.3.2:
commander "^12.1.0"
loglevel "^1.9.2"
circomlib@^2.0.5:
circomlib@2.0.5, circomlib@^2.0.5:
version "2.0.5"
resolved "https://registry.yarnpkg.com/circomlib/-/circomlib-2.0.5.tgz#183c703e53ed7d011811842dbeeeb9819f4cc1d6"
integrity sha512-O7NQ8OS+J4eshBuoy36z/TwQU0YHw8W3zxZcs4hVwpEll3e4hDm3mgkIPqItN8FDeLEKZFK3YeT/+k8TiLF3/A==
@@ -4592,7 +4631,7 @@ lru-cache@^6.0.0:
dependencies:
yallist "^4.0.0"
maci-circuits@^2.5.0:
maci-circuits@2.5.0:
version "2.5.0"
resolved "https://registry.yarnpkg.com/maci-circuits/-/maci-circuits-2.5.0.tgz#b8684917b7acc449fc5641ace80ff8218870d712"
integrity sha512-Jw7IupZ2IxMawgJeE9U4wqCalCNfKe6gcJIMTzAC2DzoDWI7Gy1Wr1VsbnsNcnBj0O9IwKnqU/y91z4W3ylfZg==
@@ -5085,6 +5124,19 @@ os-tmpdir@~1.0.2:
resolved "https://registry.yarnpkg.com/os-tmpdir/-/os-tmpdir-1.0.2.tgz#bbe67406c79aa85c5cfec766fe5734555dfa1274"
integrity sha512-D2FR03Vir7FIu45XBY20mTb+/ZSWB00sjU9jdQXt83gDrI4Ztz5Fs7/yy74g2N5SVQY4xY1qDr4rNddwYRVX0g==
ox@0.1.2:
version "0.1.2"
resolved "https://registry.yarnpkg.com/ox/-/ox-0.1.2.tgz#0f791be2ccabeaf4928e6d423498fe1c8094e560"
integrity sha512-ak/8K0Rtphg9vnRJlbOdaX9R7cmxD2MiSthjWGaQdMk3D7hrAlDoM+6Lxn7hN52Za3vrXfZ7enfke/5WjolDww==
dependencies:
"@adraffy/ens-normalize" "^1.10.1"
"@noble/curves" "^1.6.0"
"@noble/hashes" "^1.5.0"
"@scure/bip32" "^1.5.0"
"@scure/bip39" "^1.4.0"
abitype "^1.0.6"
eventemitter3 "5.0.1"
ox@0.6.7:
version "0.6.7"
resolved "https://registry.yarnpkg.com/ox/-/ox-0.6.7.tgz#afd53f2ecef68b8526660e9d29dee6e6b599a832"
@@ -5258,7 +5310,7 @@ poseidon-lite@0.3.0:
resolved "https://registry.yarnpkg.com/poseidon-lite/-/poseidon-lite-0.3.0.tgz#93c42f6f9b870f154f2722dfd686b909c4285765"
integrity sha512-ilJj4MIve4uBEG7SrtPqUUNkvpJ/pLVbndxa0WvebcQqeIhe+h72JR4g0EvwchUzm9sOQDlOjiDNmRAgxNZl4A==
poseidon-solidity@0.0.5, poseidon-solidity@^0.0.5:
poseidon-solidity@0.0.5:
version "0.0.5"
resolved "https://registry.yarnpkg.com/poseidon-solidity/-/poseidon-solidity-0.0.5.tgz#3f93e01cfe25f6d2f2fac49734fbb00961b84655"
integrity sha512-NzrvSwHzvZgT4hvg2GyGqeR+UOU/eLSEt4wAoXEua+VaR7NTKKwx1X9bPlh1VMBEVEno+IWvkRBbidFGzTeAqQ==
@@ -6450,6 +6502,21 @@ vary@^1, vary@~1.1.2:
resolved "https://registry.yarnpkg.com/vary/-/vary-1.1.2.tgz#2299f02c6ded30d4a5961b0b9f74524a18f634fc"
integrity sha512-BNGbWLfd0eUPabhkXUVm0j8uuvREyTh5ovRa/dyow/BqAbZJyC+5fU+IzQOzmAKzYqYRAISoRhdQr3eIZ/PXqg==
viem@2.21.57:
version "2.21.57"
resolved "https://registry.yarnpkg.com/viem/-/viem-2.21.57.tgz#bedbb444bb42e07ccc2264a9a0441903a113aab8"
integrity sha512-Mw4f4Dw0+Y/wSHdynVmP4uh+Cw15HEoj8BOKvKH5nGA6oFZYRxSy9Ruu7ZG8jexeAVCZ57aIuXb0gNg6Vb1x0g==
dependencies:
"@noble/curves" "1.7.0"
"@noble/hashes" "1.6.1"
"@scure/bip32" "1.6.0"
"@scure/bip39" "1.5.0"
abitype "1.0.7"
isows "1.0.6"
ox "0.1.2"
webauthn-p256 "0.0.10"
ws "8.18.0"
viem@2.22.14:
version "2.22.14"
resolved "https://registry.yarnpkg.com/viem/-/viem-2.22.14.tgz#acf1367704b29f0c00a58260702c9bee05c5dcbd"
@@ -6464,20 +6531,6 @@ viem@2.22.14:
ox "0.6.7"
ws "8.18.0"
viem@^2.21.57:
version "2.22.17"
resolved "https://registry.yarnpkg.com/viem/-/viem-2.22.17.tgz#71cb5793d898e7850d440653b0043803c2d00c8d"
integrity sha512-eqNhlPGgRLR29XEVUT2uuaoEyMiaQZEKx63xT1py9OYsE+ZwlVgjnfrqbXad7Flg2iJ0Bs5Hh7o0FfRWUJGHvg==
dependencies:
"@noble/curves" "1.8.1"
"@noble/hashes" "1.7.1"
"@scure/bip32" "1.6.2"
"@scure/bip39" "1.5.4"
abitype "1.0.8"
isows "1.0.6"
ox "0.6.7"
ws "8.18.0"
viem@^2.23.2:
version "2.23.2"
resolved "https://registry.yarnpkg.com/viem/-/viem-2.23.2.tgz#db395c8cf5f4fb5572914b962fb8ce5db09f681c"
@@ -6614,6 +6667,14 @@ web3-validator@^2.0.6:
web3-types "^1.6.0"
zod "^3.21.4"
webauthn-p256@0.0.10:
version "0.0.10"
resolved "https://registry.yarnpkg.com/webauthn-p256/-/webauthn-p256-0.0.10.tgz#877e75abe8348d3e14485932968edf3325fd2fdd"
integrity sha512-EeYD+gmIT80YkSIDb2iWq0lq2zbHo1CxHlQTeJ+KkCILWpVy3zASH3ByD4bopzfk0uCwXxLqKGLqp2W4O28VFA==
dependencies:
"@noble/curves" "^1.4.0"
"@noble/hashes" "^1.4.0"
which-typed-array@^1.1.16, which-typed-array@^1.1.2:
version "1.1.18"
resolved "https://registry.yarnpkg.com/which-typed-array/-/which-typed-array-1.1.18.tgz#df2389ebf3fbb246a71390e90730a9edb6ce17ad"