As more ZK-enabled applications come online, we'll need to build a robust security ecosystem and new techniques to ensure that our ZK apps aren't vulnerable to attackers. In this SLS, specialists in ZK, formal verification, and assurance discuss new approaches to securing these next-generation decentralized apps.
Date: Thursday, October 13 From 4:15pm - 6:05pm
Location: Agora Bogotá Convention Center, Floor 2, Workshop 1
| Time | Title | Speaker(s) |
|---|---|---|
| 4:15pm - 4:25pm | Intro | gubsheep and Barry |
| 4:25pm - 4:55pm | Finding bugs in ZK Circuits: An Exploration of Veridise Tools | Jon |
| 4:55pm - 5:02pm | (Community Lightning Talk) - Zk Bug Tracker | Kyle |
| 5:02pm - 5:09pm | (Community Lightning Talk) - Benchmarks for Verification | Jason + Michael |
| 5:09pm - 5:29pm | Solving Polynomial Equation Systems over Large Prime Fields: a Review | Lucas |
| 5:29pm - 5:34pm | [5m break] | |
| 5:34pm - 6:04pm | Panel: Auditing Strategy for zkEVM | (Moderator) Barry (EF PSE) |
| Jordi (Polygon Hermez) | ||
| Haichen (Scroll) | ||
| David Theodore (EF) |