Percolator：尚未接受外部審計，主網測試將設上限

據深潮 TechFlow發布，深潮 TechFlow 消息，11 月 4 日，據 Percolator 項目方披露，其尚未接受外部審計，主網測試版將設上限。 項目方表示，交易引擎、程序、keeper、啓動器和 SDK 已公開，其交付的代碼包含超過 500 項 Kani 形式化驗証証明，其中相噹一部分繼承自 Anatoly Yakovenko 的 Percolator 引擎，項目自身也針對質押池、LP 金庫、撮閤器及引擎脩改編寫了証明。項目方強調，形式化驗証不能替代外部審計。