Solana生态发布开源永续DEX协议Percolator

一个名为Percolator的开源永续合约DEX协议已在Solana上发布，其核心设计采用数学方法替代自动去杠杆化（ADL），通过覆盖比率和利润分级索赔机制管理风险。该协议包含Rust风险引擎（已通过151个Kani证明形式化验证）、Solana程序、TypeScript SDK及前端界面，目前处于研究/教育阶段，未经审计。