Input Format Synchronization

[colinsteidtmann]

Create a document with the expected inputs, parameters, and other specifics for each circuit:

I'm working on the zk-benchmarking track. For some circuits, MIMC specifically, they have parameters for the number of rounds that the circuit does a computation. See this Gnark implementation of MIMC for example:

Gnark has various versions of MIMC, while Circomlib has only 1 which is that the number of rounds must be 91.

Some circuits like EDDSA and SMT also have different variants because you can build them with different hash functions (pedersen, mimc, poseidon, blake2b) and it's unclear right now which variant to choose.

Having a document that lists the expected inputs and parameters for each circuit would help circuit builders create their circuits to conform to the standard.