Pectra 系统合约通过 Halmos 进行形式化验证

Pectra 硬分叉引入了使用汇编语言的系统合约，引起了安全性方面的担忧。利用 Halmos，形式化验证确保了这些合约的正确性和安全性。

• by realtime news
• Feb 01, 2025