circom
Circuit compiler
A compiler for defining arithmetic circuits used in zero-knowledge proofs
zkSnark circuit compiler
1k stars
19 watching
263 forks
Language: WebAssembly
last commit: 9 days ago Related projects:
| Repository | Description | Stars |
|---|---|---|
| iden3/circom_old | A compiler for a specific circuit language used in zkSNARKs proofs | 473 |
| iden3/circomlib | A collection of reusable circuit templates written in the Circom programming language. | 623 |
 circify/circ | A compiler infrastructure for translating high-level languages into circuit forms used in cryptography and formal verification. | 286 |
 nilfoundation/zkllvm | Compiles high-level programming languages into input for provable computations protocols. | 295 |
 ora-io/keras2circom | Transpiles neural networks into digital circuits | 289 |
| iden3/snarkjs | A JavaScript and WebAssembly implementation of a zero-knowledge proof protocol for secure multi-party computations | 1,790 |
 therealyingtong/roll_up_circom_tutorial | A tutorial on building RollupNC with Circom and SnarkJS | 31 |
| iden3/wasmsnark | A Web Assembly-based library for generating and verifying zero-knowledge proofs using zkSnark protocols | 210 |
 veridise/picus | Automated tool for verifying uniqueness properties in zero-knowledge proof circuits | 70 |
 llvm/circt | Building modular, reusable infrastructure for hardware design tools using MLIR and compiler techniques | 1,674 |
 kg/ilwasm | Maps .NET CIL to WebAssembly S-expressions as a custom code generator backend for the JSIL compiler | 362 |
 aucohl/dffram | A compiler for designing and generating layouts of memory compilers using DFF/Latch cells | 133 |
 l1mey112/crepl | A compiler and interpreter for executing C code on the fly as it is typed. | 30 |
 igor84/summus | A compiler frontend written without C macros using LLVM as the backend to compile a minimal language for educational purposes. | 234 |
 softwareqinc/staq | A C++ library for synthesizing, transforming and compiling quantum circuits | 157 |