Input | Output takes the setting of solid work foundations very seriously. A recent example of this is the research on Decentralized Identifier Communication (DIDComm) through the paper ‘What did come out of it? Analysis and improvements of DIDComm messaging.' which is being presented at this week’s CCS’24, ACM’s flagship conference for computer and communications security. The…

Ouroboros Peras (henceforth, Peras) is an extension of the Ouroboros Praos protocol that addresses the problem of transactions’ settlement horizon, that is, the point in time when the probability of a transaction being reverted becomes negligible. Shorter settlement times improve security, usability and efficiency in blockchain systems.

The key concept behind Peras is the use…

Designing blockchain systems is a challenging endeavor. It is also a continuous process, as these systems are long-lived and aim to capture requirements that evolve during their lifetime. It follows that a blockchain project’s community often faces difficult decisions that ‘fork’ the future of a blockchain system in different ways, with consequences that are hard to fully…

Input | Output（IO）の教育チームは、先日アルゼンチンのブエノスアイレスにある国立工科大学（UTN）で、Cardano開発者コースを提供しました。この体験は、深い技術的学習を促すとともに、地元のコミュニティや文化とのインタラクションを通じて、教育チームに忘れられない印象を残しました。

IOの技術教育を担当するKarina Lopezが、Ada Labs for Blockchain Applications（ブロックチェーンの普及のためのADA研究所：ALBA）と共同で提供したこの2週間のコースのハイライトと逸話を紹介します。

アルゼンチン到着

私たちは興奮と期待、そして、学生たちをCardanoの立派なスマートコントラクト開発者、DApp開発者にするという野心的な目標を抱いてブエノスアイレスに到着しました。UTN…

研究は常にInput | Output（IO）の創造プロセスに不可欠な要素として、関数的正確さに基づいた高保証のブロックチェーンソリューションの開発を可能にしています。

世界各地の研究者や名門大学との協力のもと、IOはフィンテックブロックチェーンインフラに堅固な基盤を構築すべく、難しい研究課題に取り組んでいます。IOの主任研究員でエジンバラ大学の教授でもあるAggelos Kiayiasに率いられたこのチームの研究課題は、暗号、分散システム、ゲーム理論、人間とコンピュータの相互作用、ネットワーク、形式的検証、プログラミング言語、信頼できるハードウェア、ポリシーと規制、プライバシー保護技術など多岐に渡ります。

研究に根ざして：ブロックチェーン技術の限界を押し広げる

来週、IOチームは東京工業大学でのイベント…