GitHub repository: yatima-inc/ZKSnark.lean
Primary language: Lean
Description: https://yatima-inc.github.io/ZKSnark.lean/