a16z crypto hosted Stanford cryptographer Dan Boneh with Eddy Lazzarin, SuccinctJT, Liz Harkavy and Sarah Meiklejohn to assess how AI could accelerate confidence in cryptographic assumptions that rest on surviving attacks rather than formal proofs.