Try   HackMD

Compilation of MPC@PSE Research

See below.

Writeups (some required signed-in)

Repos (some WIPs)

  • mpz (by TLSNotary team)
  • mpz-bmr16 VULNERABLE: 2024-02-09 Projection gates in arithmetic garbled circuits have a proven security vulnerability in their design. The issue affects the fancy-garbling library and its dependencies (including popsicle). We are currently investigating the impact this bug has on Arithmetic Garbling (CRT) in swanky.
  • circom-2-arithc
  • circom-MP-SPDZ that allows writing in circom and run in MP-SPDZ.
  • sim-circuit as a circuit simulation for testing generated circuits.

Learn and Share (WIP)

Tutorials and Workshops

Other cool refs (NOT BY US/ SOME WITH US)

Last changed by 
 
Nam Ngo
0
4
684

Read more

PPD and Where to find It?

PPD, or Private Proof Delegation, refers to the situation where a weak client, who holds some secret witness to a (public) statement, would like to generate a (public verifiable) zero-knowledge proof of the knowledge of the witness (and that it satisfies some relation), but not able to do so, due to resource constraint such as low computational power, shortage of power (battery life), or low memory. While computational power or battery life are somewhat able to circumvent, memory cap remains a hard constraint of such weak client.

Mar 5, 2025
Public Verifiable MPC

Secure Multiparty Computation (MPC) allows n parties P_1, \ldots, P_n to securely evaluate a joint function f(x_1, \ldots, x_n) while keeping the secret input x_i private to its owner P_i. MPC comes with two main flavors of security, namely Semi-honest and Active Security:

Feb 27, 2025
Circom-MPC

The circom-MPC project aims at allowing a developer to write a circom program (a circom circuit) and run that using an MPC backend.

Feb 26, 2025
FHE Schemes

TFHE

Feb 13, 2025
Read more from Nam Ngo
Published on HackMD