#

wide-trail

Here is 1 public repository matching this topic...

tasmaikeni13 / HMV

Experimental 1536-bit sponge hash family featuring a controller-driven permutation with machine-checked Lean 4 wide-trail proofs

python c cryptography cryptanalysis theorem-proving permutation formal-verification sponge-construction lean4 hash-function wide-trail

Updated Jul 26, 2026
Python

Improve this page

Add a description, image, and links to the wide-trail topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the wide-trail topic, visit your repo's landing page and select "manage topics."