Vitalik：AI技术辅助的代码形式验证和漏洞发现很有意义
BlockBeats 消息，2 月 19 日，BlockBeats 消息，2 月 19 日，以太坊联合创始人 Vitalik Buterin 于社交平台发文称，「我对一种应用人工智能的技术感到兴奋，那就是 AI 辅助的代码形式验证和漏洞发现。目前以太坊最大的技术风险可能是代码中的漏洞，任何能够显著改变这种情况的技术都将是了不起的。」
- 发表于:
- 原文链接：https://page.om.qq.com/page/OpHMje72eEekq5T9kPuwM6LQ0
- 腾讯「腾讯云开发者社区」是腾讯内容开放平台帐号（企鹅号）传播渠道之一，根据《腾讯内容开放平台服务协议》转载发布内容。
- 如有侵权，请联系 cloudcommunity@tencent.com 删除。
相关快讯
扫码
添加站长 进交流群
领取专属 10元无门槛券
私享最新 技术干货
腾讯云开发者
