是的！稽核，稽核，稽核……

📰 我們很高興能成為一個重要的 DeFi 協議：Lido 的主要稽核員，Lido 是生態系統的關鍵支柱。🫡

Lido V3 引入了強大的新工具：Staking Vaults (stVaults) 和 Vault Hub，它們可以實現更靈活的質押選項。

機構可以運行自己的驗證器，高級質押者可以利用 $stETH 循環，並且每個 vault 都是隔離的，以限制風險。

這不是 Certora 第一次與 Lido 合作。我們之前審查了 Lido V2 升級，並主導了他們的 Dual Governance 實施的設計審查。

現在，Certora 正在強化 V3 協議，以防止錯誤、漏洞或邏輯不一致。

一旦稽核完成，Lido V3 將有望在主網上部署。

我們很高興看到它在實際應用中 👀