/proven-zk

A support library for working with zero knowledge cryptography in Lean 4.

Primary LanguageLeanApache License 2.0Apache-2.0

Stargazers