search

Consensys / DafnyCrypto

A cryptography library written in Dafny which focuses on SNARKs and related systems.
Apache License 2.0
4 stars 1 forks source link

8 implement merkle trees proofs #12

Closed DavePearce closed 1 year ago