Add path serialization to Merkle trees

hacl-star / merkle-tree

A verified Merkle Tree, built as a standalone project on top of EverCrypt

6 stars 6 forks source link

Add path serialization to Merkle trees #8

Open wintersteiger opened 4 years ago

wintersteiger commented 4 years ago

We have a use-case for which we need Merkle path serialization. We should really add to our interface next to whole-tree serialization. (I'll probably add it myself some time soon.)

wintersteiger commented 4 years ago

CC @achamayou