Percolator: No External Audit Yet; Mainnet Testnet Will Have Caps

According to TechFlow, on Nov. 4, the Percolator project team disclosed that it has not yet undergone an external audit and that the mainnet testnet will have caps.

The project team stated that the trading engine, programs, keepers, launchers, and SDK are public, and that the delivered code contains more than 500 Kani formal verification proofs, a substantial portion inherited from Anatoly Yakovenko's Percolator engine. The project also wrote proofs for staking pools, LP vaults, matchers, and engine modifications. The team emphasized that formal verification cannot replace external audits.

Source: TechFlow