Vision for blockchain in Africa is becoming a reality

Ethiopia and Rwanda keen to realise promise of the technology

29 May 2018 John O'Connor 7 mins read

Vision for blockchain in Africa is becoming a reality - Input Output

The hope of bringing the benefits of blockchain to Africa has been around even longer than IOHK itself. Founder Charles Hoskinson talked about the promise of the technology driving financial inclusion on the continent in a TEDx speech in 2014. The vision encouraged me to join the Cardano project. This month, IOHK signed an MoU with the Ethiopian government to train and hire…

First Cardano smart contracts testnet launches

KEVM software supports applications that run on Ethereum Virtual Machine

28 May 2018 Gerard Moroney 3 mins read

The first Cardano smart contracts testnet launches today, the KEVM testnet, a correct by construction version of the Ethereum Virtual Machine (EVM) specified in the K framework. This technology, produced by Runtime Verification with the support of IOHK, is the first time that a complete formal semantics of the EVM have been produced. This is an important first in cryptocurrency…

Ouroboros Praos presented at leading cryptography conference, Eurocrypt

Proof-of-stake protocol offers same security guarantees as Bitcoin

17 May 2018 Jane Wild 4 mins read

In the area of blockchain research proof of stake has long posed many questions for cryptographers and the subject has been of primary importance for IOHK researchers over the past two years. Professor Aggelos Kiayias, Chief Scientist at IOHK, has led work with a team of cryptographers to formalise a family of protocols called Ouroboros. It is a great distinction for their…

A Cardano technical talk in Hamburg

Philipp Kant and Lars Brünjes explain incentives, stake pools and formal methods

14 May 2018 Jane Wild 8 mins read

Cardano is a project that is unique in its vision, scope and design, and its world-class team is working at the frontier of computer science. As development progresses we're contacted on a daily basis by people from all around the world who want to learn more, and so IOHK was pleased to make its first trip to Germany recently to talk about Cardano. Dr Lars Brünjes and Dr…

Daedalus Mantis 1.1 Released for Ethereum Classic

Software update delivers performance improvements

30 April 2018 Jeremy Wood 5 mins read

Daedalus Mantis 1.1 Released for Ethereum Classic

It's the end of April and it already feels like a long time since February, when we announced version 1.0 of Mantis, our Ethereum Classic client built in Scala. After the success of Mantis 1.0 some of the Grothendieck team got temporarily drafted onto other projects. That, coupled with the two-month full-time Haskell training course some of the team were on earlier this year…