-
Notifications
You must be signed in to change notification settings - Fork 2
Open
Description
Feature request β‘
Is your feature request related to a problem? π§
Creating circuits using functions for boolean gates is difficult and manual labour. There could easily be APIs for parsing some DSL and creating circuits for you. At least some prebuilt circuits such as an 8-bit adder. Additionally, common types represented as ciphertexts could be created, such as Uint8.
Describe the solution you'd like π
Some sort of easier way of creating programs using the library. Some functionality to parse a binary circuit language would be helpful. A compiler for converting Rust or LLVM to circuits would be even better.
Describe alternatives π€·ββοΈ
Possible solutions could be:
- A parser for converting binary circuit formats to the encrypted form. E.g. some subset of Verilog or similar.
- A compiler for converting Rust to circuits
- A DSL for writing circuits.
- Some predefined built-in primitive types. E.g.
Uint8,Int8, etc. with associated common methods / structures, e.g. 8-bit adder, encrypted comparison circuit, etc.
Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
No labels