UC
Implementation of Valiant's universal circuit construction optimized for private function evaluation
AI summary
Universal Circuit Compiler
A compiler for constructing universal circuits used in cryptography
- stars
- 39
- forks
- 10
- watching
- 7
Similar projects
Found by comparing what the projects do, not just their names.
circify/circ289
Circuit Compiler
A compiler infrastructure for translating high-level languages into circuit forms used in cryptography and formal verification.
Secure computation framework
A framework for efficient mixed-protocol secure two-party computation
Homomorphic Commitment Scheme
A portable C++ implementation of the recent UC-secure additively homomorphic commitment scheme
UAC bypass technique
A technique to bypass Windows UAC security restrictions using a DLL planting method for executing malicious code in high integrity processes.
Two-party protocol automator
Automates efficient Secure Two-partY computation protocols using garbled circuits and homomorphic encryption techniques
Circuit compiler
A compiler for a specific circuit language used in zkSNARKs proofs
Data sharing protocol
An implementation of Private Set Intersection protocols for secure data sharing
Encryption compiler
Automates away parts of homomorphic encryption requiring cryptographic expertise
Secure computation protocol
A cryptographic protocol implementation for secure computation
Circuit generator
A framework for generating and analyzing analog circuits using Python
iden3/circom1.4K
Circuit compiler
A compiler for defining arithmetic circuits used in zero-knowledge proofs
vexu/arocc1.2K
C compiler
A compiler written in Zig to translate C code into machine-specific binary code
Quantum compiler
Decomposes generic quantum computations into sequences of C-NOT gates and single-qubit rotations
Crypto compiler
A compiler for a constant-time programming language used in cryptography
Rust compiler
A container solution to compile Rust projects across multiple operating systems.
