circom
by iden3
zkSnark circuit compiler
AI summary
Circuit compiler
A compiler for defining arithmetic circuits used in zero-knowledge proofs
- stars
- 1.4K
- forks
- 271
- watching
- 19
Similar projects
Found by comparing what the projects do, not just their names.
Circuit compiler
A compiler for a specific circuit language used in zkSNARKs proofs
Circuit library
A collection of reusable circuit templates written in the Circom programming language.
circify/circ289
Circuit Compiler
A compiler infrastructure for translating high-level languages into circuit forms used in cryptography and formal verification.
Compiler
Compiles high-level programming languages into input for provable computations protocols.
Zero-knowledge computation library
A JavaScript and WebAssembly implementation of a zero-knowledge proof protocol for secure multi-party computations
Circuit builder
A tutorial on building RollupNC with Circom and SnarkJS
Zero-knowledge proof generator
A Web Assembly-based library for generating and verifying zero-knowledge proofs using zkSnark protocols
Circuit verifier
Automated tool for verifying uniqueness properties in zero-knowledge proof circuits
llvm/circt1.7K
Design tool framework
Building modular, reusable infrastructure for hardware design tools using MLIR and compiler techniques
kg/ilwasm362
CIL compiler
Maps .NET CIL to WebAssembly S-expressions as a custom code generator backend for the JSIL compiler
Memory compiler
A compiler for designing and generating layouts of memory compilers using DFF/Latch cells
Compiler
A compiler and interpreter for executing C code on the fly as it is typed.
Compiler
A compiler frontend written without C macros using LLVM as the backend to compile a minimal language for educational purposes.
Quantum circuit compiler
A C++ library for synthesizing, transforming and compiling quantum circuits
