Paper 2024/2088
An Embedded Domain-Specific Language for Using One-Hot Vectors and Binary Matrices in Secure Computation Protocols
, ReityAbstract
The use of secure computation protocols within production software systems and applications is complicated by the fact that such protocols sometimes rely upon -- or are most compatible with -- unusual or restricted models of computation. We employ the features of a contemporary and widely used programming language to create an embedded domain-specific language for working with user-defined functions as binary matrices that operate on one-hot vectors. At least when working with small finite domains, this allows programmers to overcome the restrictions of more simple secure computation protocols that support only linear operations (such as addition and scalar multiplication) on private inputs. Notably, programmers are able to define their own input and output domains, to use all available host language features and libraries to define functions that operate on these domains, and to translate inputs, outputs, and functions between their usual host language representations and their one-hot vector or binary matrix forms. Furthermore, these features compose in a straightforward way with simple secure computation libraries available for the host language.
Metadata
- Available format(s)
-
PDF
- Category
- Implementation
- Publication info
- Preprint.
- Keywords
- secure function evaluationdomain-specific languages
- Contact author(s)
- al @ reity org
- History
- 2024-12-30: approved
- 2024-12-27: received
- See all versions
- Short URL
- https://ia.cr/2024/2088
- License
-
CC BY
BibTeX
@misc{cryptoeprint:2024/2088,
author = {Andrei Lapets},
title = {An Embedded Domain-Specific Language for Using One-Hot Vectors and Binary Matrices in Secure Computation Protocols},
howpublished = {Cryptology {ePrint} Archive, Paper 2024/2088},
year = {2024},
url = {https://eprint.iacr.org/2024/2088}
}
