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

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

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