Pinned Repositories
circ
(Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.
MP-SPDZ
Versatile framework for multi-party computation
emp-sh2pc
Semi-honest Two Party Computation Based on Garbled Circuits.
spu
SPU (Secure Processing Unit) aims to be a provable, measurable secure computation device, which provides computation ability while keeping your private data protected.
delivery