Currently I’m looking for a proof agnostic library or language for specifying arithmetic circuits. I’d like to be able to describe an arithmetic circuit using different components/gadgets, and then compile it for different ZK proof/argument systems. What library or language do you recommend for this?
I know about Circom, but apparently it only supports Groth16… Is Zcash working on any similar language or library?