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社區探索新的環境，在這裏，數學真理成爲可驗證、可引用的公共資源。