JP Aumasson
@veorq
Serious Cryptographer
BLAKE3 SipHash SLH-DSA codesigner
@taurus_hq cofounder+CSO
Joined June 2009
986 Following 19.8K Followers
proof of 0 = 1 in Lean, exploiting a hash collision (weak 32-bit hash Expr.hash/mixhash)
