Propagate latest changes to HACL* hash specs

hacl-star / merkle-tree

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

6 stars 5 forks source link

Closed R1kM closed 1 year ago

R1kM commented 1 year ago

Due to recent cleanups to the hash specs in HACL* (https://github.com/hacl-star/hacl-star/pull/740), the specification of finish was moved from Spec.Hash.PadFinish to Spec.Agile.Hash.

This PR propagates these changes to the codebase.

msprotz commented 1 year ago

Thanks Aymeric!