zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements - View it on GitHub