Shentu Chain 和 CertiK 联合区块链与数学，打造 DeSci 突破

Shentu Chain和CertiK本周推出了OpenMath，被称为世界上第一个数学DeSci平台，开启了一个正式数学、可验证计算和区块链相结合的新篇章。此次发布在联合公告中宣布，并通过社交渠道进行了广泛传播，OpenMath被定位为一个研究人员和“pro”可以提出、协作和验证数学问题的空间，解决方案将不可更改地记录在链上。

OpenMath 的核心是形式验证：提交到平台的证明和解决方案使用证明助手技术进行检查，以便正确性可以被机械地验证，而不是依赖于非正式的同行评审。Shentu 的材料描述该系统将 Coq 和 Lean 等知名形式工具整合到链上原生工作流中，使得定理及其机器检查的证明可以在账本上被引用、验证和保存。

一个自然的DeSci之家

OpenMath 部署在 Shentu Chain 上，这是一个以安全为重点的 Layer-1，源于 CertiK 和形式验证研究社区。该链本身于 2021 年在 CertiK 的孵化后重新命名为 Shentu，专注于可验证计算和链上安全工具的开发，使其成为围绕数学真理构建的 DeSci 实验的自然家园。

该平台的架构师表示，OpenMath 的设计考虑了协作和知识产权保护：双阶段提交过程在保护证明者的工作的同时，仍允许全球社区参与、验证和构建经过验证的结果。通过在链上记录来源、审查和验证步骤，OpenMath 旨在消除传统机构的瓶颈，确保贡献者获得公平的信用，并加快严格数学知识的发现和可重用的速度。

OpenMath的推出恰逢去中心化科学（Decentralized Science，DeSci）作为一种民主化研究资金、出版和验证方式的趋势日益增强。支持者认为，去中心化网络可以扩大访问范围、丰富资金机制并使验证过程更加透明，这些目标与OpenMath通过结合对经过验证的结果的开放获取和链上可追溯性而明确对应。

Shentu Chain和CertiK将此次发布视为继续共同使命的一部分，旨在将区块链和形式验证应用于“现实世界的影响”，他们表示，未来还计划进一步扩展，以让研究人员解决越来越复杂的问题，并在OpenMath生态系统内扩大激励措施。目前，该网站和平台已上线，邀请数学家、形式方法研究人员和更广泛的DeSci社区探索新的环境，在这里，数学真理成为可验证、可引用的公共资源。