Ante is a chain-agnostic, non-custodial, incentivized testing protocol that allows anyone to tokenize trust in target protocols. Ante is building the Schelling point for decentralized trust by providing a common standard for developers to write incentivized on-chain smart contract tests.
Ante uses a smart contract to verify the correctness of market claims by other contracts by hedging stakers and challengers against each other. Ante test pay stakers a portion of challenger funds over time. However, in the case that an Ante test's claim fails, the challengers are paid out all of the staker's funds.
Zellic conducted an audit for Ante Labs from May 11th to May 13th, 2022 on the scoped contracts and discovered 5 findings. Of the 5 findings, 1 was of critical severity, 1 was of high severity, 1 was of medium severity, and the remaining 2 were of low severity.
Zellic thoroughly reviewed the Ante codebase to find protocol-breaking bugs as defined by the documentation, or any technical issues outlined in the Methodology section of this document. Specifically, taking into account Ante's threat model, we focused heavily on bugs resulting in theft or freezing of user funds, incorrect calculation of rewards and decay payments, and false positive triggering of test failure.
Our general overview of the code is that it was well-organized and structured. The code coverage is high and tests are included for the majority of the functions. The documentation was thorough and very high quality. The code was easy to comprehend and very intuitive.