[Percolator Says It Has Not Yet Undergone External Audit; Mainnet Beta Version Will Have a Cap] According to Jinse Finance, on November 4th, the Percolator project team disclosed that it has not yet undergone an external audit, and the mainnet beta version will have a cap. The project team stated that the trading engine, program, keeper, launcher, and SDK are publicly available, and the 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 modified and written proofs for the staking pool, LP vault, matching engine, and other aspects. The project team emphasized that formal verification cannot replace external audits.