An Array Intermediate Language for Mixed Cryptography

TL;DR

This paper presents AIRduct, an array-based intermediate language designed to efficiently support the compilation of secure, distributed programs utilizing multiple cryptographic techniques like MPC and ZKP.

Contribution

It introduces AIRduct as an IR for the Viaduct compiler, enabling extensible cryptographic support in secure distributed program synthesis.

Findings

Supports multiple cryptographic mechanisms including MPC and ZKP

Enables efficient code generation for interactive secure programs

Extensible design for future cryptographic methods

Abstract

We introduce AIRduct, a new array-based intermediate representation designed to support generating efficient code for interactive programs employing multiple cryptographic mechanisms. AIRduct is intended as an IR for the Viaduct compiler, which can synthesize secure, distributed programs with an extensible suite of cryptography. Therefore, AIRduct supports an extensible variety of cryptographic mechanisms, including MPC and ZKP.