search

hacl-star / merkle-tree

A verified Merkle Tree, built as a standalone project on top of EverCrypt
7 stars 5 forks source link

bump MerkleTree.Low.Serialization #21

Closed nikswamy closed 6 months ago