Sky 治理论坛· Bonapublica·· 4 小时前AI 评分62
Sky Diamond PAU 模块完成独立形式化验证与对抗性测试，未发现活跃漏洞但存在未解决建模边界
Diamond PAU: Independent Formal Assurance and Adversarial Verification using Certora Prover, Halmos, & Foundry
AI 导读
Bonapublica 团队对 Sky 协议中的 Diamond PAU 安全关键模块进行了独立的属性驱动形式化保证活动，结合 Certora Prover、Halmos 和 Foundry 等工具，未在测试范围内发现活跃的 Diamond PAU 漏洞。
来源：Sky 治理论坛 · forum.skyeco.com
入库时 BTC：$82,708.94 USD
入库时间：
行情时间： · 来源：Coinbase