Chimera

Echidna is a property-based and grammar fuzzer for Ethereum smart contracts. Builders and auditors write properties with it to find inputs that break contract invariants.

Synpressは、Playwrightにイーサリアム対応のブラウザ自動化を重ねることで、CIでウォレットのポップアップやチェーンの切り替えを含む分散型アプリケーション (dapp) のエンドツーエンドテストを行えるようにします。

Aderynは、プロトコルエンジニアやセキュリティ研究者がSolidityコードベースの脆弱性を見つけるのを支援するように設計された、CyfrinのオープンソースでRustベースのSolidityスマート・コントラクト静的アナライザーです。