MerkleTree.New.High.Correct.Path: Stabilize proof - Githubissues

hacl-star / merkle-tree

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

6 stars 5 forks source link

MerkleTree.New.High.Correct.Path: Stabilize proof #24

Closed mtzguido closed 2 months ago