AI is increasingly discovering new ways to attack cryptographic algorithms today, I spoke with Ethereum researcher Justin Drake on what this means for the future 0:35 HAWK signature scheme flaw 2:08 security risks 4:13 Ethereum's post-quantum roadmap 7:29 why verification is expensive 11:12 formal verification 11:59 Ethereum in a... post-AI world 14:03 attackers vs. defenders 16:32 inside the Ethereum Foundation 18:15 what AI labs should prioritizeshow more

@drakefjustin Oh look it’s my favorite people

@drakefjustin TogETHerness 🙏📖

@drakefjustin Justin Drake helped write the paper that dropped the qubit estimate to under 1500. Now he is laying out Ethereum's 2029 post-quantum target. The same person did the math on both sides. Threat and response, wjhich is a rare position.

@drakefjustin justin is a menace

@drakefjustin O custo de verificar provas de conhecimento zero tende a explodir se a precisão matemática ficar para trás.

@ethereumfndn @drakefjustin Keep it coming.

AI-driven cryptanalysis means the window between deployment and exploit is shrinking to zero. Traditional audits are no longer a sufficient shield. If we do not make formal verification the automated baseline for critical infrastructure and smart contracts, we are just writing expensive bugs.

@drakefjustin yt link?