Tag: Runtime Verification
In this update, IOHK project manager Gerard Moroney talks about the forthcoming smart contracts capabilities for Cardano. https://iohk.io/team/gerard-moroney -- Input Output See more at: https://iohk.io Get our latest news …
In August, Cardano Foundation flew to Poland to attend and speak at meetups. The first stop was Warsaw, where Cardano Foundation stopped by the Wicked Crypto Meetup. They host …
In this update, IOHK project manager Liz Bancroft-Turner provides a Project Shelley update. She explains the Shelley Project and its overarching goal, how it's broken down into manageable workstreams …
The inaugural Cardano meetup in the Netherlands was held in Rotterdam in July. From the beautiful event space, the amazing speaker line up and the overwhelming attendance from the …
In this video, Prof. Aggelos Kiayias presents Ouroboros PoS research, protocol design, stake pools incentives, and sidechains to the Cardano community in London at the Cardano meetup event. The …
In this update, project manager Liz Bancroft-Turner talks about the forthcoming capabilities for Cardano. She explains the Shelley Project and its overarching goal, how it's broken down into manageable …
The IOHK team visited Africa in May, heading first to Ethiopia. Working with the Ministry of Science and Technology, we held the first blockchain forum in Addis Ababa, where …
The first developers' meetup for Cardano was held in London in April. The event was organised by the Cardano Foundation with support from London Blockchain Labs and the LSE …
IOHK's first visit to Africa, in May 2018, began in Ethiopia. Blockchain technology is infrastructure that universally brings benefit. One of the use cases being discussed in Addis Ababa …
