We’re thrilled to announce that Texture 2.0 is undergoing a comprehensive security audit by @CertoraInc, a leading blockchain security company renowned for its top-tier formal verification tools and smart contract audits
Certora has worked on modular lending systems for protocols like Morpho Blue and Euler, as well as other major DeFi platforms, including Aave, Lido, Uniswap, and Compound on Ethereum, and Squads, Jito, and Token Extensions on Solana.
Certora’s expertise in formal verification and smart contract auditing adds a crucial layer of confidence to Texture 2.0, reinforcing secure, reliable performance across all aspects of our modular lending protocol.