Please RSVP on this event:
https://www.meetup.com/Cardano-Blockchain-Tel-Aviv/events/249903544/Zen Protocol is happy to welcome Charles Hoskinson from the Cardano Foundation in a joint meetup all about Formal Verification and it's importance in decentralized blockchains. Special thanks to Ayeka for hosting this event.
Agenda:
* 5m - Intro by Zen Protocol - Introducing IOHK & CF, the general discussion around Formal Verification & Welcoming Charles.
* 10-15m - Talk by Zen Protocol - How ZP uses FV to get rid of gas and run smart contracts without a VM and the ZP vision of a decentralized financial system.
* 15-20m - Charles talks about Cardano, formal verification, proof of stake and Ouroboros
* 30-40m - Q&A Panel - Panel with both IOHK and ZP
