An Array Intermediate Language for Mixed Cryptography
Vivian Ding, Coşku Acay, Andrew C. Myers
TL;DR
Airduct addresses the need for an intermediate representation that supports interactive programs using multiple cryptographic back ends. It introduces an array-based IR for the Viaduct compiler that separates control flow from cryptographic computation and enables packing large computations into circuit blocks. The approach supports mixing MPC, ZKP, and other protocols via imports/exports between storage formats and computation formats, with a splitting strategy to maximize block size while preserving security constraints. This IR aims to enable vectorization and optimization on cryptographic code, improving performance for distributed-secure applications; integration into Viaduct is ongoing.
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.