According to The Block, Illia Polosukhin, co-founder of NEAR Protocol, stated that AI has accelerated the speed at which hackers discover software vulnerabilities, and traditional code review models are difficult to cope with. Illia Polosukhin advocates for formal verification, which ensures code behavior is consistent with specifications through mathematical proofs, and suggests extending it beyond smart contracts. NEAR released an upgrade on the same day, allowing users to switch to anti quantum account keys, and the network can automatically expand its capacity as the activity grows.
