Tokemak is now Auto Finance. Click to read the full announcement.
Auto Finance
LogoLogo
⌘Ctrlk
auto.financeGithubXDiscord
LogoLogo
    • Introduction
    • Autopools tl;dr
    • Protocol Mechanics
    • Autopool Receipt Tokens
    • Staking AUTO
    • Custom Autopools
    • Glossary
    • App Guide
    • With Wallet Services
    • Troubleshooting
    • Contracts Overview
    • Security and Audits
      • Hexens: autoUSD March 25th 2025
      • Hexens: Autopilot Follow Up/Updates Audit July 2024
      • Hexens: Tokemak Autopilot May 2024
      • Certora: LMPStrategy Security Assessment & Formal Verification Report - Jan/March 2024
      • Hats.Finance, Crowd Competition Smart Contract Audit, February - March 2024
      • Halborn - Autopilot (Autopools) Contracts - Preliminary Smart Contract Audit - Sept 2023
      • Halborn - Autopilot Pricing Contracts - Formal Verification Report - Sept 2023
      • Sherlock - Autopilot Contracts - Crowd Competition - Sept 2023
      • Halborn - accTOKE Contract - Nov 2022
    • Integrating
    • Community Resources
Powered by GitBook
For the complete documentation index, see llms.txt. This page is also available as Markdown.
  1. Developer Docs
  2. Security and Audits

Hats.Finance, Crowd Competition Smart Contract Audit, February - March 2024

Logotokemak-v2-core-fv/Report.md at main · Certora/tokemak-v2-core-fvGitHub
PreviousCertora: LMPStrategy Security Assessment & Formal Verification Report - Jan/March 2024NextHalborn - Autopilot (Autopools) Contracts - Preliminary Smart Contract Audit - Sept 2023

Was this helpful?

Was this helpful?