GitHub repository: reilabs/proven-zk
Primary language: Lean
Description: A support library for working with zero knowledge cryptography in Lean 4.