Solana联合创始人Toly：全力支持不可变形式验证开源软件

Toly背书immutable形式验证软件，标志区块链从经验工程向数学证明的跃迁：形式化方法将漏洞从概率风险转为零容忍确定性，适用于高TVL协议的核心逻辑。

技术经济上，此路径降低审计依赖与黑客溢价。开源+验证实现“信任即代码”，Solana高吞吐优势结合将加速企业采用，压缩中心化系统的合规成本优势。

产业结构中，支持者如Toly预示L1竞争从TPS转向安全性。不可变合约加形式证明，形成“永不崩溃协议”的新壁垒，DeFi从野蛮生长进入制度化阶段。

长远周期看，此范式将重塑软件范式：从迭代修复向预验证设计演进。Toly愿景暗示，形式化开源将成为Web3基础设施标配，推动从金融到通用计算的全面覆盖。