From theory to implementation: why formal methods in blockchain development matter

In the first of a two-part blog, we look at how building a secure, resilient blockchain requires rigorous techniques. Let’s explore the theory behind formal methods and how they bring reliability to the Cardano ecosystem

25 November 2024 James Chapman 5 mins read

From theory to implementation: why formal methods in blockchain development matter

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…

Hydra Doom Tournament

22 November 2024 Fernando Sanchez 3 mins read

Hydra Doom Tournament

A brief history of Doom

Few names resonate with the gaming community as much as the almighty Doom. An instant classic in its own right, it is no exaggeration to say that there was a before/after Doom in the context of gaming history, and more specifically, in the game's decisive and lasting influence on the first-person shooter (FPS) genre.

Released in an episodic format in 199…

Quality Engineering at IO: bridging research and reality in software development

20 November 2024 Ivan Irakoze 3 mins read

Quality Engineering at IO: bridging research and reality in software development

At Input | Output (IO), the journey from groundbreaking research to real-world impact is anything but ordinary. IO’s mission is clear: transform innovative ideas into software that genuinely improves users’ lives. But achieving this requires more than just great ideas – it demands a relentless commitment to quality and precision at every step of development. This is where…

Black Hawk up: flying with heroes in the wake of Hurricane Helene

29 October 2024 Fernando Sanchez 9 mins read

Black Hawk up: flying with heroes in the wake of Hurricane Helene

Hurricane Helene slammed onto the United States' eastern seaboard late September 26. Boosted by very warm surface temperatures in the Gulf of Mexico, Helene struck the panhandle of Florida as a category 4 weather system - the strongest hurricane to hit mainland United States since 2005's Katrina, bringing excess rainfall, very high winds, and deadly storm surges.

Over the next…

Cardano Day at the Wyoming Blockchain Stampede

The University of Wyoming pioneers blockchain innovation at the 2024 Blockchain Stampede in Laramie

21 October 2024 Alejandro Garcia 3 mins read

Cardano Day at the Wyoming Blockchain Stampede

On September 16-21, 2024, the seventh annual Blockchain Stampede gathered blockchain enthusiasts, developers, and leaders for a week of knowledge sharing and innovation. It remains one of the most engaging crypto conferences worldwide.

Wyoming has become a global leader in blockchain regulation, having discussed and passed over 2,000 laws related to cryptocurrencies, digital…