OpenMath上線，Shentu鏈、Certi攜手打造首個數學領域DeSci平台

PANews 10月13日消息，Shentu 鏈今日宣布正式推出全球首個聚焦數學領域的 DeSci平台 OPEnMath。 該平台由 Shentu 鏈與全球最大的 Web3 安全公司、形式化驗證領域的領軍者 CertiK 戰略合作開發。

OPenMath 致力於構建以“可驗證的數學真理”為核心的 DeSci 生態，研究者與驗證者可協作提出並解決數學問題，並通過基於 Rocq 的形式化驗證技術進行邏輯驗證，以數學級精度確保推理嚴謹與準確。 成功完成驗證的參與者將獲得代幣獎勵，實現研究過程的公開透明與激勵機制的有效結合。

據悉，OpenMath 部署於 Shentu 鏈，該鏈前身為 CertiK 鏈，由耶魯大學邵中教授與顧榮輝教授個人孵化。 2021 年 8 月，Shentu 正式脫離 CertiK，作為獨立實體自主運營。 此次OpenMath上線，是雙方基於全新合作夥伴關係，對區塊鏈與形式化驗證在數學場景中應用的共同探索。