Ante is NOT:
- an auditing service;
- an "economic analysis" service;
- a bug bounty program
- "hack insurance"
All of the above are valuable and important to building safe web3, and Ante is complementary to existing security, marketing, and trust services.
Formal verification is great but has limitations (e.g. economic attacks)
Ante Tests can make commitments that aren’t forbidden in code but rely on trust in people or external systems.
Also, Ante Tests make these guarantees more visible and understandable to non-technical people, giving more peace of mind to potential users.
No — beware of scammers!