RecodeX 重构消息，以太坊联合创始人Vitalik Buterin表示，网络安全格局有望向防御方倾斜，但这一转变过程艰难，需要更深层的结构性变革。他提出两项关键方向：推进形式化验证，以及缩减可信计算基，以减少系统暴露的攻击面。