zkLean zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements Development To compile the zkLean library do: lake build