这种持续的安全关系证明了我们在研发方面的巨大投入,以及聘请最佳安全人才来保护如此复杂的代码基础的必要性。
是的!审计,审计,审计……
📰 我们很高兴成为一个头部 DeFi 协议的首席审计员:Lido,生态系统的关键支柱。🫡
Lido V3 引入了强大的新工具:质押金库(stVaults)和金库中心,使质押选项更加灵活。
机构可以运行自己的验证者,先进的质押者可以利用 stETH 循环,每个金库都是隔离的,以限制风险。
这不是 Certora 与 Lido 的第一次合作。我们之前审查了 Lido V2 升级,并主导了他们双重治理实施的设计审查。
现在 Certora 正在加强 V3 协议,以防止漏洞、攻击或逻辑不一致。
一旦审计完成,Lido V3 将按计划部署到主网。
我们期待看到它在实际环境中上线 👀
10
8.41万
本页面内容由第三方提供。除非另有说明,欧易不是所引用文章的作者,也不对此类材料主张任何版权。该内容仅供参考,并不代表欧易观点,不作为任何形式的认可,也不应被视为投资建议或购买或出售数字资产的招揽。在使用生成式人工智能提供摘要或其他信息的情况下,此类人工智能生成的内容可能不准确或不一致。请阅读链接文章,了解更多详情和信息。欧易不对第三方网站上的内容负责。包含稳定币、NFTs 等在内的数字资产涉及较高程度的风险,其价值可能会产生较大波动。请根据自身财务状况,仔细考虑交易或持有数字资产是否适合您。