Squads v4

Squads

December 12, 2024

This audit is a follow-up to a previous audit performed through September - October 2023.

The methodology undertaken in this iteration of the audit was similar, and involved an initial reading of the code, focusing mostly on additions to the codebase, diffing and mapping all changes to existing code, followed by a deep-dive into the areas we deemed most error-prone.

Certora Logo
logologo
Terms of UsePrivacy Policy