SHA-1

Stream: general

[Greg Shuflin]

Is anyone aware of an existing Lean implementation of SHA-1 hashing?

[Daniel Weber]

I found on GitHub https://github.com/Ferinko/LeanSha by @František Silváši 🦉 , but I don't know anything about it

[František Silváši 🦉]

I use this to handshake websockets and it appears to work, but that's just abouuut the full extent of assurances I can give you :).

[François G. Dorais]

This is a job for ffi but also see this recent post: #job postings > Quick job writing cryptography equivalence proofs @ 💬