内容简介：在主网发布协议是一个 高风险里程碑 ，尤其是引入像 restaking 和 slashing 这样的创新机制。Symbiotic 与 Certora 合作，确保通过彻底的审计获得强大的安全性，发现问题并通过形式验证验证协议的核心属性。 在我们的审计过程中，我们发现了一些关键问题，包括 slashing 操作中的一个问题，并通过形式验证验证了关键安全属性。这些发现导致了像更严格的 访问控制 ...
用户评论
科技前沿网
广告位（宽100%，高80px）
广告位（宽100%，高80px）
广告位（宽100%，高80px）