starknet-contract-verifier is a contract class verification cli that allows you to verify your starknet classes on a block explorer.
In order to start verification, you'll need to add a table in your Scarb.toml as such:
[package]
name = "my_project"
version = "0.1.0"
[dependencies]
starknet = ">=2.4.0"
[[target.starknet-contract]]
sierra = true
# Add the following section
[tool.voyager]
my_contract = { path = "main.cairo" }The path should be set to the path of whichever contract you would like to verify, relative to your src directory. For the example above, the cairo contract is located at src/main.cairo and as such the path should be set to main.cairo.
Note that only one contract should be provided in this section as multi contract verification is not supported yet.
First do a clone of this repository.
git clone git@github.com:NethermindEth/starknet-contract-verifier.gitAfter cloning the repository, checkout to the release branch corresponding to the cairo version that your contract uses. For example, if you write your contract in cairo 2.5.4, you would do the following:
cd starknet-contract-verifier
git checkout release/2.5.4To start the verifier, you can do the following command, and a prompt should guide you through the verification process.
cargo run --bin starknet-contract-verifierIf you are using asdf for the management of scarb binary on a project basis, you should make sure that the verifier runs in the directory of the project so that the verifier will detect and use the correct scarb binary for that project.
You can build the binaries and add it to path to make it easier to use the verifier.
# build all binaries
cargo build --all --release
# then add build target directory to path
# depending on your shell this might be different.
# Add the following to the end of your shell configuration file
export PATH="$PATH:/path/to/starknet-contract-verifier/target/release"
# you should now be able to call the verifier directly if build succeeds.
starknet-contract-verifierYou should be greeted with prompts that asks for the details of your cairo project & contracts, and will be guided step by step through the verification process.
If you are developing and building the project from source, you will first need to install rust.
curl https://sh.rustup.rs -sSf | sh -sNote: Builds for 2.4.3 and below only works with < Rust 1.77. As such please make sure that you have the correct rust version before building.
To build the project, simply do
cargo buildand the project should start building.
There's a few known issue with the current implementation of this verifier.
super importsIf you use super import in your source code, the verifier would fail to resolve it and cause an IMPORT ERROR. This is an expected issue and we are in the process of fixing it.
It's possible that your modules get re-arranged after verification as the verifier tries to resolve your dependencies from the main contract and re-generate them into a new project. This is known and we are working towards making the generated project look as closely as possible with the original module structure.
The verifier would usually work cairo compiler versions that are lower than its version given no breaking changes between compiler versions, meaning using a 2.4.3 verifier with a compiler version of less than 2.4.3 would work as long as you specify in your Scarb.toml file the starknet version with a range including the verifier version (for example, >=2.4.0 & 2.2.0 usually works for verifier 2.4.3) If you use strict versioning for your starknet version in form of =2.4.3 for example, it would stop working with verifier of other versions.
We welcome any form of contribution to this project!
To start, you can take a look at the issues that's available for taking and work on whichever you might be interested in. Do leave a comment so we can assign the issue to you!