AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
The Nebuchadas R Matrix Paper
"We approached it from a neutral standpoint initially, basically saying we want to understand the security. If that means building formal models and doing security proofs, great. That's what we'll do," he says. "Once you start finding one, you get a taste for it. You get a taste of blood, and then you go from there."