brought you by [Nebra community]( *In Satoshi we trust.* ​so, this is the TL;DR: **Zero-knowledge proofs are the "future", but ZKP sucks right now:** ​- Privacy is ded, and the devs are arrested ​- ZK L2s takes a lot of mindshare but not market share ​- Big amount of gas fees has been spent to verify ZKPs In this event (register through this [page](, we aim to address all the sucking aspects of ZKPs and bridge the gap between potential and reality. We're bringing together researchers, ZKP tech providers, and power users to explore the path toward achieving "proof singularity," a visionary concept that can drive network scalability and efficiency, cutting down the proof cost. ​What we expect from you: - ​Pose **open questions** regarding the collective challenges to be tackled. - ​Share your **insights** and experiences in the ZKP realm. - ​**Challenge** the existing norms and assumptions in the space. - ​Engage in discussions and present **proposals** to help the community progress cohesively. This [Can't we just get along?]( video speaks something we might all want to agree on. ​[Join us]( for an engaging blend of curated talks and dynamic discussions! ## Agenda: **Date:** Monday, Nov 13, 2023 **Location**: Harbiye, Teşvikiye Cd. No:37, 34367 Şişli/İstanbul, Türkiye **Time:** 2PM - 7PM local time **Register:** [Luma page]( **Format:** curated talks, followed with mixed form discussions **Note:** *The agenda may be subject to change. If you have specific questions or topics you'd like the speakers or panelists to tackle, please submit them through this [Luma page]( or reach out to Shumo or Afra on TG.* **14:10 - 14:15 OPENING** Go over the agenda and set context for the "Proof Singularity" discussions. **1. Distilling Insights (80 mins)** 1.1 14:15 - 14:35 [[The Cost of Verifiability]], [slides](,Wei Dai *(1kx)* 1.2 14:35 - 14:55 [[Business cases for zero-knowledge]], [slides]( Lai *(Geometry)* 1.3 14:55 - 15:15 [[Proof Supply Chain on Ethereum]], [slides]( Shumo Chu (*NEBRA*) 1.4 15:15 - 15:50 [[Untitled ZK Rant]], [slides]( Norswap(*0xfable*) **15:50 - 16:10 BREAK** **2. 16:10 - 16:55 Open Mic** (45 mins) Led by Afra Wang, Kevin Yu, Nick Matthew, DC Builder, Norswap Participants are highly encouraged to participate in open discussions aimed at challenging and questioning the established norms. Here, there is no restriction on the spiciness or controversial nature of opinions expressed. - Q1: Why has Zero-Knowledge Proof (ZKP) technology seen limited adoption? What challenges do ZKPs face when it comes to consumer-facing products? - Q2: Is Worldcoin exploitative? Will the promised system, based on "fairly-distributed, cryptocurrency-based universal basic income," become a reality - Q3: How should we define "Ethereum alignment"? Is it an easy way for virtue signaling? What factors determine whether a project is aligned or not? **16:55 - 17:05 BREAK** **3. Next Generation Proof Systems** (60 mins) 3.1 17:05 - 17:25 Proof system lightning talks - 3.1.1 [[Lasso-Jolt & Logup]], [slides]( Carlos (*PSE*) - 3.1.2 [[An ultra fast zk(E)VM design through the GKR protocol]], Ye Zhang (*Scroll*) - 3.1.3 [[Proof Systems for Aggregation]], [slides]( Todd (*NEBRA*) 3.2 17:25 - 17:55 The fundamentals of the next generation proofs systems Carlos (*PSE*), Zachary Williamson (*Aztec*), Ye Zhang (*Scroll*), Todd Norton (*NEBRA*) - Q1: What is the biggest part need to be improved for the next-gen proof systems? - Q2: What will be the dominant workload for the next-gen proof systems? Cryptographic, ML, Digital Physics? - Q3: Proof system singularity: will there be an end-game for proof systems? - Q4: Should we design the proof systems aiming for the future hardware? **17:55 - 18:00 ENDING** ![[2023-11-10 12.13.29 1.jpg]]