[Percolator: No External Audit Yet, Mainnet Test to Have Limits] According to TechFlow, on November 4th, the Percolator project team disclosed that it has not yet undergone an external audit, and its mainnet test version will have limits. The project team stated that the trading engine, program, keeper, launcher, and SDK are publicly available. Its delivered code contains over 500 Kani formal verification proofs, a significant portion of which are inherited from Anatoly Yakovenko's Percolator engine. The project itself has also written proofs for modifications to the staking pool, LP vault, matching engine, and other components. The project team emphasized that formal verification cannot replace external audits.