Cryptology ePrint Archive: Report 2020/1604

An Embedded Domain-Specific Language for Logical Circuit Descriptions with Applications to Garbled Circuits

Andrei Lapets and Wyatt Howe and Ben Getchell and Frederick Jansen

Abstract: Contemporary libraries and frameworks that make it possible to incorporate secure multi-party computation protocols and capabilities into production software systems and applications must sometimes deliver underlying capabilities (such as logical circuit synthesis) to new kinds of environments (such as web browsers or serverless cloud computing platforms). In order to illustrate some of the benefits of addressing this challenge by building a solution from the ground up that leverages the features of a contemporary and widely used programming language, we present an embedded domain-specific language that allows programmers to describe and synthesize logical circuits. Notably, this approach allows programmers to employ many of the language features and any of the programming paradigms supported by the host language. We illustrate this flexibility by considering two use cases: synthesizing circuits for relational operations and synthesizing circuits corresponding to the SHA-256 cryptographic hash function.

Category / Keywords: implementation / secure multi-party computation, implementation, domain-specific languages

Date: received 24 Dec 2020

Contact author: andrei at nthparty com

Available format(s): PDF | BibTeX Citation

Version: 20201227:131619 (All versions of this report)

Short URL: ia.cr/2020/1604


[ Cryptology ePrint archive ]