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

Implement BLS signatures #16

Open DavePearce opened 1 year ago

DavePearce commented 1 year ago

This would be a fun exercise. Ben has a good description in his book here. Ideally it supports aggregation as well.

Note: this will require the pairing operation to be implemented.