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

Currently no bounty, but we are open to cooperation for promoting our product. If you want to send a proposal to isaac@zenprotocol.com or message me on telegram at @IsRod we can try to set something up.

Wallet should be working on Linux, Mac, and Windows. If you have problems it may be because you have an old version.

If uninstalling and installing current version does not work, please send me a message on Telegram or join the group and I can help you with troubleshooting. - @zenprotocol @IsRod

Thanks! Feel free to ask any questions about the platform.

Do your own research and make sure to understand the technology, the team, and the work that has already been done.

Zen Protocol has been working for over a year creating a new blockchain from scratch for decentralized finance. There is a working alpha and in depth technical paper, whitepaper, and roadmap - the sale is Nov. 30th - Dec. 30th. Feel free to message me or reply here if you have questions.

https://www.zenprotocol.com/en/sale

True but wouldn't a truly secure platform not allow for these mistakes in the first case?

 I am interested in hearing feedback from people about this subject. Additionally, I have attached a link from Zen Protocol about security measure they have fixed learning from the mistakes of the Ethereum platform.

https://blog.zenprotocol.com/zen-protocol-and-security-c130bfeb2f60