Vitalik在X平台表示，AI可将程序安全验证为数学定理，安全定义需覆盖密钥、服务器、设备、操作系统、数据库、网络及缓存层风险，对于安全关键组件应验证整个程序。以太坊未来数年将沿此方向推进，区块链尤其是兼具扩展性和隐私性的区块链需要实现软件安全。
Vitalik在X平台表示，AI可将程序安全验证为数学定理，安全定义需覆盖密钥、服务器、设备、操作系统、数据库、网络及缓存层风险，对于安全关键组件应验证整个程序。以太坊未来数年将沿此方向推进，区块链尤其是兼具扩展性和隐私性的区块链需要实现软件安全。
京ICP备12034567号 | 增值电信业务经营许可证 | 京公安网备11010502030123号 | 广播电视节目制作经营许可证（京）字第05268号
Copyright © 2010-2016 亚洲财经网 All Rights Reserved 市场有风险 投资需谨慎
地址：北京市朝阳区光华里8号中海广场中楼30层 邮编：100020
