JP Aumasson
@veorq
⟨Cryptography at @Cloudflare⟩
⟨BLAKE3, SipHash, SLH-DSA co-designer⟩
⟨No Starch Press author⟩
⟨Ex-CSO⟩
ᛝ
가입 June 2009
1.1K 팔로잉 중 20.5K 팬
proof of 0 = 1 in Lean, exploiting a hash collision (weak 32-bit hash Expr.hash/mixhash)
