Cardanoはブロックチェーン技術のもっとも革新的な要素を特徴としている。例えばHydraやMithrilなどのレイヤー2ソリューションは、スケーラビリティを強化するために設計された。あるいはCardanoのプルーフオブステーク型コンセンサスプロトコルのOuroborosは、さまざまな「フレーバー」（Genesis、Praos、Perasなど）を提供し、敵対的な状況下でもブロックチェーンが効率的かつ安全であることを保証する。

しかし、Cardanoを同時代のチェーンと区別する要素が1つある。それは、拡張未使用トランザクションアウトプット（EUTXO）会計モデルである。2021年9月のAlonzoアップグレードで導入されたEUTXOは、ビットコインによって開拓された「基本的な」UTXO…

Professor Aggelos Kiayias FRSE, Input Output (IO)’s chief scientist, chair in cybersecurity and privacy, and director of the Blockchain Technology Laboratory at the University of Edinburgh, has been awarded the 2024 BCS Lovelace Medal.

This award recognizes his transformative contributions to the theory and practice of cybersecurity and cryptography, with his work leading to new…

Input | Output (IO) was founded on the promise of being a catalyst for change—to transform global systems for everyone, everywhere, and to champion products that are built ethically from the outset. Since our early days in 2017, these principles have remained constant. Through hard lessons, trials, triumphs, and everything in between, we’ve embraced the guiding principle that…

The previous blog post discussed formal methods and their role in blockchain development.

Building on the importance of formal methods, Input | Output (IO) demonstrates their practical application through real-world examples. By integrating these techniques into the development process, IO ensures robust, high-assurance systems that drive innovation in blockchain technology.

…

Reliability, security, and efficiency are crucial factors when dealing with complex and fast-evolving decentralized systems such as blockchains.

At Input | Output (IO), formal methods are a cornerstone in achieving these goals. With a rigorous mathematical approach, IO addresses challenges unique to blockchain development – such as unpredictable network conditions, the security…