Odaily星球日报讯 近日，Shentu 链宣布正式推出聚焦数学领域的 DeSci 平台 OpenMath。该平台由 Shentu 链与全球最大的 Web 3 安全公司、形式化验证领域的领军者 CertiK 战略合作开发。

OpenMath 致力于构建以“可验证的数学真理”为核心的 DeSci 生态，研究者与验证者可协作提出并解决数学问题，并通过基于 Rocq 的形式化验证技术进行逻辑验证，以数学级精度确保推理严谨与准确。成功完成验证的参与者将获得代币奖励，实现研究过程的公开透明与激励机制的有效结合。

据悉，OpenMath 部署于 Shentu 链，该链前身为 CertiK 链，由耶鲁大学邵中教授与顾荣辉教授个人孵化。2021 年 8 月，Shentu 正式脱离 CertiK，作为独立实体自主运营。此次 OpenMath 上线，是双方基于全新合作伙伴关系，对区块链与形式化验证在数学场景中应用的共同探索。