search

hacl-star / merkle-tree

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

Add some interfaces #25

Closed mtzguido closed 2 months ago

mtzguido commented 2 months ago

I'm not so sure this is desirable, so posting a PR. Doing it for all files would likely improve parallelism and maybe proof stability.