metadata: {"signature": "0x731ca037bf17f705059fc7b8ae17c2cdf3229e725fd6af5b8895bc0f9fe8565e13d4f65e42206b953e603f3585112e82881dfb8decc6b02a8b45f13bf336b8f61c", "application": {"round": "0xd2d99614321becd7cd0636715bbb4c94968e6271", "answers": [{"type": "email", "hidden": true, "question": "Email Address", "questionId": 0, "encryptedAnswer": {"ciphertext": "Ubn/v1ZL9KmcE7awNrlTUEoFLFyNHYwFb16/HcU5vANjGkIVAcehkTbVgYYPafym", "encryptedSymmetricKey": "5ddefca25d57ff09af6b655ab313044b50790185d27084f0d8279be30ebbd7ef343e8f58c71c9cf9ad61028f52fb8108a5786e5dab0bd15130cc2fdb3fcde6bf0445ce0f261e9008e19eb91c5375c43c1689e30879417f5b1b33c1b288708b982964a1e14246694119e1e3be728d70d1da5ccbd71ff1bf5c93def26f33735bfc0000000000000020cfa6a513db08280b473b26e90e4035abf73a975c5f95678622e27b9348bea635e6a198531f28432c154ea7f55450e189"}}, {"type": "short-answer", "answer": "numtel1", "hidden": true, "question": "Telegram Handle", "questionId": 1}, {"type": "short-answer", "answer": "https://github.com/circuitscan", "hidden": true, "question": "Project GitHub Repo", "questionId": 2}, {"type": "short-answer", "answer": "https://t.me/circuitscan", "hidden": true, "question": "Link to your Public Group Chat", "questionId": 3}, {"type": "short-answer", "answer": "GG20, GG21", "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": "ZK circuits generate a Solidity contract to verify proofs but these contracts hide the circuit source and compilation details as a series of numbers. Circuitscan provides the next layer of visibility needed to trust ZK circuit verifiers on chain like any other smart contract verified on a block explorer.\n\nZK app developers can submit their Circom/Noir sources for compilation through the CLI application to verify their deployed verifier contracts.\n\nZK app users can generate proofs to interact with the applications using a block explorer, as well as analyze the source code for any issues.", "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": "Circuitscan reduces development barriers by making it easy for developers to compile large circuits on cloud machines with up to 512 GB of ram.\n\nCircuitscan enhances the security of on-chain ZK dApps by providing the specific details necessary to check that a verifier contract doesn't contain any hidden backdoors by linking to the source file match on Github at the correct commit, and on Groth16 verifiers it prominently displays whether the second phase setup was done using P0tion to ensure that the contributions were not faked.", "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": "Just finished EF grant for phase one development to support Circom. Included in today's (Oct 12, 2024) Week in Ethereum News\n\n\"This is going to be one of those things where you don't need it until you suddenly really need it (for my use case at least). Great stuff.\" - https://www.reddit.com/r/ethereum/comments/1g0snyg/zk_circuit_verifier_contracts_can_hide_anything/lre972x/\n\nStarred on github by PSE developers ctrlc03. Followed on github by PSE developers divide-by-0 and glamperd.", "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": "* Add support for \"buses\" in the proof generator added in new Circom 2.2.0 this week\n* Noir proof generator\n* User support on Telegram\n* Grants fund server costs for compilations\n* Bounties for new features", "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": "0x3cae7aa84706f7032f4757311bcf2e2c632fc1383e5e0250e6a7ae599e8c2bc0", "title": "Circuitscan", "logoImg": "bafkreif5frsavcewkaiwdyivjd6imlpbx7l64wkaa3fatcucgps3gde7bu", "metaPtr": {"pointer": "bafkreibdnpbxagpq6pynmwccw2rcjfzg4lvkwgeb5jmztgirjak3dybfdm", "protocol": "undefined"}, "website": "https://circuitscan.org", "bannerImg": "bafkreic5ywthrlyfxpqllt5dddllt2tqzgluo52z7vmxo27kytdwztcgbu", "createdAt": 1712804309081, "userGithub": "numtel", "credentials": {"github": {"type": ["VerifiableCredential"], "proof": {"jws": "eyJhbGciOiJFZERTQSIsImNyaXQiOlsiYjY0Il0sImI2NCI6ZmFsc2V9..Km80n0XeurueKf8aEZk86Y6lGRCTSsXXu1D-OTAvsufFQ-v8M2nvQFpkkmaaq21vfOXE1MREUftQ3jpSw1rVDA", "type": "Ed25519Signature2018", "created": "2024-04-11T03:03:59.806Z", "proofPurpose": "assertionMethod", "verificationMethod": "did:key:z6MkghvGHLobLEdj1bgRLhS4LPGJAvbMA1tn2zcRyqmYU5LC#z6MkghvGHLobLEdj1bgRLhS4LPGJAvbMA1tn2zcRyqmYU5LC"}, "issuer": "did:key:z6MkghvGHLobLEdj1bgRLhS4LPGJAvbMA1tn2zcRyqmYU5LC", "@context": ["https://www.w3.org/2018/credentials/v1"], "issuanceDate": "2024-04-11T03:03:59.806Z", "expirationDate": "2024-07-10T03:03:59.806Z", "credentialSubject": {"id": "did:pkh:eip155:1:0xa48c718AE6dE6599c5A46Fd6caBff54Def39473a", "hash": "v0.0.0:lfph5jC4kDu4PwcvAZSZnPvpD9dBofj/Brl860+V7o8=", "@context": [{"hash": "https://schema.org/Text", "provider": "https://schema.org/Text"}], "provider": "ClearTextGithubOrg#circuitscan#518698"}}, "twitter": {"type": ["VerifiableCredential"], "proof": {"jws": "eyJhbGciOiJFZERTQSIsImNyaXQiOlsiYjY0Il0sImI2NCI6ZmFsc2V9..3vGYuI3LDiWFBrUefpw3CsXZmM3qxyukoVeyTX_yzP3S7uLblu2Io_BlavB9hJXFedKfkNrevnubekPotV_PCw", "type": "Ed25519Signature2018", "created": "2024-07-31T16:05:59.460Z", "proofPurpose": "assertionMethod", "verificationMethod": "did:key:z6MkghvGHLobLEdj1bgRLhS4LPGJAvbMA1tn2zcRyqmYU5LC#z6MkghvGHLobLEdj1bgRLhS4LPGJAvbMA1tn2zcRyqmYU5LC"}, "issuer": "did:key:z6MkghvGHLobLEdj1bgRLhS4LPGJAvbMA1tn2zcRyqmYU5LC", "@context": ["https://www.w3.org/2018/credentials/v1"], "issuanceDate": "2024-07-31T16:05:59.459Z", "expirationDate": "2024-10-29T16:05:59.459Z", "credentialSubject": {"id": "did:pkh:eip155:1:0xa48c718AE6dE6599c5A46Fd6caBff54Def39473a", "hash": "v0.0.0:H5iIpieAtvwll5hMWXHma9EgGZkf0UMKyw2y5kNumHY=", "@context": [{"hash": "https://schema.org/Text", "provider": "https://schema.org/Text"}], "provider": "ClearTextTwitter#numtel1"}}}, "description": "Circuitscan provides the same safety guarantees to circuit verifier contracts as normal smart contracts receive by verifying their source code on a block explorer: guaranteed access to the application even if their frontend becomes unavailable as well as the ability to review the source code for potential issues.\n\nCircuitscan is a circuit verifier explorer. Like verified contracts, a verified circuit verifier allows users to interact with applications directly if the frontend becomes unusable as well as ensures that the deployed source code matches the expected source code. Developers use a CLI to submit their circom sources to the verification server just like how Hardhat and Foundry submit deployed contracts to Etherscan. The frontend catalogs all verified submissions with source code and proving keys available for usage.\n\nCircuit verifier Solidity contracts verified on Etherscan are opaque to the viewer. There's no way to quickly check that they match the source code on Github. When users can see this match, they can be sure that there's no backdoors inserted clandestinely.\n\nVerified contracts on etherscan also come into play when a dapp's frontend becomes unusable. For a zk app with a missing frontend, Circuitscan provides a tool for generating proofs so that users never have to worry about being locked out.\n\nRug pulls, scams, and hacks plague blockchain users. By developing strong tooling around the applications, we can mitigate these risks and increase confidence in the ecosystem.", "lastUpdated": 0, "projectGithub": "circuitscan", "projectTwitter": "numtel1"}, "recipient": "0xa48c718AE6dE6599c5A46Fd6caBff54Def39473a"}}