Percolator: Has not yet undergone an external audit; mainnet testing will have a cap.

Percolator said on November 4 that it has not yet undergone an external audit and that its mainnet beta will be launched with capped limits. The project has released its trading engine, programs, keeper, launcher and SDK, and says the delivered code includes more than 500 Kani formal verification proofs, a substantial portion inherited from Anatoly Yakovenko's Percolator engine, with additional proofs written for its staking pool, LP vault, matcher and engine modifications. The team stressed that formal verification is not a substitute for an external audit. The disclosure matters because unaudited code and capped mainnet limits could constrain how much capital and activity the protocol can attract at launch. What to watch next is whether Percolator commissions an independent audit and when it lifts the mainnet caps.