mirror of
https://github.com/privacy-scaling-explorations/pse.dev.git
synced 2026-01-14 00:28:28 -05:00
2.0 KiB
2.0 KiB
id, name, image, section, projectStatus, category, tldr, tags, links
| id | name | image | section | projectStatus | category | tldr | tags | links | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| circom-mpc | Circom-MPC | pse | inactive | research | PSE Research project that enables the use of the Circom language to develop MPC applications. |
|
|
Circom-MPC is a set of projects designed to compile and run arithmetic and boolean MPC circuits written in Circom. In this project, we envisioned MPC as a broader paradigm, where MPC serves as an umbrella for generic techniques such as Zero-Knowledge Proof, Garbled Circuit, Secret-Sharing, or Fully Homomorphic Encryption.
Throughout this research the team produced some valuable resources and insights, including:
- Implementation of circom-2-arithc, a fork of the Circom compiler that targets arithmetic circuits, which can be fed into any MPC backend
- Example integration of circom-2-arithc with the popular Secret-Sharing based backend MP-SPDZ in circom-MP-SPDZ.
- Proof of concept application using MPC-ML with keras-2-circom-MP-SPDZ which extends keras-2-circom-ZK to keras-2-circom-MPC.
- Modular Layer benchmarks for the keras model.
We decided to sunset the project for a few reasons:
- The overwhelming amount of effort to fully implement it.
- The low current traction of users (could be due to Circom). Hence an MPC-Framework variant may be of more public interest.
- The existence of competitors such as Sharemind MPC into Carbyne Stack.
Therefore, we will leave it as a paradigm, and hope that any interested party will pick it up and continue its development.