privacy-scaling-explorations/sonobe

Decider onchain verifier Solidity generator CLI

arnaucube opened this issue · 2 comments

A CLI that, takes as input the trusted setup of the KZG and the Groth16, and generates a Solidity file that verifies both the KZG and Groth16 proofs. (similarly to snarkjs's cli, but for both KZG & Groth16)

This task depends on #59 and #58 , and it combines the methods implemented in them both.

Should we close this?

Yes, it was done at #74 (mentioning it for the record)