2026-09-17 07:58:13
访问量 loading...

Vitalik:AI可验证整个程序,以太坊未来数年将推进软件安全

快讯内容
Vitalik 在 X 平台发文表示,其约 90%的净资产持有加密货币,并认为在相关能力逐步成熟后,网络安全将更偏向防御方。 他表示,AI 可将“程序安全”验证为数学定理,但安全定义需覆盖密钥、服务器、设备、操作系统、数据库、网络及缓存层等风险因素;对于安全关键组件,应验证整个程序。Vitalik 称,以太坊未来数年将沿这一方向推进,区块链尤其是兼具扩展性和隐私性的区块链需要实现软件安全。
声明:文章不代表币圈网观点及立场,不构成本平台任何投资建议。投资决策需建立在独立思考之上,本文内容仅供参考,风险自担!转载请注明出处!侵权必究!
币圈快讯
查看更多
回顶部