AI-assisted hacking is outpacing traditional code reviews, NEAR co-founder says
Quick TakeNEAR co-founder Polosukhin called formal verification a necessary shift for securing blockchain code from AI hacking.AI has cut some mathematical proof-generation work from years to weeks. Artificial intelligence is supercharging hackers ability to find software vulnerabilities faster than traditional security can patch them, according to NEAR Protocol co-founder Illia Polosukhin, who argues that developers should be turning to mathematical proofs to secure their code. “I would actually say last October — I think Balancer was the first one — thats when AI-assisted hacking started,” Polosukhin said Monday in an interview with Gareth Jenkinson on The Blocks The Starting Block podcast. Polosukhin said cybersecurity up to this point has mostly involved “smart people” reviewing code and hoping that no one smarter finds something they missed. That mindset was already imperfect before the rise of AI, he said, but newer and more capable models are making it even less sustainable. “We need a different way of thinking,” Polosukhin said. “It‘s not like, Oh, we’re going to review everything with a better model and hope that the next better model is not going to find it.” His proposed solution is formal verification that mathematically proves code “does what it says it does.” This process has been historically