智能合约安全项目 Certora 发现 Lido V2 协议 23 个问题，Lido 已解决部分问题

智能合约安全分析项目 Certora 表示，其研究人员共发现 Lido V2 协议 23 个问题，包括 2 个严重问题和 5 个高危问题。Lido 团队已回应和解决了部分问题。