Skip to the content.

Formally Verified Arguments of Knowledge in Lean

A project funded by the Verified zkEVM initiative

Blueprint (web) Blueprint (pdf) Documentation GitHub

Useful links:

  • Zulip chat for Lean for coordination
  • Blueprint (web)
  • Blueprint as pdf
  • Dependency graph
  • Doc pages for this repository
  • GitHub
ArkLib is maintained by Quang Dao, Alexander Hicks, Devon Tuma, and Gregor Mitscha-Baude. Visit the GitHub repository for more information.