Shentu ChainはCertiKと協力して、数学に特化した初の分散型科学（DeSci）プラットフォームであるOpenMathを立ち上げました。この革新的なプラットフォームは、ユーザーが数学の問題を提案し解決することを可能にし、Rocqの形式的検証技術を活用して論理的な検証を保証します。解決策を成功裏に検証した参加者はトークン報酬を獲得でき、透明性を促進し協力を奨励します。 OpenMathはShentu Chain上に展開されており、Shentu Chainはイェール大学の教授陣によって設立され、2021年から独立して運営されています。このローンチは、ShentuとCertiKの戦略的パートナーシップを示しており、ブロックチェーン技術と形式的検証を数学的応用に統合することを目指しています。