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 Verkle Primitives #10

Open DavePearce opened 1 year ago

DavePearce commented 1 year ago

Verkle trees are similar to Merkle trees, but offer much shorter proof sizes. See this Vitalik article and the original paper.

DavePearce commented 1 year ago

Note that these use polynomial commitments to implement vector commitments! See also discussion on multiproofs.