Designing a new virtual machine and universal language framework

Guest blog from Professor Rosu explains the work being done in a partnership between Runtime Verification and IOHK

26 October 2017 Grigore Rosu 8 mins read

Designing a new virtual machine and universal language framework - Input Output

Designing a new virtual machine and universal language framework

The IELE and K team Mathematical rigor and good design of programming languages and underlying virtual machines are critical for the success of blockchain technologies and applications. Indeed, decades of accumulated evidence show that formal techniques and their early adoption in the design of computing systems can significantly increase the safety, security and dependability…

How Cardano's transaction fees work

The mathematician working on the protocol's incentives explains the research and IOHK's design

19 October 2017 Lars Brünjes 4 mins read

How Cardano's transaction fees work - Input Output

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…

Statement on IOHK's Ada Holdings

17 October 2017 Charles Hoskinson 2 mins read

Statement on IOHK's Ada Holdings - Input Output

Statement on IOHK's Ada Holdings

IOHK received both Bitcoin and Ada for its contract to work on the Cardano project. IOHK converted most of its Bitcoin at the time of receiving it to fiat in order to ensure project stability. With respect to IOHK's holdings of Ada, IOHK does not expect a need to liquidate any of its Ada to cover immediate costs related to the Cardano project until 2019. However, like most…

Cardano marks its launch with Tokyo event

Hundreds of fans celebrate bright future for the cryptocurrency

16 October 2017 Jane Wild 8 mins read

Cardano marks its launch with Tokyo event - Input Output

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. Along the way, Cardano…

Cardano help desk tour arrives in Tokyo

Customer service team reach last of five Japanese destinations

12 October 2017 Jeremy Wood 6 mins read

Cardano help desk tour arrives in Tokyo - Input Output

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. To make…