A cryptography library written in Dafny which focuses on SNARKs and related systems. - View it on GitHub