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

时间：2025-10-13 22:40:45

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

上一篇：比特因田纳西州 2080 万美元“现场”比特币哈希率销售遭起诉返回首页

下一篇：人工智能需求提振第三季度业绩前景，TSM 股价盘前上涨

热点推荐

1 富兰克林·坦普顿推出比特币DRIP ETF计划

消息，富兰克林坦普顿于2026年6月18日向美国证券交易委员会提交了两只新的比特币DRIP ETF注册...

2 Kostas Chalkias：SUI让区块链使用变得简单

消息，Kostas Chalkias，SUI团队联合创始人，曾任Facebook Libra的首席密码学家，表示，SUI通过打破传...

3 Hester Peirce：确认将于11月离开SEC

消息，Hester Peirce，这位被数字资产行业亲切称为加密妈妈的美国证券交易委员会官员，确认将...

4 美国缉毒局发布没收通知，涉及166.4万U

消息，吴说获悉，美国缉毒局于6月21日发布官方没收通知，列出多笔已扣押并拟进行联邦没收...

5 Lark Davis：比特币Puell Multiple指标显示矿工