Vitalik Buterin 9月17日在 X 说，别老觉得 AI 黑客一出来网络安全就完蛋了。他的看法是，形式化验证（用数学校验软件守不守规矩）反而能让写安全代码的成本降下来，长远看防守方更划算。他还顺手提了一句，自己差不多九成身家都还在加密资产里，相当于拿钱包投票，赌数字系统顶得住更强的自动攻击。$ETH 这边早把形式化验证排进协议安全的长期路线了。#以太坊 #网络安全
Đăng
--
Tuyên bố miễn trừ trách nhiệm: Nội dung bao gồm cả quan điểm của bên thứ ba, không phải lời khuyên. Có thể sử dụng nội dung do Binance Ai đưa ra nhưng không được đảm bảo. Xem Điều khoản & Điều kiện.