"ZK proofs are headed for real-world deployment — but writing correct ZK statements is tricky.

Our new post by James Parker introduces zkLean, a Lean library that defines a domain specific language for specifying and formally verifying ZK statements."
#LeanLang

https://www.galois.com/articles/zklean-a-dsl-for-zk-statement-verification