An Array Intermediate Language for Mixed Cryptography
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2024
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866909303213916160 |
|---|---|
| author | Ding, Vivian Acay, Coşku Myers, Andrew C. |
| author_facet | Ding, Vivian Acay, Coşku Myers, Andrew C. |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2409_01587 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | An Array Intermediate Language for Mixed Cryptography Ding, Vivian Acay, Coşku Myers, Andrew C. Cryptography and Security Programming Languages 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. |
| title | An Array Intermediate Language for Mixed Cryptography |
| topic | Cryptography and Security Programming Languages |
| url | https://arxiv.org/abs/2409.01587 |