Techub News 消息，据 CryptoSlate 报道，以太坊基金会近期向开发者表示，将把生态发展重点从追求速度转向安全，并计划在 2026 年前推动 zkEVM 达到最低 128 位安全强度标准。基金会警告称，若缺乏经过形式化验证的可靠性，攻击者可能重写链上状态，使「高性能证明」反而成为风险点。基金会还表示，后续将提供安全审查与评估工具，并在推进扩容的同时优先强化形式化验证与抗攻击能力。