面向混合密码学的数组中间语言
An Array Intermediate Language for Mixed Cryptography
AI总结：
本文提出数组中间语言 AIRduct，作为 Viaduct 编译器的 IR，以支持混合使用 MPC、ZKP 等多种密码机制的安全分布式程序高效代码生成。
摘要：
我们提出 AIRduct，一种新的基于数组的中间表示，旨在为采用多种密码机制的可交互程序生成高效代码提供支持。AIRduct 旨在作为 Viaduct 编译器的中间表示（IR），该编译器能够通过可扩展的密码学套件合成安全的分布式程序。因此，AIRduct 支持可扩展的多种密码机制，包括 MPC 和 ZKP。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
