As AI tools grow more capable of scanning and exploiting software, NEAR co-founder Illia Polosukhin argues that traditional code reviews can no longer keep pace with automated attacks. He contends that formal verification—a mathematical method of proving code behaves exactly as intended—represents a necessary shift for securing blockchain systems. The concern is that AI-assisted hacking can identify vulnerabilities faster than human auditors and conventional review processes can address them, raising the stakes for smart contracts and decentralized applications that manage significant value. Polosukhin's comments reflect a broader industry discussion about how emerging AI capabilities are reshaping both offensive and defensive security practices. By advocating formal verification, he positions rigorous mathematical assurance as a stronger foundation for protecting on-chain code, though such methods can be complex and resource-intensive to implement across large or evolving codebases.
— Sponsored —
Trade smarter on BYDFI
Get a bonus on your first deposit — from $50 at $100, up to $2,000 at $20k. 200x leverage, 600+ perpetuals, deep liquidity.