1# Solidity verifier
2
3Having used the `Decider` from `decider_eth.rs`, we can now verify it in Ethereum's EVM.
4
5First we need to generate the Solidity contracts that verify the Decider proofs. Use the [solidity-verifiers-cli](https://github.com/privacy-scaling-explorations/sonobe/tree/main/cli) tool
6```
7> solidity-verifier-cli -p nova-cyclefold -d ./folding-verifier-solidity/assets/G16_test_vk_data
8```