It is now possible to formally verify smart contracts at the exact level they execute on Cardano nodes – working directly with Untyped Plutus Core (UPLC) rather than reasoning over abstract models or surface loop. 

By directly targeting UPLC, contracts can be verified regardless of the source language, including Plinth, Aiken, Plutarch, or any future language that targets the…

Cardano Visionは、Cardanoのブロックチェーン分野における長期的なリーダーシップを確固たるものにするために設計された、5年間の研究イニシアティブであるWork Program 2025（WP25）と共に2025年に立ち上げられた。

本日、Input Output Research (IOR) は、WP25の基礎研究と技術検証に関する中間報告書のドラフト版を公開した。これは、Cardanoが主要なブロックチェーンへと進化する上で重要な進歩を示すものだ。現在、IORは最終版公開までの3週間にわたり、Cardanoフォーラムを通じてコミュニティからのフィードバックを募っている。

これらの報告書は、IORの第一原理アプローチが、いかにイノベーションを加速させつつ、Cardanoの開発哲学を特徴づける科学的な厳密さを維持しているかを示している。

…

ブロックチェーン技術がグローバルインフラの基盤レイヤーに進化するにつれて、堅牢性、スケーラビリティ、関連性を確保するために不可欠となるのが厳格な研究開発である。Input | Output (IO)では、研究は理論に限定されない。それは、Cardanoのような安全で高性能なシステムの背後にあるエンジンとなる。 

IOは、形式手法と数学的証明を活用してセキュリティ、正しさ、適応性をサポートする回復力のあるシステムを構築し、コアプロトコルが設計により正しくなることを保証するためにエビデンスベースのエンジニアリングを使う。この科学的アプローチは、分散型のIDやガバナンスから、クロスチェーンの相互運用性や大規模な計算まで、幅広いユースケースをサポートしており、デジタルファイナンスを超えた分散型の未来への基盤を築いている。

このブログ記事では、IOのR&D…

急速に進化するブロックチェーン技術界において、ゼロ知識証明（ZKP）はプライバシー、スケーラビリティ、セキュリティを強化するための礎石となる。Halo2-Plutus検証ツールは、Input | Output Research (IOR)が、Intersect合意の一部として技術運営委員会の優先事項に沿って主導するオープンソースプロジェクトだ。このツールは、高度な暗号化機能をもつHalo2証明システムと、CardanoのPlutusスマートコントラクトプラットフォーム（およびその高レベル言語Plinth）を橋渡しする。

本稿では、本検証ツールの持つ目的、機能性、 さらに、Cardanoの分散型アプリケーション（DApp）、特にMidnight-Cardano zk-bridgeに革命をもたらす可能性について探る。

Halo2-Plutus検証ツールとは

Halo2-Plutus検証ツールは、Halo2を使用してZKPを生成および検証し、CardanoのPlinthスマートコントラクトに統合するために設計されたオープンソースリポジトリ…

2025 Science of Blockchain Conference（SBC）は、UCバークレーで主要な研究者、エンジニア、学者を集め、今日のブロックチェーンシステムを支える理論的基盤を探求した。このイベントでは、Input | Output (IO)の代表が強力な存在感を示し、厳格な研究と実践の橋渡しをするという同組織の継続的なコミットメントを示した。

IOの主任科学者であり、エディンバラ大学のサイバーセキュリティおよびプライバシー学科長を務めるAggelos Kiayias教授は「The Evolving Art of Agreement（進化する合意形成のアート）」と題した基調講演を行い、コンセンサスプロトコルがブロックチェーン時代にどのように発展してきたかについて考察した。

Kiayias…