1# `solidity-verifiers`
2
3This crate implements templating logic to output verifier contracts for `folding-schemes`-generated decider proofs.