Cardano 2020: delivering on the vision

New roadmap, product demos, and regular updates will highlight progress

7 May 2019 David Esser 4 mins read

Cardano 2020: delivering on the vision

Cardano is in an exciting transition stage. The project has long combined thoughtful product vision with research-driven specification and evidence-based development processes. Still committed to that rigor, we’re now making the jump to a new stage of development where first-ever-in-the-world new capabilities are delivered. The rubber is starting to hit the road. As we are…

Hundreds attend the IOHK Summit 2019 in Miami

New products, Cardano progress and industry issues in focus at event

29 April 2019 Amy Reeve 7 mins read

Hundreds attend the IOHK Summit 2019 in Miami

Government ministers, industry professionals, and Cardano fans were at the IOHK Summit 2019 in Miami this month, excited to hear IOHK CEO Charles Hoskinson outline the future for Cardano and launch Atala, the company’s enterprise offering for business. Hosted at the Miami Beach Convention Center, the summit saw renowned speakers such as computer scientist Stephen Wolfram and…

New Shelley formal specifications complete

Formal specifications for delegation and incentives published

16 April 2019 Philipp Kant 3 mins read

New Shelley formal specifications complete

The goal of the Cardano Shelley era is to bring full decentralization to Cardano, moving beyond the federated epoch and handing control of the ledger over to the community via stake pools.  As part of the process of delivering Shelley, we create formal specifications which allow us to verify that the final code is in line with what the researchers initially envisaged in their…

In at the deep end in Addis

Keen students beat challenges to discover smart contracts

8 April 2019 Polina Vinogradova 4 mins read

In at the deep end in Addis

I started with IOHK in May 2018 as a formal methods developer working on two components of Cardano, neither of which involved writing Haskell code. Because of my expertise in logic, type theory, proof assistants, and theoretical computer science, I became part of the team without having much Haskell experience, even though it is the main language we use. So, I was surprised…

Training blockchain developers in Africa

Women from Ethiopia and Uganda get to grips with Haskell

4 April 2019 Lars Brünjes 10 mins read

When I got off the plane at Bole airport in Addis Ababa on the evening of January 4, I did not know what to expect. It was my first time in Ethiopia, and all I knew was that my Canadian colleague Dr Polina Vinogradova, an IOHK formal methods expert, and I were supposed to teach a three-month-long Haskell course to a class of young Ethiopian and Ugandan women. When our students…