NEAR Co-founder Recommends Formal Verification Against AI-Assisted Attacks; Network Releases Quantum-Resistant Account Keys on July 21

According to Odaily, NEAR Protocol co-founder Illia Polosukhin on July 21 advocated formal verification as a defense against accelerating AI-assisted hacking threats, arguing that traditional code review is no longer sustainable. Polosukhin proposed using mathematical proofs to ensure code behavior aligns with specifications, with AI generating most proofs and humans validating them. On the same day, NEAR released an upgrade allowing users to switch to quantum-resistant account keys, with the network auto-scaling capacity as activity increases.
Disclaimer: The information on this page may come from third-party sources and is for reference only. It does not represent the views or opinions of Gate and does not constitute any financial, investment, or legal advice. Virtual asset trading involves high risk. Please do not rely solely on the information on this page when making decisions. For details, see the Disclaimer.
Comment
0/400
No comments