我們很高興地宣佈，Texture 2.0 正在由 @CertoraInc 進行全面的安全審計。Certora 是一家領先的區塊鏈安全公司，以其頂級的形式驗證工具和智能合約審計而聞名。

Certora 曾參與過 Morpho Blue 和 Euler 等協議的模塊化借貸系統的開發，以及其他主要 DeFi 平臺，包括以太坊上的 Aave、Lido、Uniswap 和 Compound，以及 Solana 上的 Squads、Jito 和 Token Extensions。

Certora 在形式驗證和智能合約審計方面的專業知識爲 Texture 2.0 增加了至關重要的信心，增強了我們模塊化借貸協議在各個方面的安全性和可靠性。