circle-info
Tokemak is now Auto Finance. Click to read the full announcement.
Auto Financearrow-up-right
LogoLogo
search
⌘Ctrlk
auto.financeGithubXDiscord
LogoLogo
  • Auto Pools Protocol
    • Introduction
    • Autopools tl;dr
    • Protocol Mechanics
    • Autopool Receipt Tokens
    • Staking TOKE
    • Custom Autopools
    • Glossary
  • USING THE APP
    • App Guide
    • With Wallet Services
    • Troubleshooting
  • Developer Docs
    • 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
  • Additional Links
    • Community Resources
gitbookPowered by GitBook
block-quoteOn this pagechevron-down
  1. Developer Docschevron-right
  2. Security and Audits

Sherlock - Autopilot Contracts - Crowd Competition - Sept 2023

https://audits.sherlock.xyz/contests/101/reportaudits.sherlock.xyzchevron-right
PreviousHalborn - Autopilot Pricing Contracts - Formal Verification Report - Sept 2023chevron-leftNextHalborn - accTOKE Contract - Nov 2022chevron-right

Last updated 1 year ago

Was this helpful?

Was this helpful?