一种用于混合密码的阵列中间语言
计算与语言
2025-03-18 v4 人工智能
摘要
我们引入 AIRduct，这是一种新的基于数组的中间表示，旨在支持生成用于交互式程序的高效代码，这些程序采用多种加密机制。AIRduct 旨作为 Viaduct 编译器的中间语言，用于合成具有可扩展密码套件的安全分布程序。因此，AIRduct 支持各种可扩展的加密机制，包括 MPC 和 ZKP。
引用
@article{arxiv.2409.01586,
title = {Booster: Tackling Harmful Fine-tuning for Large Language Models via Attenuating Harmful Perturbation},
author = {Tiansheng Huang and Sihao Hu and Fatih Ilhan and Selim Furkan Tekin and Ling Liu},
journal= {arXiv preprint arXiv:2409.01586},
year = {2025}
}