Our project aims to foster a culture of verification within the Starknet ecosystem. By enabling users to directly understand the contents of Cairo-based smart contracts, we empower them to trust and confidently interact with these agreements.
Our project enables contract verification for Starknet Cairo directly on the web with Nethermind Starknet remix plugin. Users can verify Cairo-based smart contracts which they were deployed. So when the users deployed the Cairo-based smart contract with Nethermind remix plugin, users can verify with veriwell verify API. The veriwell server compare the class hash and the compiled class hash with on-chain class hash and compiled class hash. Once a contract is verified, its source code becomes accessible, along with AI-generated explanations of the code to enhance understanding.
Our projectβs core functionality is built using Starknet's Cairo language and tools. To enable verification, we implemented APIs utilizing Nethermind Starknet RPC and Voyager API. Our project compares not only class hashes but also compiled class hashes to ensure robustness in the verification process. The frontend was designed to be simple and intuitive, leveraging v0 AI services for seamless integration. For the backend, we utilized NestJS, ensuring rapid development and a secure, reliable service architecture.