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

金色財經報道，11月4日，據Percolator項目方披露，其尚未接受外部審計，主網測試版將設上限。項目方表示，交易引擎、程序、keeper、啓動器和SDK已公開，交付代碼含超過500項Kani形式化驗證證明，其中相當一部分繼承自Anatoly Yakovenko的Percolator引擎；項目自身亦針對質押池、LP金庫、撮合器及引擎修改編寫了證明。項目方強調，形式化驗證不能替代外部審計。