{"type": "project", "title": "Echidna & Medusa", "logoImg": "bafkreid3vyl5tkjzmkjpe7godaec6gtisumpducxfs7e7d3i5wcbk73l7e", "website": "https://github.com/crytic/echidna", "bannerImg": "bafkreif4mzvw6l72vrkchdatotpobqnkx2edurv3xcumjxkovwsdcg2khi", "createdAt": 1730106909185, "userGithub": "montyly", "credentials": {"github": {"type": ["VerifiableCredential"], "proof": {"jws": "eyJhbGciOiJFZERTQSIsImNyaXQiOlsiYjY0Il0sImI2NCI6ZmFsc2V9..5nNNERGcbsJs-fBEQaTeFQbiqMuyXOFy9kDNltU7_a0JYsZyLx0v5oNgidr71BvgIDKiA4eJTv1Ja4BcujSiDw", "type": "Ed25519Signature2018", "created": "2024-10-28T09:13:56.229Z", "proofPurpose": "assertionMethod", "verificationMethod": "did:key:z6MkghvGHLobLEdj1bgRLhS4LPGJAvbMA1tn2zcRyqmYU5LC#z6MkghvGHLobLEdj1bgRLhS4LPGJAvbMA1tn2zcRyqmYU5LC"}, "issuer": "did:key:z6MkghvGHLobLEdj1bgRLhS4LPGJAvbMA1tn2zcRyqmYU5LC", "@context": ["https://www.w3.org/2018/credentials/v1"], "issuanceDate": "2024-10-28T09:13:56.228Z", "expirationDate": "2025-01-26T09:13:56.228Z", "credentialSubject": {"id": "did:pkh:eip155:1:0x4C482B40A4afC96306c76273a1d984a64B6DAe32", "hash": "v0.0.0:Lwx6n2ZbSPwHS/xa1EusVcJRg5wH+LlfMntQL8osOco=", "@context": [{"hash": "https://schema.org/Text", "provider": "https://schema.org/Text"}], "provider": "ClearTextGithubOrg#trailofbits#13798342"}}, "twitter": {"type": ["VerifiableCredential"], "proof": {"jws": "eyJhbGciOiJFZERTQSIsImNyaXQiOlsiYjY0Il0sImI2NCI6ZmFsc2V9..VB12Z85D9ZG7iX5jJCYCXKXcqoZFJAKEy3dMs90DSnw6hzc3GW0_3CYVCyw1dKKaMw-ZFe6viXdnF8aIKuI_Bg", "type": "Ed25519Signature2018", "created": "2024-10-28T09:13:48.371Z", "proofPurpose": "assertionMethod", "verificationMethod": "did:key:z6MkghvGHLobLEdj1bgRLhS4LPGJAvbMA1tn2zcRyqmYU5LC#z6MkghvGHLobLEdj1bgRLhS4LPGJAvbMA1tn2zcRyqmYU5LC"}, "issuer": "did:key:z6MkghvGHLobLEdj1bgRLhS4LPGJAvbMA1tn2zcRyqmYU5LC", "@context": ["https://www.w3.org/2018/credentials/v1"], "issuanceDate": "2024-10-28T09:13:48.371Z", "expirationDate": "2025-01-26T09:13:48.371Z", "credentialSubject": {"id": "did:pkh:eip155:1:0x4C482B40A4afC96306c76273a1d984a64B6DAe32", "hash": "v0.0.0:0CZRNT3mONduWlOjFlz6mRTePs4S62fCpWbMvb6uHv8=", "@context": [{"hash": "https://schema.org/Text", "provider": "https://schema.org/Text"}], "provider": "ClearTextTwitter#Montyly"}}}, "description": "Echidna and its rewritten version, Medusa (https://github.com/crytic/medusa), are the de-facto smart contracts fuzzers.\n\nThey provide parallelized property-based testing of smart contracts, allowing their users to find in-depth vulnerabilities.\n\nBoth tools are open-source and are frequently used by security researchers.", "logoImgData": {}, "bannerImgData": {}, "projectGithub": "trailofbits", "projectTwitter": "montyly"}
Echidna & Medusa
Echidna and its rewritten version, Medusa (https://github.com/crytic/medusa), are the de-facto smart contracts fuzzers.

They provide parallelized property-based testing of smart contracts, allowing their users to find in-depth vulnerabilities.

Both tools are open-source and are frequently used by security researchers.
Echidna & Medusa