# An Array Intermediate Language for Mixed Cryptography

arXiv: https://arxiv.org/abs/2409.01587 · HTML: https://mlsanity.com/paper/2409.01587/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 3 Sep 2024.

## Built on by (most cited first, 1 of 1)

- [GamiBench: Evaluating Spatial Reasoning and 2D-to-3D Planning Capabilities of MLLMs with Origami Folding Tasks](https://mlsanity.com/paper/2512.22207/) (2025)

## Abstract (arXiv)

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.