search

privacy-scaling-explorations / sonobe

Experimental folding schemes library
https://privacy-scaling-explorations.github.io/sonobe-docs/
MIT License
196 stars 48 forks source link

Decider onchain verifier Solidity generator CLI #57

Closed arnaucube closed 5 months ago

arnaucube commented 9 months ago

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 https://github.com/privacy-scaling-explorations/folding-schemes/issues/59 and https://github.com/privacy-scaling-explorations/folding-schemes/issues/58 , and it combines the methods implemented in them both.

CPerezz commented 7 months ago

Should we close this?

arnaucube commented 7 months ago

Yes, it was done at https://github.com/privacy-scaling-explorations/folding-schemes/pull/74 (mentioning it for the record)