OpenMathが上場し、ShentuチェーンとCertiが協力して初の数学分野のDeSciプラットフォームを構築しました。

Coin界網10月13日のニュース、Shentuチェーンは本日、数学分野に特化した世界初のDeSciプラットフォームOpenMathを正式に発表しました。このプラットフォームは、Shentuチェーンと世界最大のWeb3セキュリティ会社、形式的認証分野のリーダーであるCertiKとの戦略的協力により開発されました。OpenMathは「検証可能な数学的真理」を中心に据えたDeSciエコシステムの構築に取り組んでおり、研究者とバリデータが協力して数学問題を提起し解決できるようにし、Rocqに基づく形式的認証技術を通じて論理的検証を行い、数学的な精度で推論の厳密さと正確さを確保します。検証に成功した参加者はトークン報酬を受け取り、研究プロセスの公開透明性とインセンティブメカニズムの効果的な結合を実現します。Coin界網のニュースによれば、OpenMathはShentuチェーンに展開されており、このチェーンはCertiKチェーンの前身であり、イェール大学の邵中教授と顧栄輝教授が個人的にインキュベートしました。2021年8月、Shentuは正式にCertiKから独立し、自主運営を開始しました。今回のOpenMathの立ち上げは、両者が新たなパートナーシップに基づいて、数学のシーンにおけるブロックチェーンと形式的認証の応用を共同で探求するものです。