zkLLVM
Compiler
Compiles high-level programming languages into input for provable computations protocols.
Zero-Knowledge Proof Systems Circuit Compiler
304 stars
13 watching
50 forks
Language: C++
last commit: 4 months ago compilerllvmproof-systemzero-knowledge
Related projects:
Repository | Description | Stars |
---|---|---|
| A compiler and runtime environment for a statically typed, compiled systems programming language. | 16,662 |
| An LLVM-based compiler for the Nim programming language. | 711 |
| A compiler for defining arithmetic circuits used in zero-knowledge proofs | 1,366 |
| A compiler frontend written without C macros using LLVM as the backend to compile a minimal language for educational purposes. | 234 |
| A compiler for a specific circuit language used in zkSNARKs proofs | 473 |
| A concise introduction to Zero-Knowledge Proofs basics | 119 |
| An experimental compiler and language implementation built on top of LLVM and Python. | 99 |
| A Haskell compiler for a Lisp/Scheme-inspired language with an LLVM backend | 99 |
| A minimal functional programming language compiler target | 18 |
| A modern, statically typed low-level programming language with strong focus on performance and minimalism. | 773 |
| A language targeting LLVM with the goal of building a simple compiler | 64 |
| Automates compilation and execution of code without requiring manual setup | 533 |
| A resurrected and improved implementation of the LLVM C Backend in Groff, enabling compilation of programs written in various programming languages to native machine code. | 127 |
| An implementation of a statically-typed functional programming language in Go using LLVM and building its own compiler from scratch. | 749 |
| A compiler and runtime system for a simple programming language, designed to be efficient and embeddable in other applications. | 279 |