The audit reviewed the additions that Ribbon made to the fork of Rysk Finance’s Gamma Protocol for their Ribbon protocol. This included behaviors corresponding to order placement, order execution, collateral management and vault settlement. When conducting the audit, Veridise engineers first reviewed the provided documentation and test cases to understand the high-level design and intended behavior of the protocol. The auditors then performed a week-long security audit of the code with the assistance of both static analyzers and automated testing.