1# `solidity-verifiers`
2
3This crate implements templating logic to output verifier contracts for `sonobe`-generated decider proofs.
4This crate is accompanied with the [cli](https://github.com/privacy-scaling-explorations/sonobe/tree/main/cli) crate, which allows to generate the Solidity contracts from the command line.
5
6To run the tests it needs [solc](https://docs.soliditylang.org/en/latest/installing-solidity.html) installed.