Quick Take
- NEAR 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 Block's 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 expensive, slow, and labor-intensive, but Polosukhin said AI can now help generate most of the necessary proof, which can then be independently checked.
“You dont need to rely on AI because the AI just produces the proof,” he said. “You just verify that the proof is correct.”
A recent Zcash initiative is an example of what Polosukhin is describing. Project Tachyon used AI-assisted verification to produce a mathematical proof that Zcash's Ironwood shielded pool cannot contain the same kind of undetectable counterfeiting bug that was found in its Orchard pool last month.
Project Tachyon said that advances in AI-assisted proof generation have reduced work that once took years down to a matter of weeks.
Polosukhin also argues that this approach should eventually go beyond smart contracts to critical internet and networking software.
“We need to fundamentally shift to building blockchain code — and honestly, all the code on the internet — to be formally verified,” he said.
Separately on Monday, NEAR rolled out an upgrade aimed at preparing the network for emerging security and scalability demands. Users can now switch to quantum-resistant account keys, while the network can automatically expand its capacity as activity grows.
Disclaimer: The Block is an independent media outlet that delivers news, research, and data. As of November 2023, Foresight Ventures is a majority investor of The Block. Foresight Ventures invests in other companies in the crypto space. Crypto exchange Bitget is an anchor LP for Foresight Ventures. The Block continues to operate independently to deliver objective, impactful, and timely information about the crypto industry. Here are our current financial disclosures.
© 2026 The Block. All Rights Reserved. This article is provided for informational purposes only. It is not offered or intended to be used as legal, tax, investment, financial, or other advice.