Мы рады сообщить, что Texture 2.0 проходит всесторонний аудит безопасности компанией @CertoraInc, ведущей компанией в области безопасности блокчейнов, известной своими первоклассными инструментами формальной верификации и аудитом смарт-контрактов.

Certora работала над модульными кредитными системами для таких протоколов, как Morpho Blue и Euler, а также для других крупных DeFi платформ, включая Aave, Lido, Uniswap и Compound в Ethereum, а также Squads, Jito и Token Extensions на Solana.

Экспертиза Certora в области формальной верификации и аудита смарт-контрактов добавляет важный уровень уверенности в Texture 2.0, укрепляя безопасную и надежную работу всех аспектов нашего модульного кредитного протокола.