We helped build the first formally verified hash-based signature tool (XMSS/XMSS^MT) using Jasmin for AMD64. By linking low-level code to machine-checked EasyCr

We helped build the first formally verified hash-based signature tool (XMSS/XMSS^MT) using Jasmin for AMD64. By linking low-level code to machine-checked EasyCrypt security proofs, we guarantee functional correctness and cryptographic safety. [📷](https://pbs.twimg.com/me…