Cardano Vision launched in 2025 with the Work Program 2025 (WP25), a five-year research initiative designed to secure Cardano’s long-term leadership in blockchain.

Today, Input | Output Research (IOR) proudly releases draft versions of its WP25 mid-year reports for Fundamental Research and Technology Validation, marking significant progress in Cardano’s evolution as a leading…

ブロックチェーン技術がグローバルインフラの基盤レイヤーに進化するにつれて、堅牢性、スケーラビリティ、関連性を確保するために不可欠となるのが厳格な研究開発である。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…

Cardanoビジョン&ロードマップの一環として、Input | Output Engineering (IOE)の資金調達提案にCardanoコミュニティからの支持を得たことに感謝し、光栄に思います。チームを代表して、私たちの仕事と、共に構築している共有された未来に信頼を寄せていただいたことに感謝します。

あなたの投票は資金調達の承認以上の価値を持ちます。これは、コミュニティがロードマップ、その提供、そして私たちの継続的な貢献を信じていることを示すものです。私たちはこの責任を非常に真剣に受け止めています。デリバリーとレポートを直接担当するチームの一員として、信頼を確実にする方法をここで明確に示したいと思います。

Cardanoの将来に向けた戦略的コミットメント

この資金調達は、今年初めに概説し、コミュニティに承認されたロードマップ…