A support library for working with zero knowledge cryptography in Lean 4. - View it on GitHub