You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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
No description provided.
The text was updated successfully, but these errors were encountered: