Published Jul 20, 2026, 2:20 PM ET · Updated 4 months ago · 1 source
AI-assisted hacking is outpacing traditional code reviews, NEAR co-founder says
theblock
·
Original Report
NEAR co-founder Polosukhin called formal verification a necessary shift for securing blockchain code from AI hacking.