我们很高兴地宣布，Texture 2.0 正在由 @CertoraInc 进行全面的安全审计。Certora 是一家领先的区块链安全公司，以其顶级的形式验证工具和智能合约审计而闻名。

Certora 曾参与过 Morpho Blue 和 Euler 等协议的模块化借贷系统的开发，以及其他主要 DeFi 平台，包括以太坊上的 Aave、Lido、Uniswap 和 Compound，以及 Solana 上的 Squads、Jito 和 Token Extensions。

Certora 在形式验证和智能合约审计方面的专业知识为 Texture 2.0 增加了至关重要的信心，增强了我们模块化借贷协议在各个方面的安全性和可靠性。