cd /news/artificial-intelligence/near-co-founder-highlights-rise-of-a… · home topics artificial-intelligence article
[ARTICLE · art-65791] src=cryptobriefing.com ↗ pub= topic=artificial-intelligence verified=true sentiment=↓ negative

NEAR co-founder highlights rise of AI-assisted hacking, advocates for AI in formal verification

NEAR Protocol co-founder Illia Polosukhin warned that AI-assisted hacking on blockchain systems began in October and urged the industry to adopt AI-powered formal verification for smart contract security. He advocates using machine learning to mathematically prove code correctness before deployment, treating all user inputs as potential threats.

read2 min views1 publishedJul 20, 2026
NEAR co-founder highlights rise of AI-assisted hacking, advocates for AI in formal verification
Image: Cryptobriefing (auto-discovered)

Illia Polosukhin warns that AI-powered attacks on blockchain systems started last October and says the industry needs to fight fire with fire

Illia Polosukhin, the co-founder of NEAR Protocol and one of the researchers behind the landmark “Attention Is All You Need” paper that birthed the Transformer architecture powering today’s AI models, is sounding the alarm on a new class of threats to blockchain security. According to Polosukhin, AI-assisted hacking started emerging in October, and the crypto industry needs to respond by weaponizing the same technology for defense.

His prescription is straightforward: use AI to dramatically improve formal verification of smart contract code. In English, that means deploying machine learning to mathematically prove that code does what it’s supposed to do, and nothing else, before it ever touches a mainnet.

The threat landscape is shifting fast #

The implications for blockchain are uniquely severe. Smart contracts are immutable once deployed. A vulnerability exploited by an AI scanning tool doesn’t just mean a data breach, it means funds are gone. No rollback, no customer service hotline, no insurance claim.

Traditional security approaches in crypto have leaned heavily on code audits, bug bounties, and what Polosukhin characterizes as probabilistic defenses. Rather than simply training systems against known attack vectors like prompt injection, he advocates treating every user input as a potential threat vector by default.

Fighting AI with AI #

Formal verification uses mathematical proofs to guarantee that code behaves exactly as intended under all possible conditions. AI could change that calculus by assisting with or even automating portions of the formal verification process, reducing the time required significantly.

NEAR AI, the protocol’s dedicated artificial intelligence arm, is actively building in this direction. The initiative encompasses confidential inference, private AI computing, and what NEAR describes as agent economy standards. One notable project in the pipeline is IronClaw, which is focused on enhancing security protocols for AI agents and smart contracts alike.

Polosukhin is pushing toward creating what amounts to a secure AI operating system, one that inherently assumes adversarial conditions rather than bolting security on as an afterthought.

Decentralization as a security strategy #

Polosukhin consistently frames decentralization itself as a critical defense mechanism, particularly against the concentration of AI capabilities in the hands of a few major tech companies. If AI infrastructure is controlled by a handful of centralized entities, those entities become single points of failure. Distributing AI computation across decentralized networks makes the whole stack more resilient.

Polosukhin presented at Stanford’s Real World AI Security Conference in July 2026, focusing on vulnerabilities related to large language models and AI agents operating within blockchain environments.

Disclosure: This article was edited by Editorial Team. For more information on how we create and review content, see our

Editorial Policy.

── more in #artificial-intelligence 4 stories · sorted by recency
── more on @illia polosukhin 3 stories trending now
sponsored brought to you by zahid.host 4,200+ EU-deployed projects
reading about agents? ship yours in a single git push.

Run your AI side-project on zahid.host

EU-based hosting, git-push deploys, automatic HTTPS, no cold starts. Free tier with a custom domain — perfect for shipping the agent you just read about.

$git push zahid main
Live at https://your-agent.zahid.host
Get free account → Pricing
from €0/mo · no card required
LIVE [news/near-co-founder-high…] indexed:0 read:2min 2026-07-20 ·