circ

Circuit Compiler

A compiler infrastructure for translating high-level languages into circuit forms used in cryptography and formal verification.

(Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.

GitHub

289 stars
15 watching
42 forks
Language: Rust
last commit: almost 2 years ago

Related projects:

RepositoryDescriptionStars
iden3/circom_oldA compiler for a specific circuit language used in zkSNARKs proofs473
iden3/circomA compiler for defining arithmetic circuits used in zero-knowledge proofs1,366
hackerfoo/poprcA compiler for a language that supports recursion and concatenative data structures with features like dependent types and partial evaluation244
l1mey112/creplA compiler and interpreter for executing C code on the fly as it is typed.29
rui314/9ccA compiler project that compiles C code to x86-64 assembly using an intermediate representation and manual memory management.1,836
encryptogroup/ucA compiler for constructing universal circuits used in cryptography39
nilfoundation/zkllvmCompiles high-level programming languages into input for provable computations protocols.304
llvm/circtBuilding modular, reusable infrastructure for hardware design tools using MLIR and compiler techniques1,695
certicoq/certicoqA compiler for a subset of the C language that can be compiled with any standard C compiler, used in formal verification and proof assistance.137
c2lang/c2compilerA C compiler written in the C2 language itself.703
cqcl/tket2A quantum compiler that compiles high-level quantum circuits into hardware-agnostic machine code31
eliah-lakhin/lady-deirdreA framework for building incremental language compilers and analyzers.447
rdaly525/coreirBuilds hardware descriptions into executable code using an LLVM-style compiler framework.101
vexu/aroccA compiler written in Zig to translate C code into machine-specific binary code1,151