NEAR co-founder warns that AI-assisted hacking is outpacing traditional code reviews, advocating formal verification as essential for blockchain security.
Tech & Launches ·
A NEAR co-founder has raised concerns that artificial intelligence-powered attack methods are now advancing faster than conventional code review processes can defend against them. The executive, Polosukhin, contends that traditional security practices are inadequate to counter threats posed by AI-assisted hacking in the blockchain context.
In response to this gap, Polosukhin advocates for formal verification as a critical security approach. Unlike standard reviews that rely on human inspection, formal verification uses mathematical techniques to prove code correctness and detect vulnerabilities systematically. The argument frames this shift not as an optional enhancement but as a necessary evolution for protecting blockchain systems.
The assertion raises questions about the current adoption rate of formal verification across the industry and whether existing tools and expertise can scale to meet demand. It remains unclear how near-term the threat Polosukhin describes is perceived to be, or what specific AI-driven attack vectors he regards as most pressing.