August 07, 2018 • Steve Wagendorp

Going Beyond the Cardano Code

View reports

In December 2017, Cardano Foundation appointed FP Complete, a renowned Haskell software development and DevOps consultancy, to conduct a third-party, independent audit of Cardano settlement layer....


May 14, 2018 • Michael Parsons

Cardano representations, affiliations and use of the trademark

Cardano Foundation would like to take this opportunity to provide clarity about public representations and the use of Cardano project related trademarks....


April 09, 2018 • Charles Hoskinson

A Brief Update on Cardano Development

Processes are evolving under the project management team

After returning from my yearly global sojourn, I wanted to update the Cardano community on the status of the project. Since the beginning of the year a lot has happened. Cardano continues to grow at a rapid pace and the project is evolving into a new stage....


March 10, 2018 • John O’Connor

How Cardano can help development in Africa

We are taking the first steps on our journey in the continent and invite you to join us

Five years ago, I was with a friend when she received a distressing call from her home in East Africa. Without permission, someone had been collecting the rent on a small commercial premises she owned in the capital. My friend had inherited the property five months previously from her father, but had only recently discovered that the property had tenants. The rent collector in question turned out to be a neighbour of the property and the previous owner. Upon learning that her father had passed away, he’d elected to take advantage of the confusion and collect the rent for himself....


March 07, 2018 • George Agapov

Cardano 1.1.0 software update

A major package of improvements and fixes is ready for users

The software update today is the first major release for Cardano since the mainnet was launched at the end of September and it consists of a great deal of work from the development team....


November 29, 2017 • Domen Kožar

What is our release strategy for Cardano?

Since the release of mainnet, IOHK engineers have not only started work planning the new features of Shelley, the next big release, but have also been evolving the way they work. The biggest change is that the team developing Cardano will follow a new release cycle where updates are more regularly made to the live software. This is now possible because we have the foundation of Byron to build on. This approach will benefit the community because it means we can deliver features to users sooner, and also has other advantages, such as allowing us to design very detailed tests for the code...


February 14, 2018 • Jeremy Wood

IOHK celebrates a successful Global Summit

January got off to a busier start than normal for IOHK because on top of all the usual research and development being carried out, pretty much the entire company traveled to Lisbon for our latest meetup. These week-long events are always hectic and challenging – where everyone comes together to push forward work on projects - but they are also fun, allowing people to meet face to face...


January 04, 2018 • Olga González

The hotel that became the world’s first business to accept Ada

Hotel Ginebra is a boutique hotel in Catalunya Square, which if you have visited Barcelona you will know is a prime location in the heart of the city. Guests can wake up in the morning to a great view of the city, but what they may not know is that the hotel has earned its place in history. It recently became the first business in the world to accept Ada, the Cardano cryptocurrency launched at the end of September...


January 02, 2018 • Grigore Rosu

Protected: IELE: A New Virtual Machine for the Blockchain

Runtime Verification (RV) is proud to release their first version of IELE, a new virtual machine for the blockchain.

What is IELE?

IELE is a variant of LLVM specialized to execute smart contracts on the blockchain. Its design, definition and implementation have been done at the highest mathematical standards, following a semantics-first approach with verification of smart contracts as a major objective. Specifically, we have defined the formal syntax and semantics of IELE using the K framework, which in return gives us an executable reference model in addition to a series of program analysis tools, including a program verifier. [K]( was created by our team during the last 15 years and incorporates the state of the art in language design, semantics and formal methods. The design of IELE was based on our experience with formally defining dozens of languages in K, but especially on recent experience and lessons learned while formally defining two other virtual machines in K, namely:



October 20, 2017 • Lars Brünjes, PhD

How Cardano's transaction fees work

Why do we need transaction fees?

There are two main reasons why transaction fees are needed for a cryptocurrency like Cardano:

People who run full Cardano nodes spend time, money and effort to run the protocol, for which they should be compensated and rewarded. In contrast to Bitcoin, where new currency is created with each mined block, in Cardano, transaction fees are the only source of income for participants in the protocol...


October 12, 2017 • Jane Wild

Cardano marks its launch with Tokyo event

The technology was conceived in an Osaka restaurant more than two years ago and from that small beginning Cardano has been built into a leading cryptocurrency. The project has amassed a team of experts in countries around the world, has generated more than 67,000 lines of code, and has a strong and growing community in countries across Asia and beyond...


October 12, 2017 • Jeremy Wood

Cardano help desk tour arrives in Tokyo

The launch of Cardano brings to an end an exciting first phase of development for us at IOHK, after more than a year spent planning and developing the technology. Now we’ve handed the product over to users and they are getting to know how it works. Using new software can be tricky - some people won’t need any help, but there will be those who need a little assistance...


April 19, 2017 • Michael Parsons

Passing the baton: Why it’s time for a new blockchain

In my previous post Cardano: A Blockchain with Privacy and Regulation, I laid out in broad strokes how we at Cardano are building a new kind of blockchain, which we believe will be a significant upgrade on the version of the technology we have now.

But why do we think we need to update blockchain, and what, in our opinion, does such an upgrade entail?

These are important questions because they lie at the heart of how we are approaching our work...


April 18, 2017 • Michael Parsons

Cardano: A Blockchain with Privacy and Regulation

Blockchain is a potentially transformative technology. However current solutions are hampered by issues such as lack of regulatory oversight, experimental software with unproven security, poor governance that stifles scalability, and a lack of long-term planning for protocols. With the imminent launch of the Cardano protocol and the completion of the first ever crowdsale to perform detailed compliance checks on its 10,000 individuals, Cardano aims to change this.

The Cardano project is a next generation blockchain, creating a new decentralised economy, and democratising finance in emerging markets. It addresses the need for regulatory oversight whilst maintaining consumer privacy and protections through an innovative layered architecture...