#hash-functions on Hacker News

2 stories tagged hash-functions, newest first.

Screenshot of blog.trailofbits.com: SequenceHash: Multihashing for the rest of us

SequenceHash: Multihashing for the rest of us (blog.trailofbits.com)

9 points by tob_scott_a 24 days ago | 0 comments

Trail of Bits blog post introducing SequenceHash and SequenceMAC, open-source hash constructions for secure multihashing with unambiguous input encoding, part of C2SP.

cryptography hash-functions sequencehash multihashing

Screenshot of jonathan.protzenko.fr: 15,000 lines of verified cryptography now in Python

15,000 lines of verified cryptography now in Python (jonathan.protzenko.fr)

447 points by todsacerdoti 1 year ago | 142 comments

Blog post by Jonathan Protzenko describing how CPython now uses the formally verified HACL* library for all its default hash and HMAC algorithms.

hacl-star python formal-verification cryptography

#hash-functions on Hacker News

SequenceHash: Multihashing for the rest of us(blog.trailofbits.com)

15,000 lines of verified cryptography now in Python(jonathan.protzenko.fr)

SequenceHash: Multihashing for the rest of us (blog.trailofbits.com)

15,000 lines of verified cryptography now in Python (jonathan.protzenko.fr)