混合密码学阵列中间语言

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。

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

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

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%

发文量

期刊最新文献

Memory Consistency and Program Transformations No Saved Kaleidosope: an 100% Jitted Neural Network Coding Language with Pythonic Syntax Towards Quantum Multiparty Session Types The Incredible Shrinking Context... in a decompiler near you Scheme Pearl: Quantum Continuations