Announcing Contract Verification on Starknet

We are excited to introduce Cairo contract verification for Starknet, now live on Walnut and accessible via Walnut APIs.

Any Cairo developer can now easily verify their Cairo smart contracts on Walnut. Once a contract is verified, its source code becomes publicly available, fostering transparency and trust within the community.

Initially, contract verification is available for Cairo 2.6.3 and 2.6.4 versions. We are actively working on adding support for additional Cairo versions in the coming days and weeks to ensure broad compatibility.

Building contract verification marks a significant milestone in our journey to develop Walnut, a comprehensive transaction debugger for Starknet. Verified contracts on Walnut provide developers with access to a full call trace and a step-by-step transaction debugger, greatly enhancing the development and debugging process.

Private vs. Public Contract Verification

Currently, all verified contracts on Walnut are publicly accessible. However, we understand that some teams may prefer to keep their code private while still accessing the Walnut transaction debugger. To accommodate this, we plan to introduce private verification. This feature will allow teams to verify contracts in a secure, private environment, providing access to all debugging tools without publicly exposing their code. If you're interested in this feature, let us know.

To learn more about how to verify Cairo contracts with Walnut, head to our documentation.