混合密码学阵列中间语言

arXiv - CS - Programming Languages Pub Date : 2024-09-03 DOI:arxiv-2409.01587

Vivian Ding, Coşku Acay, Andrew C. Myers

{"title":"混合密码学阵列中间语言","authors":"Vivian Ding, Coşku Acay, Andrew C. Myers","doi":"arxiv-2409.01587","DOIUrl":null,"url":null,"abstract":"We introduce AIRduct, a new array-based intermediate representation designed\nto support generating efficient code for interactive programs employing\nmultiple cryptographic mechanisms. AIRduct is intended as an IR for the Viaduct\ncompiler, which can synthesize secure, distributed programs with an extensible\nsuite of cryptography. Therefore, AIRduct supports an extensible variety of\ncryptographic mechanisms, including MPC and ZKP.","PeriodicalId":501197,"journal":{"name":"arXiv - CS - Programming Languages","volume":"12 1","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2024-09-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"An Array Intermediate Language for Mixed Cryptography\",\"authors\":\"Vivian Ding, Coşku Acay, Andrew C. Myers\",\"doi\":\"arxiv-2409.01587\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We introduce AIRduct, a new array-based intermediate representation designed\\nto support generating efficient code for interactive programs employing\\nmultiple cryptographic mechanisms. AIRduct is intended as an IR for the Viaduct\\ncompiler, which can synthesize secure, distributed programs with an extensible\\nsuite of cryptography. Therefore, AIRduct supports an extensible variety of\\ncryptographic mechanisms, including MPC and ZKP.\",\"PeriodicalId\":501197,\"journal\":{\"name\":\"arXiv - CS - Programming Languages\",\"volume\":\"12 1\",\"pages\":\"\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2024-09-03\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"arXiv - CS - Programming Languages\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/arxiv-2409.01587\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"arXiv - CS - Programming Languages","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/arxiv-2409.01587","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

我们介绍了 AIRduct，这是一种新的基于数组的中间表示法，旨在支持为采用多种加密机制的交互式程序生成高效代码。AIRduct 是 Viaductcompiler 的中间表示，它可以综合安全的分布式程序和扩展的密码学套件。因此，AIRduct 支持多种可扩展的加密机制，包括 MPC 和 ZKP。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

An Array Intermediate Language for Mixed Cryptography

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

arXiv - CS - Programming Languages

自引率

0.00%

发文量