Case Study: Formance achieves confidence in ledger integrity with Antithesis

How Antithesis lets Clément Salaün of Formance sleep soundly at night

Formance, a provider of open-source financial infrastructure, faced a critical challenge when a bug caused gaps to appear in the transaction ID sequence of its core ledger service. This issue, which undermined confidence in their entire system, proved impossible to reproduce with their existing test suite. After a week-long investigation by multiple engineers to find and fix the initial cause, they remained uncertain if other, unknown causes for the same symptom existed. They turned to Antithesis for a more robust testing solution.

By implementing Antithesis, Formance was able to quickly uncover a second, entirely different root cause for the same transaction ID gap bug that their manual investigation had missed. The solution enabled them to not only fix this new bug with confidence but also to prove the mitigations were effective, eliminating fear and uncertainty. Antithesis saved significant engineering time in both writing exhaustive tests and debugging, allowing the team to move much faster with the assurance that their system was sound.

Formance

Clément Salaün

Co-founder, CTO