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 5 mins read
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 3 mins read
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 3 mins read
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 9 mins read
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 3 mins read
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…
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