Shentu 链重磅官宣:全球首个数学领域 DeSci 平台 OpenMath 正式上线。这一创新平台由 Shentu 链与 CertiK 公司联合打造,后者作为 Web3 安全领域的权威机构及形式化验证技术的先驱,共同为 OpenMath 的研发奠定了坚实的技术基础。
OpenMath 的核心使命在于构建一个以“可验证的数学真理”为基石的 DeSci 生态系统。平台将汇聚全球数学研究者与验证者,通过协作模式共同提出并攻克复杂的数学难题。借助 Rocq 形式化验证技术的强大支持,OpenMath 能够以数学级的精度确保推理过程的严谨性与准确性,彻底革新传统数学研究的验证方式。
为激励参与者贡献智慧,OpenMath 设计了独特的奖励机制。成功完成验证的参与者将获得平台代币作为回报,这一举措不仅提升了研究过程的透明度,更通过经济激励有效促进了知识的共享与传播。
OpenMath 的部署选择落在了 Shentu 链上。值得注意的是,Shentu 链的前身是 CertiK 链,由耶鲁大学知名教授邵中与顾荣辉共同创立。2021年8月,Shentu 完成独立运营转型,此次 OpenMath 的上线标志着双方在全新战略合作框架下,对区块链技术与形式化验证在数学领域应用潜力的一次深度探索。这一合作不仅拓展了 DeSci 的应用边界,更为数学研究的数字化进程注入了强劲动力。