CLI switch that preps for multiple solidity verifier contracts

[ddengster]

Abstract

I'm exporting multiple verifiers for my number guessing game. I've had to rework code to cater to this. Most notable is that since contract inheritance is the way to save on gas costs while organizing code, my verifier functions and structs need to have a prefix so we can get around name collisions when inheriting (not sure if there's an alternative solidity-style way around this).

See https://github.com/ddengster/zk_numberguesser/tree/master/contracts , namely the 3 verifier .sol contracts.

Motivation

Saves on some dev time.

Specification

• CLI switch that indicates intention to for multiple verifier contracts, and allow a prefix input for each verifier contract
• When the switch is enabled, spit out a verifier_common.sol file for the shared library code
• When the switch is enabled, append the corresponding prefix to each function of each of the verifier contract

Backwards Compatibility

Not applicable