circom_old
by iden3
Circuit compiler for zkSNARKs
AI summary
Circuit compiler
A compiler for a specific circuit language used in zkSNARKs proofs
- stars
- 473
- forks
- 81
- watching
- 26
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Circuit compiler
A compiler for defining arithmetic circuits used in zero-knowledge 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
Circuit builder
A crate for building and implementing zk-SNARK circuits
Zero-knowledge proof generator
A Web Assembly-based library for generating and verifying zero-knowledge proofs using zkSnark protocols
Circuit builder
A JavaScript toolset for designing and analyzing digital circuits based on an elastic transactional protocol
kg/ilwasm362
CIL compiler
Maps .NET CIL to WebAssembly S-expressions as a custom code generator backend for the JSIL compiler
yrnkrn/zapcc1.2K
compiler
A caching C++ compiler based on clang to speed up compilation
Compiler
A utility for continuously compiling CoffeeScript to JavaScript
vexu/arocc1.2K
C compiler
A compiler written in Zig to translate C code into machine-specific binary code
Circuit verifier
Automated tool for verifying uniqueness properties in zero-knowledge proof circuits
Featured in 1 awesome list
Each link jumps to the spot where the list mentions circom_old.
