metadata: {"signature": "0x5daadaebf801a4741708d741d3a234a3f2863435fd2ae18ec16c4fb1afbf559f63b4381d88f9330da7bd3dbc3fd855513f98bc35fef1c7f59e6ccce83848be501b", "application": {"round": "0xd2d99614321becd7cd0636715bbb4c94968e6271", "answers": [{"type": "email", "hidden": true, "question": "Email Address", "questionId": 0, "encryptedAnswer": {"ciphertext": "OcfKbYmRAlzE8ueJrIsa+JkpoGTvZgKy2qB09HEykHOraok1L9Y0EEWNemdYOo4W", "encryptedSymmetricKey": "a06afc8c10ada67f9e3aae03b93e42287160c9f401a4084efcec4d0191839720736073b827cb8abd7bc6490dd6af680bedc521a69958fa678450d0cf356523f306385ce25d18b3770c5a638c561ddf971ed52125467334b7ea2f2c510b0c748c9018123b9ed1aa3fc2e94d7c8d6d4d4ceb9204ffceb1fe3842b840bdff164baa000000000000002068da281fbfeb35d1c3ff38057080f44d59e8db832de0b9b58b6879a5bc20cf36fe1fb3d74af0bcef212be5375c275187"}}, {"type": "short-answer", "answer": "montyly", "hidden": true, "question": "Telegram Handle", "questionId": 1}, {"type": "short-answer", "answer": "https://github.com/crytic/echidna", "hidden": true, "question": "Project GitHub Repo", "questionId": 2}, {"type": "short-answer", "hidden": true, "question": "Link to your Public Group Chat", "questionId": 3}, {"type": "short-answer", "hidden": true, "question": "Have you participated in a previous Gitcoin Grants Round? If so, please name the rounds or link the builder profile associated with previous rounds.", "questionId": 4}, {"type": "paragraph", "answer": "Echidna and Medusa help their users to uncover vulnerabilities in their smart contracts.", "hidden": true, "question": "Provide a brief overview of your tool, library, or framework. What specific problem or inefficiency in the development process does it address?", "questionId": 5}, {"type": "paragraph", "answer": "By finding bugs and reducing security risks, the fuzzers contribute to the overall ecosystem safety.", "hidden": true, "question": "How does your project reduce development barriers, improve efficiency, or enhance the security of Web3 projects? Please provide specific examples or metrics if available.", "questionId": 6}, {"type": "paragraph", "answer": "https://secure-contracts.com/program-analysis/echidna/index.html and https://secure-contracts.com/program-analysis/medusa/docs/src/index.html will give insights into how to use the tools.\n\nYou can find real world usage of the fuzzers here: https://github.com/crytic/echidna?tab=readme-ov-file#public-use-of-echidna\n\nEchidna has 2.7k stars on github, and 40+ contributors", "hidden": true, "question": "Describe the current usage and support for your tool within the developer community. This could include GitHub stars, downloads, or testimonials from developers.", "questionId": 7}, {"type": "paragraph", "answer": "We are currently reimplementing Echidna in Medusa. One core reason is to switch from Haskell to Go, which lowers the entry cost for new contributors and fosters broader community engagement.\n\nThis grant will help us to achieve this goal.", "hidden": true, "question": "Outline your project's roadmap and how the grant funds will be used to achieve your development goals.", "questionId": 8}, {"type": "paragraph", "hidden": true, "question": "For any project deploying smart contracts on blockchain networks, please list all your deployer addresses and their corresponding blockchain networks. Use this format for each entry: [deployer_address], [chain_id]\u2014for example, 0x123abc..., 42161 (This represents a deployer address on the Arbitrum network). Please include a separate line for each unique deployer address and blockchain combination.", "questionId": 9}], "project": {"id": "0x9fb5f1ff82ff7f4e4ecf0c69d6012c8159d0694eaa193ce353b6313d819ee3bc", "title": "Echidna & Medusa", "logoImg": "bafkreid3vyl5tkjzmkjpe7godaec6gtisumpducxfs7e7d3i5wcbk73l7e", "metaPtr": {"pointer": "bafkreidvt5xqrgiylghs6gf4t5m6m22fveoucsz64y3gtb4vby72hmilyi", "protocol": "undefined"}, "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.", "lastUpdated": 0, "projectGithub": "trailofbits", "projectTwitter": "montyly"}, "recipient": "0x4C482B40A4afC96306c76273a1d984a64B6DAe32"}}