Audits/Network Security
Audit Information and Links
The following pages contain the current Tokemak audits. More audits will be added over time.
V2:
pageV2 Sherlock Contest July 17 - August 29, 2023pageV2: Halborn July - Sept 2023, Preliminary Autopilot AuditpageV2: Halborn July - Sept 2023, Formal Verification ReportpageV2: Certora January - March 2024, Security Assessment & Formal VerificationpageV2: Hats.Finance February - March 2024, Crowd Competition Smart Contract AuditV1:
pageHalborn July 2022 - WebApp PentestpageHalborn June 2022 - Voting Delegation StakingpageHalborn April 2022 - Reserve and ControllerspageOmniscia 2/23/2022pageOmniscia Curve/Convex ControllerspageTrail of Bits 12/22/2021pageQuantstamp 9/20/21pageOmniscia (DeGenesis)Last updated