Vitalik：以太坊期权应用正在发生

Techub News 消息，@VitalikButerin 发推称，以太坊生态的期权相关应用正在快速发展，已有开发者在构建不同版本的实现方案。他强烈建议，若相关应用计划快速部署至主网，务必先进行形式化验证以确保安全性。 该发言针对以太坊去中心化金融基础设施的演进，强调在创新速度与安全性之间需取得平衡。形式化验证是一种通过数学方法证明代码正确性的技术手段，可有效降低智能合约漏洞风险。