IOHK make a visit to Google’s London offices
Googlers keen to talk Cardano and the future of cryptocurrency
28 June 2018 57 mins read
Cryptocurrency is one of the most discussed topics of the moment, and whatever people think about it, they all want to know what’s next for the technology. An audience that was no different was at Google, where Charles Hoskinson was invited to talk about Cardano and the future of cryptocurrencies. At the meeting, held at Google’s London headquarters last month, Googlers around…
A major brand refresh for Cardano *
How IOHK Creative redesigned the brand with form following function
7 June 2018 9 mins read
In January, Charles Hoskinson messaged to say he’d come across an online video that he wanted us to check out. I took a look at the link he sent, and found that it was indeed eye catching. A cryptocurrency fan had studied Cardano, and had made an animation of its development history. The data visualisation showed each piece of Cardano code appear on the screen as a brightly…
Semi-Formal Development: The Cardano Wallet
4 June 2018 17 mins read
Please note: this post originally appeared on the Well-Typed blog.
TL;DR: A combination of formal modelling and testing using QuickCheck is a powerful tool in the design and implementation of high assurance software. Consistency of the model can be checked by testing invariants, and the real implementation can be tested by comparing it against the model.
As part of our consulting work for IOHK, Well-Typed have been working with IOHK on the design and implementation of the new version of the Cardano cryptocurrency wallet. As a crucial component of this process, we have written a semi-formal specification of the wallet: a mathematical model of the wallet along with…
Recent posts
Former Symphony COO joins Cardano builder IOG as CEO of new Midnight blockchain project by Tim Harrison
27 March 2023
Dynamic P2P is available on mainnet by Olga Hryniuk
16 March 2023
Valentine upgrade FAQ by Fernando Sanchez
27 February 2023