Consensys/DafnyCrypto Issues
Hash to Curve
UpdatedImplement BLS signatures
UpdatedLagrange Polynomial
Closed 1Implement Verkle Primitives
Updated 1Strip down `Int` module
ClosedAdd CI pipeline
UpdatedAdd `build.gradle`
Updated
A cryptography library written in Dafny which focuses on SNARKs and related systems.