perimetersec/public-fuzzing-campaigns-list

# 公共 Fuzzing 活动 此仓库列出了公共的 fuzzing 活动。由 [Rappie](https://x.com/rappie_eth) 维护，并定期更新以展示最新的 fuzzing 内容。 查看以下活动，了解正在接受 fuzzing 的项目。 如果您知道有遗漏的活动，欢迎在 X 上联系或创建 GitHub issue。 ## Echidna & Medusa | 项目 | 仓库 | 作者 | 最后提交 | | ------------------------- | ---------------------------------------------------------------------------------------------------------------------------------------------------- | --------------------------------------------------------------------------------------------------------------------------- | ----------- | | 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
| [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 不变式测试 | 项目 | 仓库 | 作者 | 最后提交 | | -------------------- | --------------------------------------------------------------------------------------------- | -------------------------------------------------------------------------- | ----------- | | 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 |

标签：DeFi安全, DNS解析, Echidna, Fuzzing, Medusa, Solidity, 以太坊, 公开活动, 区块链审计, 开源项目, 智能合约安全