Centrifuge 完成核心协议 1589 项属性形式化验证

Centrifuge 宣布，已完成对其核心协议 1589 项属性的形式化验证。该协议定位为去中心化资产协议，此次验证目标是提升链上资产管理的可信度。消息称，这一进展可能增强传统金融参与者的信心。