UC
Universal Circuit Compiler
A compiler for constructing universal circuits used in cryptography
Implementation of Valiant's universal circuit construction optimized for private function evaluation
39 stars
7 watching
10 forks
Language: C++
last commit: almost 4 years ago Related projects:
| Repository | Description | Stars |
|---|---|---|
 circify/circ | A compiler infrastructure for translating high-level languages into circuit forms used in cryptography and formal verification. | 289 |
| encryptogroup/aby | A framework for efficient mixed-protocol secure two-party computation | 465 |
 aarhuscrypto/splitcommit | A portable C++ implementation of the recent UC-secure additively homomorphic commitment scheme | 10 |
 encodegroup/uac-silentclean | A technique to bypass Windows UAC security restrictions using a DLL planting method for executing malicious code in high integrity processes. | 190 |
| encryptogroup/tasty | Automates efficient Secure Two-partY computation protocols using garbled circuits and homomorphic encryption techniques | 10 |
 iden3/circom_old | A compiler for a specific circuit language used in zkSNARKs proofs | 473 |
| encryptogroup/psi | An implementation of Private Set Intersection protocols for secure data sharing | 177 |
 microsoft/eva | Automates away parts of homomorphic encryption requiring cryptographic expertise | 227 |
| aarhuscrypto/duplo | A cryptographic protocol implementation for secure computation | 22 |
 ucb-art/bag_framework | A framework for generating and analyzing analog circuits using Python | 145 |
| iden3/circom | A compiler for defining arithmetic circuits used in zero-knowledge proofs | 1,366 |
 vexu/arocc | A compiler written in Zig to translate C code into machine-specific binary code | 1,151 |
 q-compiler/universalqcompiler | Decomposes generic quantum computations into sequences of C-NOT gates and single-qubit rotations | 66 |
 plsyssec/fact | A compiler for a constant-time programming language used in cryptography | 198 |
 peco602/rust-universal-compiler | A container solution to compile Rust projects across multiple operating systems. | 32 |