integrate with zkinterface

ProvableHQ / leo

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

https://leo-lang.org/

GNU General Public License v3.0

4.78k stars 659 forks source link

integrate with zkinterface #101

Open collinc97 opened 4 years ago

Tails commented 4 years ago

This is an issue that I would have opened myself! This would be great. Does Leo support compiling the program to R1CS? Then integration is relatively trivial. Connecting to ZKInterface would attract a lot of attention to Aleo since finding practical ZKP frontends is not so easy.

[ ] find out how and where in code circuits are encoded to R1CS
[ ] find out if a Leo ZPK program is compatible outside of the Aleo ecosystem
[ ] write adapter from the resulting R1CS circuit definition

collinc97 commented 2 years ago

Deleting "Icebox" board so this issue will be moved to "New Issues"