Open Mathがリリースされました！Shentu ChainとCertiKが協力し、世界初の数学向けDeSciプラットフォームを構築

Shentu Chainは先日、数学に特化した世界初のDeSciプラットフォーム「OpenMath」の正式リリースを発表しました。このプラットフォームは、世界最大のWeb 3セキュリティ企業であり、形式検証のリーダーであるCertiKとの戦略的提携により開発されました。

OpenMathは、検証可能な数学的真理を中心としたDeSciエコシステムの構築に取り組んでいます。研究者と検証者は協力して数学的問題を提案・解決し、Rocqベースの形式検証技術を用いてその論理を検証することで、数学的精度を備えた厳密かつ正確な推論を保証します。検証を完了した参加者にはトークン報酬が付与され、研究プロセスの透明性と効果的なインセンティブメカニズムが効果的に統合されます。

OpenMathは、エール大学のZhong Shao教授とRonghui Gu教授によって育成されたShentu Chain（旧CertiK Chain）上に展開されていると報じられています。2021年8月、ShentuはCertiKから正式に分離し、独立して運営されています。OpenMathの立ち上げは、両者の新たなパートナーシップに基づき、数学シナリオにおけるブロックチェーンと形式検証の応用に関する共同研究です。