Certora performed a manual audit of ReytsCAD contracts. Our assessment approach combines design level analysis with a deep review of the implementation to ensure that the protocol is secure, economically sound, and behaves as intended.
The detailed findings can be found in the full report below.