search

MPC-SoK / frameworks

Sample code and build environments for MPC frameworks
Other
486 stars 111 forks source link

add Leo #52

Closed zenkuro closed 1 year ago

zenkuro commented 3 years ago

Programming language designed for formally verified, zero-knowledge applications https://eprint.iacr.org/2021/651

gutjuri commented 1 year ago

After skimming through the paper and the repo, I don't think that Leo is a framework for SMPC. I don't think it would fit into this repo. Please reopen this issue if you think I'm wrong.