NEAR co-founder highlights rise of AI-assisted hacking, advocates for AI in formal verification
Crypto Briefing 2026-07-20 16:41:01
Context: NEAR co-founder Illia Polosukhin has raised concerns about the increasing threat of AI-assisted hacking, which he believes began as early as last October. In response to this growing threat, Polosukhin advocates for the use of artificial intelligence to enhance the formal verification of smart contracts. This call to action comes as the tech industry grapples with the implications of AI on cybersecurity.
Key Facts
- NEAR co-founder Illia Polosukhin warned that AI-assisted hacking started to rise as early as last October, highlighting a significant and emerging threat in the tech industry.
- Polosukhin advocates for the use of AI to enhance the formal verification of smart contracts, suggesting a proactive approach to mitigating the risks associated with AI-assisted hacking.
- The formal verification of smart contracts is a process that involves using mathematical and computational techniques to prove that a contract's code behaves as intended, and Polosukhin believes AI can play a crucial role in improving this process.