Testing with other proving systems supported by circom

[jimthematrix]

• Nova
• Plonk
• Marlin

First of all, we need to test the circuits and the token implementations with these different proving systems.

We should also think about how to capture the support for those different proving systems. There are differences in the following aspects:

• proof format: right now the client/test code and solidity code both assume the groth16 proof format
• proving keys generation
• verifier Solidity: the current naming conventions for the file names don't take the proving system into account, although the contract names do have the proving system name in it
• client sdk: how much would the client SDK in golang and node.js have to change to support multiple proving systems?