PANewsは10月13日、Shentu Chainが世界初の数学に特化したDeSciプラットフォーム「OpenMath」の正式リリースを発表したと報じました。このプラットフォームは、世界最大のWeb3セキュリティ企業であり、形式検証のリーダーであるCertiKとShentu Chainの戦略的パートナーシップによって開発されました。
OpenMathは、検証可能な数学的真理を中心としたDeSciエコシステムの構築に取り組んでいます。研究者と検証者は協力して数学的問題を提案・解決し、Rocqベースの形式検証技術を用いてその論理を検証することで、数学的精度を備えた厳密かつ正確な推論を保証します。検証を完了した参加者にはトークン報酬が付与され、研究プロセスの透明性と効果的なインセンティブメカニズムが効果的に統合されます。
OpenMathは、エール大学のZhong Shao教授とRonghui Gu教授によってインキュベートされたShentu Chain（旧CertiK Chain）上に展開されています。2021年8月、ShentuはCertiKから正式に分離し、独立して運営されています。OpenMathの立ち上げは、両者の新たなパートナーシップに基づき、数学シナリオにおけるブロックチェーンと形式検証の応用に関する共同研究です。
