public-fuzzing-campaigns-list

KO | EN

gitlite — search

#javascript #python #react #llm #go #android #linux #nodejs #macos #java #windows #kubernetes #vue #security

public-fuzzing-campaigns-list

(★ 129)

A list of public fuzzing campaigns

File Explorer

Download Latest Version (.zip)

README.md

// repository documentation

Was this content helpful?

★ 0 (0 ratings)

# Public Fuzzing Campaigns
This repository lists public fuzzing campaigns. It is maintained by [Rappie](https://x.com/rappie_eth) and updated regularly to showcase the latest in fuzzing.

Check out the campaigns below to see what's being fuzzed.

If you know of a campaign that's missing, feel free to reach out on X or open a GitHub issue.

## Echidna & Medusa
| Project                   | Repository                                                                                                                                           | Author(s)                                                                                                                   | Last Commit |
| ------------------------- | ---------------------------------------------------------------------------------------------------------------------------------------------------- | --------------------------------------------------------------------------------------------------------------------------- | ----------- |
| Centrifuge V3             | [link](https://github.com/centrifuge/protocol/tree/wf/feat/recon-invariants/test/integration/recon-end-to-end)                                       | [Alex The Entreprenerd](https://x.com/GalloDaSballo), [nican0r](https://x.com/nican0r) ([Recon](https://x.com/getreconxyz)) | 2025-10     |
| Superform                 | [link](https://github.com/superform-xyz/v2-periphery/tree/dev/test/recon)                                                                            | [Alex The Entreprenerd](https://x.com/GalloDaSballo), [nican0r](https://x.com/nican0r) ([Recon](https://x.com/getreconxyz)) | 2025-09     |
| Very Liquid Vaults        | [link](https://github.com/rheo-xyz/very-liquid-vaults)                                                                                               | [Antonio Viggiano](https://x.com/aviggiano)                                                                               | 2025-08     |
| DODO Cross-Chain DEX      | [link](https://github.com/pyk/dodocc-fuzz/tree/main/test/fuzzing)                                                                                    | [pyk](https://x.com/sepyke)                                                                                                 | 2025-06     |
| Strata                    | [link](https://github.com/Strata-Money/contracts/tree/master/test/recon)                                                                             | [Giovanni Di Siena](https://x.com/giovannidisiena) ([Cyfrin](https://x.com/CyfrinAudits))                                   | 2025-06     |
| Bunni                     | [link](https://github.com/Bunniapp/bunni-v2/tree/main/fuzz)                                                                                          | [Tutturu](https://x.com/TuturuTech) ([Trail of Bits](https://x.com/trailofbits))                                            | 2025-05     |
| Origin Protocol WOETH     | [link](https://github.com/perimetersec/origin-woeth-fuzz)                                                                                            | [Rappie](https://x.com/rappie_eth) ([Perimeter](https://x.com/perimeter_sec))                                               | 2025-04     |
| EulerSwap                 | [link](https://github.com/euler-xyz/euler-swap/tree/enigmadark-invariant-suite/test/enigma-dark-invariants)                                          | [vnmrtz.eth](https://x.com/vn_martinez_) ([Enigma Dark](https://x.com/EnigmadarkLabs))                                      | 2025-03     |
| eBTC BSM                  | [link](https://github.com/ebtc-protocol/ebtc-bsm/tree/main/test/recon-core)                                                                          | [Alex The Entreprenerd](https://x.com/GalloDaSballo), [nican0r](https://x.com/nican0r) ([Recon](https://x.com/getreconxyz)) | 2025-03     |
| Gamma                     | [link](https://github.com/CodeHawks-Contests/2025-02-gamma/tree/main/test/fuzzing/echidna)                                                           | [FORKFORK DOG](https://x.com/forkforkdog) ([Guardian Audits](https://x.com/GuardianAudits))                                 | 2025-02     |
| Aave v3.3                 | [link](https://github.com/bgd-labs/aave-v3-origin/tree/main/tests/invariants)                                                                        | [vnmrtz.eth](https://x.com/vn_martinez_) ([Enigma Dark](https://x.com/EnigmadarkLabs))                                      | 2025-02     |
| Nerite                    | [link](https://github.com/Recon-Fuzz/nerite/tree/invariant-testing/contracts/test/recon)                                                             | [Alex The Entreprenerd](https://x.com/GalloDaSballo), [nican0r](https://x.com/nican0r) ([Recon](https://x.com/getreconxyz)) | 2025-02     |
| Abracadabra OFT           | [link](https://github.com/GuardianAudits/abra-oft-fuzzing/tree/abra-suite/test/fuzzing-oft)                                                          | [dirtymic](https://x.com/dirtymic26) ([Guardian Audits](https://x.com/GuardianAudits))                                      | 2024-12     |
| Liquity Governance V2     | [link](https://github.com/liquity/V2-gov/tree/main/test/recon)                                                                                       | [Alex The Entreprenerd](https://x.com/GalloDaSballo), [nican0r](https://x.com/nican0r) ([Recon](https://x.com/getreconxyz)) | 2024-11     |
| Immutable zkEVM Bridge    | [link](https://github.com/perimetersec/zkevm-bridge-contracts-fuzz/tree/main/test/fuzzing)                                                           | [0xScourgedev](https://x.com/0xScourgedev) ([Perimeter](https://x.com/perimeter_sec))                                       | 2024-10     |
| Uniswap V4                | [link](https://github.com/trailofbits/v4-core/tree/add-stateful-properties/test/trailofbits)                                                         | [Benjamin Samuels](https://x.com/thebensams) ([Trail of Bits](https://x.com/trailofbits))                                   | 2024-09     |
| Centrifuge Core           | [link](https://github.com/centrifuge/liquidity-pools/tree/main/test/recon-core)                                                                      | [Alex The Entreprenerd](https://x.com/GalloDaSballo) ([Recon](https://x.com/getreconxyz))                                   | 2024-08     |
| Centrifuge Aggregator     | [link](https://github.com/centrifuge/liquidity-pools/tree/main/test/recon-aggregator)                                                                | [Alex The Entreprenerd](https://x.com/GalloDaSballo) ([Recon](https://x.com/getreconxyz))                                   | 2024-08     |
| Algebra                   | [link](https://github.com/cryptoalgebra/Algebra/tree/integral-v1.2.1/src/core/contracts/test/echidna)                                                | [0xVolosnikov](https://x.com/0xVolosnikov)                                                                                  | 2024-07     |
| Size Credit               | [link](https://github.com/SizeCredit/size-solidity/tree/main/test/invariants)                                                                        | [Antonio Viggiano](https://x.com/aviggiano)                                                                               | 2024-06     |
| Origin Protocol OETHVault | [link](https://github.com/perimetersec/origin-oeth-fuzzing)                                                                                          | [Rappie](https://x.com/rappie_eth) ([Perimeter](https://x.com/perimeter_sec))                                               | 2024-05     |
| Angels Squad              | [link](https://github.com/xluckydegen/launchpad-contracts/tree/main/contracts/echidna)                                                               | [0xharold](https://x.com/haraslub) ([MAMA AI](https://themama.ai))                                                          | 2024-05     |
| Euler Vault Kit           | [link](https://github.com/euler-xyz/euler-vault-kit/tree/master/test/invariants)                                                                     | [vnmrtz.eth](https://x.com/vn_martinez_) ([Enigma Dark](https://x.com/EnigmadarkLabs))                                      | 2024-05     |
| Euler Reward Streams      | [link](https://github.com/euler-xyz/reward-streams/tree/master/test/invariants)                                                                      | [vnmrtz.eth](https://x.com/vn_martinez_) ([Enigma Dark](https://x.com/EnigmadarkLabs))                                      | 2024-05     |
| snekmate (Vyper)          | [link](https://github.com/pcaversaccio/snekmate/tree/modules/test/tokens/echidna)                                                                    | [pcaversaccio](https://x.com/pcaversaccio)                                                                                  | 2024-05     |
| Possum Labs               | [link](https://github.com/ZealynxSecurity/Possum-Labs?tab=readme-ov-file#echidna)                                                                    | [bloqarl](https://x.com/TheBlockChainer), [Sergio](https://x.com/Seecoalba) ([Zealynx](https://x.com/ZealynxSecurity))      | 2024-04     |
| Euler EVC Playground      | [link](https://github.com/euler-xyz/evc-playground/tree/master/test/invariants)                                                                      | [vnmrtz.eth](https://x.com/vn_martinez_) ([Enigma Dark](https://x.com/EnigmadarkLabs))                                      | 2024-03     |
| Abracadabra               | [link](https://github.com/Abracadabra-money/abracadabra-money-contracts/tree/0e717e73662b840bb77eba196bd86d405decb154/test/fuzzing)                  | [0xScourgedev](https://x.com/0xScourgedev) ([Guardian](https://x.com/GuardianAudits))                                       | 2024-03     |
| BastionWallet             | [link](https://github.com/ZealynxSecurity/BastionWallet/tree/main/src/echidna)                                                                       | [bloqarl](https://x.com/TheBlockChainer), [Sergio](https://x.com/Seecoalba) ([Zealynx](https://x.com/ZealynxSecurity))      | 2024-02     |
| Curvance                  | [link](https://github.com/curvance/Curvance-CantinaCompetition/tree/develop/tests/fuzzing)                                                           | [Nat Chin](https://x.com/0xicingdeath) ([Trail of Bits](https://x.com/trailofbits))                                         | 2024-02     |
| Autonolas                 | [link](https://github.com/ZealynxSecurity/Autonolas/tree/master/src/Echidna)                                                                         | [bloqarl](https://x.com/TheBlockChainer), [Sergio](https://x.com/Seecoalba) ([Zealynx](https://x.com/ZealynxSecurity))      | 2024-01     |
| Drips Network             | [link](https://github.com/perimetersec/drips-fuzzing)                                                                                                | [Rappie](https://x.com/rappie_eth) ([Perimeter](https://x.com/perimeter_sec))                                               | 2024-01     |
| Superfluid Finance        | [link](https://github.com/superfluid-finance/protocol-monorepo/tree/dev/packages/hot-fuzz)                                                           | Unknown                                                                                                                     | 2024-01     |
| BadgerDAO eBTC            | [link](https://github.com/ebtc-protocol/ebtc/tree/main/packages/contracts/contracts/TestContracts/invariants)                                        | [Antonio Viggiano](https://x.com/aviggiano)                                                                               | 2023-10     |
| Origin Protocol OUSD<br>  | [link](https://github.com/OriginProtocol/origin-dollar/tree/master/contracts/contracts/echidna)                                                      | [Rappie](https://x.com/rappie_eth)                                                                                          | 2023-09     |
| Kyber Network             | [link](https://github.com/KyberNetwork/ks-elastic-sc/tree/main/contracts/echidna)                                                                    | Unknown                                                                                                                     | 2023-04     |
| Pods Finance              | [link](https://github.com/pods-finance/yield-contracts/tree/main/test/invariants)                                                                    | [Antonio Viggiano](https://x.com/aviggiano)                                                                               | 2023-03     |
| Ondo Finance              | [link](https://github.com/ondoprotocol/tokenized-funds/tree/main/contracts/echidna)                                                                  | Unknown                                                                                                                     | 2023-02     |
| Sovryn Zero               | [link](https://github.com/DistributedCollective/zero/tree/main/packages/contracts/contracts/TestContracts)                                           | Unknown                                                                                                                     | 2023-01     |
| Autonolas                 | [link](https://github.com/valory-xyz/autonolas-governance/tree/main/audits/internal/analysis/fuzzing/VotingEscrow)                                   | [Alex Kuperman](https://x.com/kupermind)                                                                                    | 2022-06     |
| Arbor Finance             | [link](https://github.com/alwaysbegrowing/arbor-contracts/tree/main/contracts/echidna)                                                               | Unknown                                                                                                                     | 2022-04     |
| MakerDAO                  | [link](https://github.com/makerdao/dss-vest/tree/master/echidna), [link](https://github.com/makerdao/optimism-dai-bridge/tree/master/contracts/test) | Unknown                                                                                                                     | 2022-04     |
| Primitive Finance         | [link](https://github.com/primitivefinance/rmm-core/tree/main/contracts/crytic)                                                                      | [Nat Chin](https://x.com/0xicingdeath) ([Trail of Bits](https://x.com/trailofbits))                                         | 2022-02     |
| 88mph                     | [link](https://github.com/88mphapp/88mph-contracts/tree/v3/contracts/echidna)                                                                        | [Trail of Bits](https://x.com/trailofbits)                                                                                  | 2021-08     |
| Uniswap V3                | [link](https://github.com/Uniswap/v3-core/tree/main/contracts/test)                                                                                  | Unknown                                                                                                                     | 2021-04     |
| Convexity Protocol        | [link](https://github.com/opynfinance/ConvexityProtocol/tree/dev/contracts/echidna)                                                                  | Unknown                                                                                                                     | 2020-10     |
| Aragon Staking            | [link](https://github.com/aragon/staking/tree/82bf54a3e11ec4e50d470d66048a2dd3154f940b/packages/protocol/contracts/test/lib)                         | Unknown                                                                                                                     | 2020-09     |
| Monolith                  | [link](https://github.com/tokencard/contracts/tree/master/tools/echidna)                                                                             | Unknown                                                                                                                     | 2020-09     |
| Circle FiatToken          | [link](https://github.com/circlefin/stablecoin-evm/tree/master/echidna_tests)                                                                        | Unknown                                                                                                                     | 2018-08     |

## Foundry Invariant Testing
| Project              | Repository                                                                                    | Author(s)                                                                  | Last Commit |
| -------------------- | --------------------------------------------------------------------------------------------- | -------------------------------------------------------------------------- | ----------- |
| Contract Level Yield | [link](https://github.com/contractlevel/yield/tree/main/test/invariant)                       | Unknown                                                                    | 2025-10     |
| Ion Protocol         | [link](https://github.com/Ion-Protocol/ion-protocol/tree/master/test/invariant/IonPool)       | [Hrik](https://x.com/HrikBho)                                              | 2024-05     |
| Ajna Finance         | [link](https://github.com/ajna-finance/ajna-core/tree/master/tests/forge/invariants)          | Unknown                                                                    | 2024-01     |
| Alchemix             | [link](https://github.com/alchemix-finance/v2-foundry/tree/master/src/test)                   | Unknown                                                                    | 2024-01     |
| Maple Finance        | [link](https://github.com/maple-labs/maple-core-v2/tree/main/tests/invariants)                | Unknown                                                                    | 2023-12     |
| Sablier V2 Core      | [link](https://github.com/sablier-labs/v2-core/tree/main/test/invariant)                      | [Paul Razvan Berg](https://x.com/PaulRBerg)                                | 2023-12     |
| Wrapped Ether        | [link](https://github.com/horsefacts/weth-invariant-testing/tree/main)                        | [horsefacts](https://x.com/eth_call)                                       | 2023-11     |
| DSS Conduits         | [link](https://github.com/makerdao/dss-conduits/tree/master/test/arranger-conduit/invariants) | Unknown                                                                    | 2023-10     |
| Basin                | [link](https://github.com/BeanstalkFarms/Basin/tree/master/test/invariant)                    | [Alex Roan](https://x.com/alexroan) ([Cyfrin](https://x.com/CyfrinAudits)) | 2023-08     |
| LLama                | [link](https://github.com/llamaxyz/llama/tree/main/test/invariants)                           | Unknown                                                                    | 2023-07     |
| Morpho               | [link](https://github.com/morpho-org/morpho-data-structures/tree/main/test)                   | Unknown                                                                    | 2023-05     |

public-fuzzing-campaigns-list

File Explorer

Today's picks

Was this content helpful?

Recent Feedback

public-fuzzing-campaigns-list

File Explorer

Today's picks

Was this content helpful?

Recent Feedback

Download README