search

hacl-star / merkle-tree

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

HACL* API Update #13

Closed pnmadelaine closed 9 months ago

pnmadelaine commented 9 months ago

to merge at the same time as https://github.com/hacl-star/hacl-star/pull/789