Protocols

A non-exhaustive list of protocols I've implemented, mostly in Cerberus.

• [BBBD+23] — Publicly Verifiable Zero-Knowledge and Post-Quantum Signatures From VOLE-in-the-Head post-quantum signatures
• [BMRS24] — Cheater Identification on a Budget: MPC with Identifiable Abort from Pairwise MACs online phase with pairwise MACs, homomorphic commitments
• [LLXY26] — Faster Pseudorandom Correlation Generators via Walsh-Hadamard Transform subfield VOLE PCG, Beaver triples PCG
• [GYWZ+22] — Half-Tree: Halving the Cost of Tree Expansion in COT and DPF DPF, correlated GGM
• [DKLS19] — Threshold ECDSA from ECDSA Assumptions: The Multiparty Case malicious OT-based OLE
• [WYKW21] — Wolverine: Fast, Scalable, and Communication-Efficient Zero-Knowledge Proofs for Boolean and Arithmetic Circuits subfield VOLE PCG
• [KOS16] — MASCOT: Faster Malicious Arithmetic Secure Computation with Oblivious Transfer OT-based triple generation
• [MRR21] — Batching Base Oblivious Transfers batched base OTs
• [Roy22] — SoftSpokenOT: Quieter OT Extension From Small-Field Silent VOLE in the Minicrypt Model OT extension
• [RST19] — Actively Secure Setup for SPDZ daBit generation
• [Ferret] — Ferret: Fast Extension for coRRElated oT with small communication silent COT extension
• [YWZ20] — More Efficient MPC from Improved Triple Generation and Authenticated Garbling binary triple generation