logos-messaging/logos-messaging-rlnv2-contract
1
0
Fork 0
mirror of https://github.com/logos-messaging/logos-messaging-rlnv2-contract.git synced 2026-01-05 15:33:08 +00:00
Code Issues Packages Projects Releases Wiki Activity

fix: invalid commitments in

Browse Source 
test_attemptErasureRace_WakuRLN
This commit is contained in:
Roman 2025-10-29 14:45:03 +08:00
parent c4d0e7f424
commit 910f757c9c
No known key found for this signature in database
GPG Key ID: 583BDF43C238B83E
1 changed files with 20 additions and 22 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

42
test/EchidnaReplay.t.sol
View File

@ -18,28 +18,33 @@ contract EchidnaReplay is Test {
vm.warp(block.timestamp + 5_474_623);
vm.prank(0x0000000000000000000000000000000000020000);
echidna.registerMembership(
15_331_181_254_680_049_984_374_210_433_775_713_530_849_624_954_688_899_814_297_733_641_575_188_164_316,
1_002_356_836
9_232_262_805_086_961_470_140_171_118_068_527_502_773_883_397_953_635_627_654_272_948_280_162_222_460, // Valid
// Baby Jubjub point x
100 // Reduced duration
);
vm.roll(block.number + 47_085);
vm.warp(block.timestamp + 9_714_873);
vm.prank(0x0000000000000000000000000000000000040000);
echidna.registerMembership(
57_443_432_183_176_588_916_867_111_037_381_903_541_553_297_067_891_717_016_451_751_957_342_384_738_336,
160_001
1_146_454_861_477_987_609_722_193_068_493_335_872_063_213_810_781_901_067_275_896_485_680_154_245_472, // Valid
// Baby Jubjub point y (used as x for variety)
100 // Reduced duration
);
vm.roll(block.number + 38_103);
vm.warp(block.timestamp + 4_558_906);
vm.prank(0x0000000000000000000000000000000000010000);
echidna.registerMembership(
102_920_729_880_426_261_698_536_426_573_884_612_971_230_188_871_291_431_396_182_739_877_428_962_960_239,
2_847_778_459
21_166_949_849_736_108_178_593_290_733_041_673_195_425_050_355_037_214_376_832_942_606_083_908_688_572, // From
// signature R x
100 // Reduced duration
);
vm.roll(block.number + 29_746);
vm.warp(block.timestamp + 13_228_720);
vm.prank(0x0000000000000000000000000000000000040000);
echidna.registerMembership(
86_642_110_490_369_375_485_379_969_193_766_212_650_854_355_737_426_080_322_527_445_883_017_455_452_642, 4
5_042_557_814_597_858_929_471_199_758_284_795_017_757_988_233_023_087_832_786_942_557_701_125_530_716, // From
// signature R y
100 // Reduced duration
);
vm.roll(block.number + 58_772);
vm.warp(block.timestamp + 16_726_535);
@ -121,56 +126,49 @@ contract EchidnaReplay is Test {
vm.warp(block.timestamp + 1);
vm.prank(0x0000000000000000000000000000000000030000);
echidna.registerMembership(
93_069_777_957_716_534_626_511_592_676_095_128_883_541_549_173_304_417_502_211_440_887_097_265_352_764,
23_935_070
93_069_777_957_716_534_626_511_592_676_095_128_883_541_549_173_304_417_502_211_440_887_097_265_352_764, 100
);
vm.roll(block.number + 46_636);
vm.warp(block.timestamp + 11_821_678);
vm.prank(0x0000000000000000000000000000000000010000);
echidna.registerMembership(
51_522_906_060_057_278_679_990_947_101_404_412_153_472_957_736_268_514_263_884_637_927_398_269_578_188,
1_190_462_738
51_522_906_060_057_278_679_990_947_101_404_412_153_472_957_736_268_514_263_884_637_927_398_269_578_188, 100
);
vm.roll(block.number + 57_888);
vm.warp(block.timestamp + 11_470_172);
vm.prank(0x0000000000000000000000000000000000030000);
echidna.registerMembership(
61_542_542_599_287_154_647_970_081_191_182_610_995_985_456_890_733_246_815_310_689_354_155_913_446_715,
425_830_326
61_542_542_599_287_154_647_970_081_191_182_610_995_985_456_890_733_246_815_310_689_354_155_913_446_715, 100
);
vm.roll(block.number + 53_678);
vm.warp(block.timestamp + 1_059_409);
vm.prank(0x0000000000000000000000000000000000040000);
echidna.registerMembership(
15_151_206_851_768_761_922_626_779_419_716_885_032_550_609_243_972_739_304_354_508_404_025_123_978_483,
1_532_892_061
15_151_206_851_768_761_922_626_779_419_716_885_032_550_609_243_972_739_304_354_508_404_025_123_978_483, 100
);
vm.roll(block.number + 9163);
vm.warp(block.timestamp + 5_088_962);
vm.prank(0x0000000000000000000000000000000000010000);
echidna.registerMembership(
14_081_762_237_856_300_239_452_543_304_351_251_708_585_712_948_734_528_663_957_353_575_674_639_038_360,
1_578_212_921
14_081_762_237_856_300_239_452_543_304_351_251_708_585_712_948_734_528_663_957_353_575_674_639_038_360, 100
);
vm.roll(block.number + 57_370);
vm.warp(block.timestamp + 7_211_971);
vm.prank(0x0000000000000000000000000000000000010000);
echidna.registerMembership(
108_963_296_912_626_303_058_593_673_031_410_359_103_080_213_800_576_845_606_511_577_526_451_809_781_764, 597
108_963_296_912_626_303_058_593_673_031_410_359_103_080_213_800_576_845_606_511_577_526_451_809_781_764, 100
);
vm.roll(block.number + 52_325);
vm.warp(block.timestamp + 7_269_956);
vm.prank(0x0000000000000000000000000000000000040000);
echidna.registerMembership(
59_854_361_444_067_331_214_800_449_562_275_531_518_062_284_755_304_292_849_816_766_824_186_269_102_025,
359_384_427
59_854_361_444_067_331_214_800_449_562_275_531_518_062_284_755_304_292_849_816_766_824_186_269_102_025, 100
);
vm.roll(block.number + 13);
vm.warp(block.timestamp + 11_809_403);
vm.prank(0x0000000000000000000000000000000000030000);
echidna.registerMembership(
30_515_202_238_888_354_901_379_804_575_700_505_769_761_565_567_680_891_590_302_236_564_961_093_984_633,
15_551_999
30_515_202_238_888_354_901_379_804_575_700_505_769_761_565_567_680_891_590_302_236_564_961_093_984_633, 100
);
vm.roll(block.number + 50_167);
vm.warp(block.timestamp + 10_228_636);