crypto.news· Lawrence Mondal·· 2 小时前AI 评分43
NEAR 计划将 AI 形式化验证用于协议与核心智能合约，基准测试成本 $111.85
NEAR targets protocol security after $112 AI proof-generation run
AI brief
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. Summary NEAR plans to apply AI-assisted formal verification to its protocol and core smart contracts. NEAR AI rep…
Source: crypto.news · crypto.news