# Squads Protocol v4

<table data-view="cards"><thead><tr><th></th><th data-hidden data-card-cover data-type="files"></th><th data-hidden data-card-target data-type="content-ref"></th></tr></thead><tbody><tr><td><strong>OtterSec Formal Verification</strong> </td><td><a href="https://785938575-files.gitbook.io/~/files/v0/b/gitbook-x-prod.appspot.com/o/spaces%2FZK4Op7PNd2kAk4XdWjb8%2Fuploads%2F6ROYj6uguUoAyvlZ52Za%2FScreenshot%202023-09-27%20at%2010.00.45.png?alt=media&#x26;token=5c6236c4-ca67-4fe3-b47e-9df114ed31d2">Screenshot 2023-09-27 at 10.00.45.png</a></td><td><a href="https://github.com/Squads-Protocol/v4/blob/main/audits/ottersec_squads_v4_audit_2024.pdf">https://github.com/Squads-Protocol/v4/blob/main/audits/ottersec_squads_v4_audit_2024.pdf</a></td></tr><tr><td><strong>Certora Formal Verification</strong> </td><td><a href="https://785938575-files.gitbook.io/~/files/v0/b/gitbook-x-prod.appspot.com/o/spaces%2FZK4Op7PNd2kAk4XdWjb8%2Fuploads%2FuckoUGWmQntv0SG83mOm%2FScreenshot%202023-09-27%20at%2010.50.48.png?alt=media&#x26;token=1b559a92-e6c8-4296-a50f-c2c90e102e12">Screenshot 2023-09-27 at 10.50.48.png</a></td><td><a href="https://github.com/Squads-Protocol/v4/blob/main/audits/certora_squads_v4_security_report_and_formal_verification_2024_final.pdf">https://github.com/Squads-Protocol/v4/blob/main/audits/certora_squads_v4_security_report_and_formal_verification_2024_final.pdf</a></td></tr></tbody></table>