Generate Solidity verifier contracts from the compiled circuits
Generate Solidity verifier contracts from the compiled circuits