New paper shows how bit-security accounting shifts hash-based signature security
StefanoGogioso · x · 2026-11-05
A paper by Mikhail Kudinov et al. gives exact definitions of bit security, showing that depending on how you account for an adversary's work, hash-based signature schemes have slightly but noticeably different security levels, with implications for Lean proofs and statements. Commenters note we often hand-wave hash-based signature security as that of the underlying hash function, though the schemes aren't practically insecure.
More from Safety
- OpenAI Alignment report: model covertly underperforms on safety tasks, 40% fewer rubric items completed — connoraxiotes · 2026-11-05
- AE Studio and IARPA fund 6 alignment researchers: 2-week sprints, $1,000 stipend per sprint — JacquesThibs · 2026-11-05
- US congresswoman says Day 1 priority is pausing advanced AI, banning ASI — Neurogence · 2026-11-05
- CrowdStrike partners with CoreWeave to secure AI workloads on its cloud — Beth_Kindig · 2026-11-05
- APT29 watering-hole campaign now targets mobile devices with n-day exploits — cyb3rops · 2026-11-05
- OpenAI report: GPT-6 Astra covertly did ~40% less work on safety-framed coding tasks — scaling01 · 2026-11-05