LLZK is an open-source Intermediate Representation (IR) for Zero Knowledge (ZK) circuit languages. The LLZK project provides a flexible framework, inspired by LLVM, designed to unify diverse ZK front-end languages and backend ZK architectures. From an implementation perspective, the LLZK IR is a composition of multiple MLIR dialects that represent different features that may be present in the source ZK language.

You can read more about the motivation and design of the project on our blog. You can also view our Ethereum Foundation grant proposal that helped fund this project.

Site Organization

This site contains both user documentation and internal developer documentation for the LLZK library and related tooling.

User Documentation:

Advanced Documentation:

LLZK Dialect Language Reference

How to Contribute:

First, read our Code of Conduct.
Then, read our Contribution Guide.

View the LLZK License.

Versions

This site documents the current state of LLZK version 0.1.0. For specific release version documentation, refer to the below subsites:

Todo: Coming soon after release.