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. | 286 |
| encryptogroup/aby | A framework for efficient mixed-protocol secure two-party computation | 464 |
 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. | 189 |
| 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 | 178 |
 microsoft/eva | Automates away parts of homomorphic encryption requiring cryptographic expertise | 226 |
| aarhuscrypto/duplo | An implementation of a cryptographic protocol for secure computation on distributed systems | 22 |
 ucb-art/bag_framework | A framework for generating and analyzing analog circuits using Python | 142 |
| iden3/circom | A compiler for defining arithmetic circuits used in zero-knowledge proofs | 1,339 |
 vexu/arocc | A compiler written in Zig to translate C code into machine-specific binary code | 1,138 |
 q-compiler/universalqcompiler | A Mathematica package for decomposing and simplifying quantum computations | 65 |
 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 |