Commit Graph

  • 8a338f3544
    Chore/update-imt-dep (#49) main Tanya S 2025-11-28 10:18:07 +02:00
  • b560521a23
    Update imt dep source, pnpm version, max_total_ratelimit_per_epoch temp-with-imt-dep stubbsta 2025-11-28 09:33:07 +02:00
  • 3c396600d1
    update pnpm-lock.yml for new imt.sol dep stubbsta 2025-11-25 15:34:14 +02:00
  • 7be0fccf8a
    update pnpm version used in ci.yml stubbsta 2025-11-25 15:29:30 +02:00
  • 858f693a23
    add specific pnpm version dependency stubbsta 2025-11-25 15:06:24 +02:00
  • 9b4bd151bd
    Merge branch 'main' into chore/update-imt-dep stubbsta 2025-11-25 14:42:39 +02:00
  • fd9d4f4d7f
    Increase MAX_TOTAL_RATELIMIT_PER_EPOCH on deployment (#48) Tanya S 2025-11-25 14:42:08 +02:00
  • b771cb6691
    Use github as source for imt.sol dep stubbsta 2025-11-25 14:39:15 +02:00
  • e460429756
    Increase MAX_TOTAL_RATELIMIT_PER_EPOCH on deployment stubbsta 2025-11-25 11:54:05 +02:00
  • 8e3873253b
    use npm package for imt.sol dependency stubbsta 2025-11-25 09:29:29 +02:00
  • 81ede4d5f4
    Add root storage cache (#47) Tanya S 2025-11-24 13:52:05 +02:00
  • ee07450b65
    Add root cache tests and emit root storage event stubbsta 2025-11-24 11:29:36 +02:00
  • 1fd8247640
    Merge branch 'main' into feat/expand-root-storage-window to include updated tests stubbsta 2025-11-17 12:04:31 +02:00
  • 65f9e58df9
    chore: adversarial tests (#42) Roman Zajic 2025-11-14 19:16:11 +08:00
  • 0d161f6464
    fix: remove unused replay test Roman 2025-11-14 10:37:32 +08:00
  • b060b00717
    test: Echidna tests for races - add dynamic assertions before operation - untrack erased IDs Roman 2025-11-13 18:29:07 +08:00
  • 28d081092d
    fix: remove isolated test Roman 2025-11-13 18:21:20 +08:00
  • 10b89c6165
    test: focus on erasures with timestamps Roman 2025-11-13 15:45:12 +08:00
  • 657c91756e
    fix: adorno + archive EchidnaReplayRaces.t.sol Roman 2025-11-07 11:34:55 +08:00
  • 4de1b76db6
    fix: formatting Roman 2025-11-07 11:21:31 +08:00
  • d37817123c
    fix: formatting Roman 2025-11-07 11:18:01 +08:00
  • 010f9da90b
    fix: remove redundant file Roman 2025-11-07 10:45:38 +08:00
  • fb0fae7f27
    Merge remote-tracking branch 'origin/chore-adversarial-tests' into chore-adversarial-tests Roman 2025-11-07 09:41:55 +08:00
  • be79a4d145
    fix: cleanup after rebase Roman 2025-11-07 09:40:33 +08:00
  • 5d80fabd5a
    fix: line length Roman 2025-10-29 14:57:42 +08:00
  • f48a95be30
    fix: invalid commitments in test_attemptErasureRace_WakuRLN Roman 2025-10-29 14:45:03 +08:00
  • 4ac19d2d20
    fix: invalid commitment in test_attemptExtensionRace_WakuRLN Roman 2025-10-29 13:37:13 +08:00
  • 9fa235571d
    fix: test_attemptExtensionRace_WakuRLN Roman 2025-10-28 18:09:09 +08:00
  • 4e381c7356
    fix: Solidity version Roman 2025-10-28 18:07:54 +08:00
  • fb1053a8a7
    test: Echidna test replay Roman 2025-10-28 17:59:47 +08:00
  • f8d670e41e
    fix: remove test_MultiUserEraseReuseRace - test_TimestampManipulationRaces Roman 2025-10-27 12:55:35 +08:00
  • 7c8d2d7b89
    fix: delete MaliciousImplementation Roman 2025-10-20 09:51:49 +08:00
  • aefc0ed5a8
    fix: delete failing tests - test_MaliciousUpgradeDrainsFunds - testFrontrunning_RegistrationRevertsForVictim - testFrontrunning_SetFillingSpam Roman 2025-10-20 09:31:22 +08:00
  • 917265959b
    test: register during spam conditions Roman 2025-10-15 13:09:33 +11:00
  • f45fb65e9d
    fix: unused variables Roman 2025-10-15 12:10:27 +11:00
  • e4a81c9edc
    test: front running for registration Roman 2025-10-15 12:03:42 +11:00
  • 2463329182
    fix: rename tests Roman 2025-10-13 14:32:45 +11:00
  • af5839a253
    test: timestamp manipulation Roman 2025-10-13 14:24:15 +11:00
  • af846b2121
    fix: remove offchain lazy erase test - rate limit still applies Roman 2025-10-10 09:03:55 +11:00
  • e5867df29e
    fix: line length Roman 2025-10-09 14:38:33 +11:00
  • aa95aadef1
    test: offchain proof post lazy erase - multi-user erase reuse race Roman 2025-10-09 13:33:42 +11:00
  • 0f39a040eb
    test: show success when unauthorized upgrade after malicious Roman 2025-10-08 13:12:55 +11:00
  • f45228e51b
    fix: formatting Roman 2025-10-07 15:48:32 +11:00
  • ec524dd244
    test: malicious upgrade drains funds Roman 2025-10-07 15:30:28 +11:00
  • f5fff5cdc2
    chore: fuzz test expansion (#40) Roman Zajic 2025-11-07 09:20:49 +08:00
  • b2b127a798
    fix: remove unused local variables Roman 2025-10-31 11:07:49 +08:00
  • 9bfa4d11e2
    fix: max_test_rejects back to the original value Roman 2025-10-31 10:59:21 +08:00
  • 69404ebced
    fix: update run script Roman 2025-10-31 10:36:38 +08:00
  • 2a75fa11bc
    fix: change test mode to property Roman 2025-10-31 10:28:38 +08:00
  • c705ca1d98
    fix: remove bounds from invariants Roman 2025-10-31 10:21:08 +08:00
  • 34459e3660
    fix: remove unnecessary helpers Roman 2025-10-31 10:03:55 +08:00
  • 60462efcb1
    fix: remove unnecessary imports Roman 2025-10-31 09:36:52 +08:00
  • 1f9de376fd
    test: EchidnaTest contract Roman 2025-10-30 18:45:55 +08:00
  • be5e1b924f
    test: fuzzing for essential invariants Roman 2025-10-30 17:23:21 +08:00
  • 4d11485a1f
    Update to clarify comments stubbsta 2025-10-30 10:56:25 +02:00
  • 272c200007
    fix: formatting Roman 2025-10-30 16:21:26 +08:00
  • b06eacdcef
    fix: rename merged Echidna tests Roman 2025-10-30 16:14:55 +08:00
  • 416f074d5f
    fix: remove all tests originally meant for fuzzing Roman 2025-10-30 16:06:43 +08:00
  • 2904781fb4
    Improve comments for new fixed array stubbsta 2025-10-30 09:06:56 +02:00
  • c3eb4117cf
    fix: remove tests with high overlap Roman 2025-10-30 14:06:05 +08:00
  • 184914a0ef
    fix: formatting Roman 2025-10-30 13:15:55 +08:00
  • 0f22f3e4fd
    Merge remote-tracking branch 'origin/chore-add-fuzz-tests' into chore-add-fuzz-tests Roman 2025-10-30 13:11:42 +08:00
  • 55caf00182
    fix: update gas snapshot Roman 2025-10-03 10:40:17 +10:00
  • 5a4e007a14
    fix: optimized MerkleInsert MerkleErasures Roman 2025-10-03 09:52:05 +10:00
  • b811398a13
    test: GetMerkleProof Roman 2025-10-02 11:10:58 +10:00
  • 3e64d46e18
    test: GetRateCommitmentsRange Roman 2025-10-02 10:46:00 +10:00
  • 3f787f7013
    test: Merkle erasures Roman 2025-10-01 12:20:59 +10:00
  • 61d5adcd66
    test: Merkle inserts Roman 2025-10-01 11:03:28 +10:00
  • 95bff4b4dc
    test: set ActiveDuration Roman 2025-09-30 13:33:33 +10:00
  • b2d9c59e94
    test: set MaxTotalRateLimit Roman 2025-09-30 13:26:26 +10:00
  • 7f1a7c4b9b
    fix: line length Roman 2025-09-30 11:07:52 +10:00
  • 418e0142d6
    test: invalid extension with extreme values Roman 2025-09-30 10:42:43 +10:00
  • 6b313641a7
    fix: reduce complexity one step less Roman 2025-09-29 16:51:48 +10:00
  • c931f318cb
    fix: reduce cyclomatic complexity Roman 2025-09-29 16:31:56 +10:00
  • 9e8ba35651
    test: erasure with fullErase idCommitments Roman 2025-09-29 16:16:16 +10:00
  • 37afea8218
    fix: increase max rejects Roman 2025-09-26 11:10:09 +10:00
  • f41cb4c319
    test: multiple registers Roman 2025-09-26 11:02:06 +10:00
  • 2d57fe3caf
    test: register invalid Roman 2025-09-26 10:34:14 +10:00
  • 3805a53daa
    Update _eraseMemberships to upate roots stubbsta 2025-10-29 18:40:02 +02:00
  • 02389952a4
    fix: skip all Echidna tests in CI Roman 2025-10-29 15:06:45 +08:00
  • 1cd3c91d87
    fix: line length Roman 2025-10-29 14:57:42 +08:00
  • 910f757c9c
    fix: invalid commitments in test_attemptErasureRace_WakuRLN Roman 2025-10-29 14:45:03 +08:00
  • c4d0e7f424
    fix: invalid commitment in test_attemptExtensionRace_WakuRLN Roman 2025-10-29 13:37:13 +08:00
  • 5a2364a6ee
    fix: test_attemptExtensionRace_WakuRLN Roman 2025-10-28 18:09:09 +08:00
  • 2466d86788
    fix: Solidity version Roman 2025-10-28 18:07:54 +08:00
  • 6541accc59
    test: Echidna test replay Roman 2025-10-28 17:59:47 +08:00
  • 58c6c9f4a7
    Add fixed array for root history stubbsta 2025-10-27 11:30:04 +02:00
  • d7856103a0
    fix: run and cleanup scripts for echidna Roman 2025-10-27 14:17:36 +08:00
  • f735f68b5b
    fix: tune config file Roman 2025-10-27 13:59:00 +08:00
  • ab0aed0bbc
    test: Echidna contract with invariants - registerMembership - attemptExtensionRace - attemptErasureRace Roman 2025-10-27 13:31:46 +08:00
  • 0be627965f
    fix: skip Echidna contract during forge test Roman 2025-10-27 13:12:25 +08:00
  • 6db28fa889
    fix: remove test_MultiUserEraseReuseRace - test_TimestampManipulationRaces Roman 2025-10-27 12:55:35 +08:00
  • 199ed30555
    fix: remove limit check Roman 2025-10-24 14:17:45 +08:00
  • 38f506c22c
    test: testEraseAndReuse with Echidna Roman 2025-10-24 14:07:43 +08:00
  • 499d90062b
    fix: formatting with a new Foundry version Roman 2025-10-20 15:28:00 +08:00
  • d746ef194c
    fix: delete MaliciousImplementation Roman 2025-10-20 09:51:49 +08:00
  • 192fe28d9c
    fix: delete failing tests - test_MaliciousUpgradeDrainsFunds - testFrontrunning_RegistrationRevertsForVictim - testFrontrunning_SetFillingSpam Roman 2025-10-20 09:31:22 +08:00
  • 704f017cc3
    test: register during spam conditions Roman 2025-10-15 13:09:33 +11:00
  • 434c74009b
    fix: unused variables Roman 2025-10-15 12:10:27 +11:00
  • b2d6cdb851
    test: front running for registration Roman 2025-10-15 12:03:42 +11:00