Core Protocol Security Audit

Audit Revisions

Audit Overview

We were tasked with performing an audit of the Gravita Protocol codebase and in particular their core Liquity-based borrowing protocol.

Over the course of the audit, we identified multiple significant vulnerabilities that arise by the dynamic-collateral features introduced in the new Gravita Protocol implementation.

We advise the Gravita Protocol team to closely evaluate all minor-and-above findings identified in the report and promptly remediate them as well as consider all optimizational exhibits identified in the report.

Post-Audit Conclusion

The Gravita Protocol team iterated through all findings within the report and provided us with a revised commit hash to evaluate all exhibits on.

We evaluated all alleviations performed by Gravita Protocol and identified that certain exhibits had not been adequately dealt with.

We followed up with the Gravita Protocol team and have concluded that they wish to acknowledge them given that the exhibits that have not been directly remediated do not pose a threat to the protocol.

As such, we consider all outputs of the audit report properly consumed by the Gravita Finance team.

Contracts Assessed

Audit Synopsis

Severity	Identified	Alleviated	Partially Alleviated	Acknowledged
	3	3	0	0
	73	60	10	3
	16	4	0	12
	4	4	0	0
	3	3	0	0

During the audit, we filtered and validated a total of 22 findings utilizing static analysis tools as well as identified a total of 77 findings during the manual review of the codebase. We strongly recommend that any minor severity or higher findings are dealt with promptly prior to the project's launch as they can introduce potential misbehaviours of the system as well as exploits.

The list below covers each segment of the audit in depth and links to the respective chapter of the report:

• 💻 Compilation
• 🔍 Static Analysis
• 👁️ Manual Review
• 🖋️ Code Style