A DSL for Garbled Circuits

Matthew Chan, Rohit Jha, Atyansh Jaiswal

Read PDF

Topics

cryptography garbled circuits DSL secure computation

Abstract

This paper presents a domain-specific language (DSL) for expressing and working with garbled circuits, a fundamental cryptographic primitive for secure multi-party computation.

Key Contributions

  • Novel DSL design for garbled circuit construction
  • Improved ergonomics for secure computation programming
  • Performance optimizations

For the full paper, please see the PDF link.