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 BulletProof Commitments #11

Open DavePearce opened 1 year ago

DavePearce commented 1 year ago

These are an alternative to KZG commitments. Starting point here.