私たちは、Texture 2.0が、トップクラスの形式検証ツールとスマートコントラクト監査で知られるリーディングブロックチェーンセキュリティ会社@CertoraIncによる包括的なセキュリティ監査を受けていることを発表できることに興奮しています。
Certoraは、Morpho BlueやEulerのようなプロトコルのモジュラー貸付システムや、EthereumのAave、Lido、Uniswap、Compound、SolanaのSquads、Jito、Token Extensionsなど、他の主要なDeFiプラットフォームでも作業を行ってきました。
Certoraの形式検証およびスマートコントラクト監査における専門知識は、Texture 2.0に対して重要な信頼の層を追加し、私たちのモジュラー貸付プロトコルのすべての側面で安全で信頼性の高いパフォーマンスを強化します。