OpenMath上线，Shentu链、Certi携手打造首个数学领域DeSci平台

比特家园 10月13日消息，Shentu 链今日宣布正式推出全球首个聚焦数学领域的 DeSci平台 OpenMath。该平台由 Shentu 链与全球最大的 Web3 安全公司、形式化验证领域的领军者 CertiK 战略合作开发。 OpenMath 致力于构建以“可验证的数学真理”为核心的 DeSci 生态，研究者与验证者可协作提出并解决数学问题，并通过基于 Rocq 的形式化验证技术进行逻辑验证，以数学级精度确保推理严谨与准确。成功完成验证的参与者将获得代币奖励，实现研究过程的公开透明与激励机制的有效结合。 据悉，OpenMath 部署于 Shentu 链，该链前身为 CertiK 链，由耶鲁大学邵中教授与顾荣辉教授个人孵化。2021 年 8 月，Shentu 正式脱离 CertiK，作为独立实体自主运营。此次OpenMath上线，是双方基于全新合作伙伴关系，对区块链与形式化验证在数学场景中应用的共同探索。