hacl-star / merkle-tree

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

Fixes the build following addition of keccak variants to agile hash #10

Closed msprotz closed 1 year ago

msprotz commented 1 year ago

I had been cautious to provide wrappers for all of the spec functions (for backwards-compat), but I forgot that merkle tree uses a low-level spec API