NEAR targets protocol security after $112 AI proof-generation run

NEAR Protocol has outlined plans to apply AI-assisted formal verification to its protocol and core smart contracts after reporting 672 solved mathematics problems at a submission-time model cost of $111.85. NEAR plans to apply AI-assisted formal verification to its protocol and core smart contracts. NEAR AI reported solving 672 PutnamBench problems at a submission-time model cost of $111.85. Production verification requires accurate software models, defined requirements, and proofs covering the deployed implementation. Formal verification complements testing and code reviews, with guarantees limited to specified properties and assumptions. NEAR Protocol said in an Oct. 16 announcement that its research seeks to reduce the specialist work and computing costs involved in proving software follows defined rules. https://twitter.com/NEARProtocol/status/2112175874632233323 The planned application covers the network’s protocol and core contracts, alongside tools for ecosystem developers.

BeCrypto News shows a short excerpt and links to the publisher. The full report belongs to crypto.news.