Shentu 链重磅官宣:全球首个数学领域 DeSci 平台 OpenMath 正式上线。这一创新平台由 Shentu 链与 CertiK 公司联合打造,后者作为 Web3 安全领域的权威机构及形式化验证技术的先驱,共同为 OpenMath 的研发奠定了坚实的技术基础。

OpenMath 的核心使命在于构建一个以“可验证的数学真理”为基石的 DeSci 生态系统。平台将汇聚全球数学研究者与验证者,通过协作模式共同提出并攻克复杂的数学难题。借助 Rocq 形式化验证技术的强大支持,OpenMath 能够以数学级的精度确保推理过程的严谨性与准确性,彻底革新传统数学研究的验证方式。

为激励参与者贡献智慧,OpenMath 设计了独特的奖励机制。成功完成验证的参与者将获得平台代币作为回报,这一举措不仅提升了研究过程的透明度,更通过经济激励有效促进了知识的共享与传播。

OpenMath 的部署选择落在了 Shentu 链上。值得注意的是,Shentu 链的前身是 CertiK 链,由耶鲁大学知名教授邵中与顾荣辉共同创立。2021年8月,Shentu 完成独立运营转型,此次 OpenMath 的上线标志着双方在全新战略合作框架下,对区块链技术与形式化验证在数学领域应用潜力的一次深度探索。这一合作不仅拓展了 DeSci 的应用边界,更为数学研究的数字化进程注入了强劲动力。

最新快讯

2026年06月22日

23:07
鼓狮财经 消息,据 CoinDesk 报道,美国联邦特许加密银行 Anchorage Digital 宣布推出新平台,帮助银行发行和管理代币化存款。该平台通过区块链技术为银行提供全天候支付与结算服务,同时无需替换现有核心系统。平台以平行层形式运行,由 Anchorage 负责区块链基础设施、钱包管理及智能合约技术,银行则继续维护客户关系与存款托管。目前,摩根...
23:02
鼓狮财经 消息,希腊拒绝币安在欧盟加密资产市场法规框架下的授权申请,原因或是欧洲央行行长拉加德施加了政治压力。币安于 2026 年早些时候向希腊资本市场委员会提交了申请,并在当地成立控股公司,且已通过关键技术审查,但该申请在 2026 年 6 月 7 日至 15 日期间被迅速逆转。拉加德在 5 月的一次会议上向希腊总理米佐塔基斯表示,欧洲不欢迎币安。原因在于...