Paradigm·· 2026-07-24AI 评分34
Paradigm 推出 Solidus：用自动化研究构建经形式化验证的 Solidity 编译器
Formally Verifying a Compiler Using Automated Research
AI 导读
Paradigm 推出 Solidus，一个用 Lean 构建经形式化验证的 Solidity 编译器的协作式自动化研究项目，并启动两个优化谜题：确定 Solidity 语言的冻结源语义，以及在保留证明的前提下优化已验证的后端。
来源：Paradigm · paradigm.xyz