Video: Security in ZK Systems featuring David Wong from O(1) Labs

Security in ZK Systems featuring David Wong from O(1) Labs.

Someone who seems to be popping up more and more in talk panels and on podcasts recently is David Wong. David works for O(1) Labs, the incubator behind Mina Protocol and the team that are actively involved with building snarkyJS. He is a well respected expert on cryptography and has published a book, Real World Cryptography. In the video organised by Delendum, David talks about what, where and when you use zk-systems in your protocol.

In addition to David there are also presentations and discussions from a distinguished panel of experts (see below for the schedule).

00:00 – Introduction
01:13 – David Wong: ZK Security – A Whole New Layer to Worry About
19:51 – Eli Ben-Sasson: Securing STARKs – theory and practice
34:40 – Morgan Thomas: Formally Verified Circuit Programming Made Easy
47:15 – Christopher Goes: Defensive ZKP Compiler Pipeline Design
1:09:10 – Yu Feng: Hardening ZK Circuits with Formal Methods
1:29:05 – Panel Discussion

You can follow David on twitter HERE


Disclaimer
We are not qualified brokers/dealers, or investment advisors. This website and its associated content is not a service for the giving or receiving of financial or investment advice. None of the content constitutes – or should be understood as constituting – a recommendation to enter in any securities, cryptocurrency, or cryptoasset transactions or to engage in any of the investment strategies presented in my discussions or content provided. We do not provide personalised recommendations or views as to whether a stock, cryptocurrency, cryptoasset or investment approach is suited to the financial needs of a specific individual.

Leave a Reply