{"signature": "0x0c1b0248220c2899db6c18f016218271c8dabd750d0aae07ecb89b4f7158ca573c2065a3df4df23d3a8866cff88ced3a780a1d95fff0a846bfc422357dcf9dc51c", "application": {"round": "0xc1cffd1845deee83ab44cae123738a854593bcd2", "answers": [{"type": "checkbox", "answer": ["Core Infrastructure", "Developer Tooling"], "hidden": false, "question": "How does your project contribute to the advancement of the Arbitrum ecosystem?", "questionId": 0}, {"type": "paragraph", "answer": "Circuitscan gives users the tools they need to trust this new wave of ZK dApps, ensuring we can move into a future where thousands of ZK dApps bring the ecosystem into a new era.", "hidden": true, "question": "Describe your previous work or plans related to the Arbitrum ecosystem. How does your project strengthen Arbitrum's foundational infrastructure, improve developer efficiency, or accelerate the adoption of novel applications?", "questionId": 1}, {"type": "paragraph", "hidden": true, "question": "If applicable, describe how your project leverages Stylus or Arbitrum Orbit Chains. What unique capabilities or use cases does this enable?", "questionId": 2}, {"type": "paragraph", "answer": "Ben Green is a web developer with over 15 years experience, having worked in startups and agencies in California as well as many open source projects. In 2021, after being shocked by the immense power of Defi applications, he has committed his efforts toward understanding Ethereum and all of its related projects.\n\nLuca Donnoh and Bartek are researchers from Italy and Poland (respectively) working at L2 Beat to provide important safety information to the community. Their efforts have made them the trusted source for the most salient details for users of the Ethereum ecosystem. We our merging our efforts between their ZK Catalog and Circuitscan to provide circuit verifier safety information.", "hidden": true, "question": "Describe your team's expertise in your chosen focus area within the Arbitrum ecosystem. Include relevant experience, publications, or past projects.", "questionId": 3}, {"type": "short-answer", "answer": "https://gap.karmahq.xyz/project/circuitscan", "hidden": true, "question": "Please provide a link to Karma GAP, where you are tracking and reporting on milestones.", "questionId": 4}, {"type": "paragraph", "hidden": true, "question": "List any contract addresses with the associated network(s), EOAs, or deployer addresses your project has deployed.", "questionId": 5}, {"type": "paragraph", "answer": "GG20  - $1765 after matching\nEthereum Foundation - $30,000", "hidden": true, "question": "Have you received any previous grants or support for your work in the Arbitrum ecosystem? If so, please provide details and estimated funding amounts.", "questionId": 6}, {"type": "dropdown", "answer": "Yes", "hidden": true, "question": "Please confirm that you have read and agree to comply with the ethical standards outlined in the eligibility criteria, including Gitcoin's Quid Pro Quo policy (https://support.gitcoin.co/gitcoin-knowledge-base/gitcoin-grants/general-questions/what-is-our-quid-pro-quo-policy)", "questionId": 7}, {"type": "paragraph", "hidden": true, "question": "Do you have any potential conflicts of interest to disclose? If yes, please provide details.", "questionId": 8}, {"type": "paragraph", "hidden": true, "question": "Would you like to share anything else about your project, team, or vision for the Arbitrum ecosystem that wasn't covered in the previous questions?", "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"}}