Cardanoでは、スマートコントラクトはPlinth、Aiken、Plu–tsなどの強力な表層言語で作成される。これらのコントラクトは現実の貴重な資産をコントロールする。失敗した場合、資金は盗まれたり永久にロックされたりする可能性がある。

Input | Output (IO)は、Cardanoスマートコントラクトに形式検証をもたらす新しいツールを開発している。AGDA、ROQ（旧Coq）、その他の証明支援系のようなシステムに基づくエコシステム内の既存のツールは強力な保証を提供しているが、一般的に使用するには専門知識が必要である。この新しいツールはLean4証明系とZ3のようなSMTソルバーを組み合わせて、コントラクトが意図したとおりに動作するかを自動的にチェックする。その目標は、開発者が自分で形式証明を記述する必要性をなくすことである。

…

ブロックチェーン研究開発の最前線を探る月例Cardano R&D Sessions第2弾で、Input | Output Research (IOR)はIntersect研究ワーキンググループと共同で、エコシステムで最も緊急かつ複雑なトピックの1つであるトークノミクスに関するダイナミックな議論を主催した。

7月のセッションでは、Cardanoエコシステム全体から一流の研究者と実務家が集まり、Cardanoの経済インフラを形作る基礎設計の問題に取り組んだ。IOR研究フェローのPaolo PennaとDRepのRyan Wiley（Cerkoryn）の発表のほか、IORのリサーチパートナーシップディレクターであるFergie Millerの司会により、Manvir Schneider（Cardano財団）とRaul Antonio（Fluid Tokens…

数学的基礎と形式的検証アプローチによって、Cardanoはブロックチェーンのセキュリティと信頼性の第一人者としての地位を確立した。しかし、卓越したセキュリティを保証するこれらのアーキテクチャーの選択は、専門知識、ツール、インフラへの多額の先行投資を必要とする開発者エクスペリエンスを生み出した。その結果、技術的に最高レベルの堅牢性を誇るブロックチェーンは、多くの開発者にとって構築が困難であり、その強力な技術的優位性にもかかわらず、エコシステムの成長が妨げられている。

これを受けて、Input | Output (IO)は現在Project Acropolisに取り組んでいる。これはCardanoノードアーキテクチャーの根本的な再構築である。Acropolis…

本学会のための論文選考は熾烈を極め、応募論文624本中受理されたのはわずか123本だった。これらの研究はSpringerのLecture Notes in Computer Science全8巻にまとめられ、セキュアなマルチパーティコンピュテーション、公開鍵暗号、高度な暗号プロトコル、ゼロ知識証明、応用暗号などの重要な分野に及んでいる。

注目すべき点としては、IBMによるSNOVAの暗号解析や、より高次元のアイソジェニーを利用したコンパクトな公開鍵暗号方式の開発などが挙げられる。このイベントは、IMDEA Software Institute、マドリードカルロス3世大学、マドリードコンプルテンセ大学が共催し、Apple、Google、Huawei、IBM、Midnightなどの主要なテクノロジースポンサーから惜しみないサポートを受けた。

CTB…

Input | Output Research (IOR)が開発した最先端のハイスループットプロトコル、Ouroboros Leiosの包括的な分析が、ESTEMED Crypto 2025カンファレンス（Crypto）での発表を認められた。

IACR国際暗号学会が主催するこのイベントは、理論暗号と応用暗号の両方で最高レベルの権威を持つ、有名な学術プラットフォームだ。

1981年の創設以来、Cryptoは公開鍵暗号やゼロ知識証明などの重要な分野にまたがる、現代暗号の今を形作った数多くの画期的な作品を発表してきた。この会議への参加は、暗号研究における厳密性と革新性の高さを意味する。

研究を通じて自信を高める

Cryptoのような一流の学会で研究発表をするというIORのコミットメントは、業界全体でブロックチェーン技術の進歩を促進することへの献身の証である。長年にわたり高品質な研究を生み出してきたIOの伝統は、IORをフィンテックとブロックチェーンネットワークの学術研究における主導機関として確固たる地位を築いている。この研究発表承認によって、Ouroboros Leios…