Percolator: Not Yet Audited Externally; Mainnet Testing to Be Capped

on November 4, the Percolator project team disclosed that it has not yet undergone an external audit, and its mainnet beta will have limits.

The project team stated that the trading engine, programs, keeper, launcher, and SDK are public. Its delivered code includes over 500 Kani formal verification proofs, a significant portion of which were inherited from Anatoly Yakovenko’s Percolator engine. The project itself has also authored proofs for its modifications to the staking pool, LP vault, matcher, and engine. The team emphasized that formal verification cannot replace an external audit.