Hyperledger Identus – then, now, and tomorrow
Explore how Hyperledger Identus, a Linux Foundation Decentralized Trust project, leverages decentralized identity to create a more secure, private, and efficient future
27 January 2025 4 mins read
While identity might seem straightforward in theory, the reality is far more complex. Who controls access to your private information and that of your loved ones? Is it truly secure? Who else can access it, and what happens if it falls into the wrong hands?
Identity management has evolved significantly to address these challenges. Traditional methods, like birth certificates and…
Six reasons why EUTXO wins
The EUTXO model offers some unique advantages over accounting models used by other chains.
8 January 2025 8 mins read
Cardano features some of the most innovative elements of blockchain technology: Hydra and Mithril, for example – layer 2 solutions designed to enhance scalability. Or Cardano’s proof-of-stake consensus protocol, Ouroboros, whose various 'flavors' (Genesis, Praos, Peras, etc) ensure that the blockchain remains efficient and secure even under adversarial conditions.
But there's…
Input | Output chief scientist receives prestigious Lovelace computing award
Prof. Aggelos Kiayias wins prestigious BCS Lovelace Medal 2024 for advancement of computing as IO Research passes 10,000 citations to become the leading academic blockchain network worldwide
3 December 2024 9 mins read
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…
Delivering change in Ethiopia: lessons and reflections
28 November 2024 17 mins read
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…
Applying formal methods at Input | Output: real-world examples
In a landscape where error margins are costly, IO leverages formal methods to deliver secure, mathematically grounded blockchain solutions. In the second of a two-part blog on formal methods at IO, we take a deeper dive into real-world implementation examples
26 November 2024 8 mins read
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.
…
Recent posts
New programmable token design proves Cardano's freeze-and-seize capabilities by Jann Müller
12 March 2025
From Convention to ratification: the Cardano Constitution by Fernando Sanchez
27 February 2025
Plutus Tx gets a makeover: meet Plinth by Ziyang Liu
20 February 2025