RecodeX 重构消息，以太坊网络正以更快的节奏推进协议升级，同时链上漏洞数量并未随之增加。形式化验证技术的进步被认为是实现这一平衡的关键因素，该技术通过数学方法对代码进行严格证明，有助于在加快迭代的同时维持网络安全性。