Shentu ChainとCertiKは今週、世界初の数学的DeSciプラットフォームとされるOpenMathを発表し、形式数学、検証可能なコンピューティングとブロックチェーンが出会う新しい章を開きました。共同リリースで発表され、ソーシャルチャネル全体で拡散されたこの立ち上げは、研究者と「証明者」が数学的問題を提起し、協力し、検証できる場としてOpenMathを位置づけ、その解決策はオンチェーンに不変的に記録されます。OpenMathの中核は形式検証です：プラットフォームに提出された証明と解決策は、証明支援技術を使用してチェックされ、非公式なピアレビューに委ねるのではなく、機械的に正確性を検証できます。Shentuの資料によると、このシステムはCoqやLeanなどの有名な形式ツールをブロックチェーンネイティブのワークフローに統合し、定理とその機械チェック済みの証明を台帳上で参照、検証、保存できるようにしています。 DeSciの自然な拠点 OpenMathはShentu Chain上に展開されており、これはCertiKと形式検証研究コミュニティにルーツを持つセキュリティ重視のレイヤー1です。チェーン自体は、CertiKからインキュベートされた後、2021年にShentuとしてリブランディングされ、検証可能なコンピューティングとオンチェーンセキュリティツールに明確な焦点を当てて開発され、数学的真実を中心に構築されたDeSci実験の自然な拠点となっています。プラットフォームの設計者によると、OpenMathはコラボレーションと知的財産保護を念頭に置いて設計されました：二段階の提出プロセスにより、証明者の作業を保護しながらも、グローバルコミュニティが参加し、検証済み結果を検証し、それに基づいて構築することを可能にします。起源、レビュー、検証ステップをオンチェーンに記録することで、OpenMathは従来の機関のボトルネックを取り除き、貢献者への公正なクレジットを確保し、厳格な数学的知識が発見可能で再利用可能になるペースを加速することを目指しています。 OpenMathの立ち上げは、分散型科学（DeSci）が研究の資金調達、出版、検証方法を民主化するアプローチとして勢いを増している中で行われました。提唱者たちは、分散型ネットワークがアクセスを拡大し、資金調達メカニズムを多様化し、検証プロセスをより透明にすることができると主張しており、OpenMathは検証済み結果へのオープンアクセスとオンチェーントレーサビリティを組み合わせることでこれらの目標を明示的に反映しています。 Shentu ChainとCertiKはこのリリースを、ブロックチェーンと形式検証を「実世界のインパクト」に適用するという共有ミッションの継続として位置づけ、研究者がますます高度な問題に取り組み、OpenMathエコシステム内のインセンティブを拡大するためのさらなる拡張が計画されていると述べています。現在、サイトとプラットフォームは稼働中で、数学者、形式手法研究者、より広いDeSciコミュニティに、数学的真実が検証可能で参照可能な公共財となる新しい環境を探索するよう招待しています。Shentu ChainとCertiKは今週、世界初の数学的DeSciプラットフォームとされるOpenMathを発表し、形式数学、検証可能なコンピューティングとブロックチェーンが出会う新しい章を開きました。共同リリースで発表され、ソーシャルチャネル全体で拡散されたこの立ち上げは、研究者と「証明者」が数学的問題を提起し、協力し、検証できる場としてOpenMathを位置づけ、その解決策はオンチェーンに不変的に記録されます。OpenMathの中核は形式検証です：プラットフォームに提出された証明と解決策は、証明支援技術を使用してチェックされ、非公式なピアレビューに委ねるのではなく、機械的に正確性を検証できます。Shentuの資料によると、このシステムはCoqやLeanなどの有名な形式ツールをブロックチェーンネイティブのワークフローに統合し、定理とその機械チェック済みの証明を台帳上で参照、検証、保存できるようにしています。 DeSciの自然な拠点 OpenMathはShentu Chain上に展開されており、これはCertiKと形式検証研究コミュニティにルーツを持つセキュリティ重視のレイヤー1です。チェーン自体は、CertiKからインキュベートされた後、2021年にShentuとしてリブランディングされ、検証可能なコンピューティングとオンチェーンセキュリティツールに明確な焦点を当てて開発され、数学的真実を中心に構築されたDeSci実験の自然な拠点となっています。プラットフォームの設計者によると、OpenMathはコラボレーションと知的財産保護を念頭に置いて設計されました：二段階の提出プロセスにより、証明者の作業を保護しながらも、グローバルコミュニティが参加し、検証済み結果を検証し、それに基づいて構築することを可能にします。起源、レビュー、検証ステップをオンチェーンに記録することで、OpenMathは従来の機関のボトルネックを取り除き、貢献者への公正なクレジットを確保し、厳格な数学的知識が発見可能で再利用可能になるペースを加速することを目指しています。 OpenMathの立ち上げは、分散型科学（DeSci）が研究の資金調達、出版、検証方法を民主化するアプローチとして勢いを増している中で行われました。提唱者たちは、分散型ネットワークがアクセスを拡大し、資金調達メカニズムを多様化し、検証プロセスをより透明にすることができると主張しており、OpenMathは検証済み結果へのオープンアクセスとオンチェーントレーサビリティを組み合わせることでこれらの目標を明示的に反映しています。 Shentu ChainとCertiKはこのリリースを、ブロックチェーンと形式検証を「実世界のインパクト」に適用するという共有ミッションの継続として位置づけ、研究者がますます高度な問題に取り組み、OpenMathエコシステム内のインセンティブを拡大するためのさらなる拡張が計画されていると述べています。現在、サイトとプラットフォームは稼働中で、数学者、形式手法研究者、より広いDeSciコミュニティに、数学的真実が検証可能で参照可能な公共財となる新しい環境を探索するよう招待しています。