Skip to content

formal-land/llzk-lib

 
 

Repository files navigation

llzk-lib

An MLIR intermediate representation for Zero Knowledge (ZK) Circuit languages.

For our full documentation, please refer to our GitHub pages site. For quick reference, refer to the below links.

Warning

The docs contain Doxygen-specific content that will not render properly on GitHub. Some links may be broken and some content may render improperly.

Quick Documentation:

Advanced Documentation:

Background and Motivation:

How to Contribute:

About

Library for parsing, generating, and analyzing LLZK code.

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • C++ 89.7%
  • CMake 4.7%
  • C 4.2%
  • Other 1.4%