This report summarizes the security assessment and formal verification of Texture 2.0, conducted from October 14 to November 22, 2024. Utilizing the Certora Prover and manual code review, the following report provides details of the findings and reviews.