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，獲得書面確認及授權後，方可轉載。
PANews是區塊鏈和Web3.0領域領先的智庫型信息平台，為行業用戶提供具有國際視野的前沿資訊與報告。PANews優質多元的内容以圖文、音頻、視頻等形式在全網多渠道覆蓋，包含推特、微博、抖音、視頻號等主流平台，旨在成為用戶的Web3信息官。PANews同時還是騰訊新聞的内容合作夥伴，内容被福佈斯、財新等媒體引用，獲得騰訊新聞、今日頭條、澎湃新聞等頒發的相關獎項。PANews的兩位聯合創始人均為福
或
按钮分享