Shentu ChainはCertiKと提携し、世界初の数学的DeSciプラットフォームであるOpenMathを立ち上げました

【チェンウェン】10月13日ニュース、Shentuチェーンは今日、数学分野に焦点を当てた世界初のDeSciプラットフォームOpenMathを正式に発表しました。このプラットフォームは、Shentuチェーンと世界最大のWeb3セキュリティ会社であり、形式的認証分野のリーダーであるCertiKとの戦略的協力により開発されました。

OpenMathは「検証可能な数学的真実」を核とするDeSciエコシステムの構築に取り組んでおり、研究者と検証者は協力して数学的問題を提起し解決します。そして、Rocqに基づく形式的認証技術を通じて論理検証を行い、数学的な精度で推論の厳密さと正確さを確保します。検証を成功裏に完了した参加者にはトークン報酬が与えられ、研究プロセスの公開透明性とインセンティブメカニズムの有効な結合を実現します。

報道によると、OpenMathはShentuチェーンに展開されており、このチェーンはもともとCertiKチェーンであり、イェール大学のショウ・ジョン教授とグー・ロンフイ教授によって個人で孵化されました。2021年8月、Shentuは正式にCertiKから分離し、独立した実体として自主運営を開始しました。今回のOpenMathのローンチは、両者が新しいパートナーシップに基づいて、ブロックチェーンと形式的認証の数学的シーンでの応用を共同で探求するものです。