我们很高兴成为一个重要的DeFi协议——Lido 的首席审计师。🫡

Lido V3引入了强大的新工具：Staking Vaults（stVaults）和Vault Hub，这些工具能够提供更灵活的staking选项。

机构可以运行自己的验证者，高级staker可以利用$stETH循环，并且每个vault都是隔离的，以限制风险。

这不是Certora与Lido的第一次合作。我们之前已经审查了Lido V2升级，并领导了他们双重治理实施的设计审查。

现在，Certora正在加强V3协议的防护，以防止漏洞、漏洞利用或逻辑不一致。

一旦审计完成，Lido V3将准备好部署在主网上。

我们很期待看到它在现实中的运行 👀