PANews 10月13日消息，Shentu 鏈今日宣佈正式推出全球首個聚焦數學領域的 DeSci平台 OpenMath。該平台由 Shentu 鏈與全球最大的 Web3 安全公司、形式化驗證領域的領軍者 CertiK 戰略合作開發。
OpenMath 致力於構建以“可驗證的數學真理”為核心的 DeSci 生態，研究者與驗證者可協作提出並解決數學問題，並通過基於 Rocq 的形式化驗證技術進行邏輯驗證，以數學級精度確保推理嚴謹與準確。成功完成驗證的參與者將獲得代幣獎勵，實現研究過程的公開透明與激勵機制的有效結合。
據悉，OpenMath 部署於 Shentu 鏈，該鏈前身為 CertiK 鏈，由耶魯大學邵中教授與顧榮輝教授個人孵化。2021 年 8 月，Shentu 正式脫離 CertiK，作為獨立實體自主運營。此次OpenMath上綫，是雙方基於全新合作夥伴關係，對區塊鏈與形式化驗證在數學場景中應用的共同探索。
内容來源：PANews
財華網所刊載內容之知識產權為財華網及相關權利人專屬所有或持有。未經許可，禁止進行轉載、摘編、複製及建立鏡像等任何使用。
如有意願轉載，請發郵件至 content@finet.com.hk，獲得書面確認及授權後，方可轉載。
或
按钮分享