Smart Contracts
Ethereum
https://catalabs.org/
From Oct. 14, 2024 to Oct. 25, 2024, Cata Labs engaged Veridise to conduct a security assessment of their Cross Cats. Veridise conducted the assessment over 4 person-weeks, with 2 security analysts reviewing the project over 2 weeks. The review strategy involved a tool-assisted analysis of the program source code performed by Veridise security analysts as well as thorough code review.
The scope of this security assessment was limited to the src/ folder of the source code provided by the Cross Cats developers, which contains the smart contract implementation of the Cross Cats.