Shentu ChainとCertiKがブロックチェーンと数学を統合し、DeSciのブレイクスルーを実現

Shentu ChainとCertiKは今週、世界初の数学的DeSciプラットフォームとして位置付けられるOpenMathを発表しました。これは、形式的な数学、検証可能なコンピューティング、そしてブロックチェーンが出会う新しい章を開くものです。この発表は共同リリースで行われ、ソーシャルチャンネルでも拡散され、OpenMathが研究者と「プロバー」が数学的問題を提起し、協力し、解決策がオンチェーンで不変的に記録されることを確認できるスペースとして位置付けられています。

OpenMathの中心には形式的検証があります：プラットフォームに提出された証明と解決策は、正確性が非公式のピアレビューに任せられるのではなく、機械的に検証できるように証明支援技術を使用してチェックされます。Shentuの資料は、このシステムがCoqやLeanなどのよく知られた形式的ツールをオンチェーンネイティブなワークフローに統合していると説明しており、定理とその機械検証された証明が台帳上で参照、検証、保存されることを可能にしています。

デジタルサイエンスのための自然なホーム

OpenMathは、CertiKおよび形式検証研究コミュニティにルーツを持つセキュリティ重視のLayer-1であるShentu Chainに展開されています。このチェーンは、CertiKからインキュベートされた後、2021年にShentuとしてリブランドされ、検証可能なコンピューティングとオンチェーンセキュリティツールに明示的に焦点を当てて開発されました。これにより、数学的真実を基にしたDeSci実験の自然な拠点となっています。

プラットフォームの設計者は、OpenMathはコラボレーションと知的財産の保護を考慮して設計されたと述べています：二段階の提出プロセスは、証明者の作業を保護しながら、グローバルコミュニティが参加し、検証し、検証された結果に基づいて構築できるようにします。プロヴェナンス、レビュー、および検証ステップをオンチェーンで記録することにより、OpenMathは従来の制度的ボトルネックを排除し、貢献者に対する公正なクレジットを保証し、厳密な数学的知識が発見可能かつ再利用可能になるペースを加速することを目指しています。

OpenMathの立ち上げは、分散型科学（DeSci）が研究の資金調達、出版、検証の方法を民主化するアプローチとして勢いを増している中で行われます。支持者たちは、分散型ネットワークがアクセスを拡大し、資金調達メカニズムを多様化し、検証プロセスをより透明にすることができると主張しています。OpenMathは、検証された結果へのオープンアクセスとオンチェーンのトレーサビリティを組み合わせることで、これらの目標を明示的に反映しています。

Shentu ChainとCertiKは、このリリースを「現実世界に影響を与える」ためにブロックチェーンと形式検証を適用するという共有の使命の継続と位置付けており、研究者がますます高度な問題に取り組むための拡張と、OpenMathエコシステム内のインセンティブを広げる計画が進行中であると述べています。現時点では、サイトとプラットフォームは稼働中であり、数学者、形式手法の研究者、より広範なDeSciコミュニティを招待して、数学的真実が検証可能で参照可能な公共財となる新しい環境を探索することを促しています。