How Ante works
A high-level overview of Ante's mechanics
Ante Tests are smart contracts that check custom invariants of other smart contract systems like DeFi projects.
Ante Pools hold capital for an associated Ante Test and provide a standard set of functions for users to interact with. Anyone can put capital in an
AntePoolas a staker (supporting the invariant passing) or challenger (supporting the invariant failing).
Importantly, all staker and challenger capital held in Ante smart contracts is held in a non-custodial way.
- Any challenger that has participated in an Ante Pool for at least 12 blocks can "verify" that an Ante Test still passes.
- This means calling
AntePool, which calls
checkTestPasses()on the associated
- Checking an Ante Test costs gas to complete the transaction. Ante takes no fee here.
- If the underlying invariant holds, nothing happens except the verifying challenger had to pay gas.
- If the underlying invariant fails (i.e.
False, all staker capital is locked and claimable by challengers.
For stakers: challenger capital undergoes a block-by-block decay (~100 gwei per block per ETH of challenger capital, roughly 20% of challenger capital per year). This decay is allocated to stakers (if you want a quick ballpark estimate, total challenger capital / total staker capital * 20% ~= your "APY").
Stakers are rewarded over time for their continued trust
For challengers: if a challenger checks the Ante Test and it fails, all staker capital in the corresponding Ante Pool is locked and claimable by challengers, with the verifying challenger receiving an added bonus (5% of staker capital) for being the one to discover the test failure.
Failed tests reward challengers for identifying risk in the system