circom_old
Circuit compiler
A compiler for a specific circuit language used in zkSNARKs proofs
Circuit compiler for zkSNARKs
473 stars
26 watching
81 forks
Language: JavaScript
last commit: over 1 year ago
Linked from 1 awesome list
matter-labs/awesome-zero-knowledge-proofsRelated projects:
| Repository | Description | Stars |
|---|---|---|
| iden3/circom | A compiler for defining arithmetic circuits used in zero-knowledge proofs | 1,359 |
| iden3/circomlib | A collection of reusable circuit templates written in the Circom programming language. | 624 |
 circify/circ | A compiler infrastructure for translating high-level languages into circuit forms used in cryptography and formal verification. | 286 |
 ora-io/keras2circom | Transpiles neural networks into digital circuits | 292 |
 nilfoundation/zkllvm | Compiles high-level programming languages into input for provable computations protocols. | 296 |
| iden3/snarkjs | A JavaScript and WebAssembly implementation of a zero-knowledge proof protocol for secure multi-party computations | 1,798 |
 therealyingtong/roll_up_circom_tutorial | A tutorial on building RollupNC with Circom and SnarkJS | 31 |
 zkcrypto/bellman | A crate for building and implementing zk-SNARK circuits | 1,027 |
| iden3/wasmsnark | A Web Assembly-based library for generating and verifying zero-knowledge proofs using zkSnark protocols | 210 |
 drom/reqack | A JavaScript toolset for designing and analyzing digital circuits based on an elastic transactional protocol | 29 |
 kg/ilwasm | Maps .NET CIL to WebAssembly S-expressions as a custom code generator backend for the JSIL compiler | 362 |
 yrnkrn/zapcc | A caching C++ compiler based on clang to speed up compilation | 1,247 |
 trevorburnham/jitter | A utility for continuously compiling CoffeeScript to JavaScript | 156 |
 vexu/arocc | A compiler written in Zig to translate C code into machine-specific binary code | 1,146 |
 veridise/picus | Automated tool for verifying uniqueness properties in zero-knowledge proof circuits | 70 |