brought to you by [NEBRA community](https://www.nebra.one/)
All the videos from Proof Singularity Denver are uploaded to NEBRA's [Youtube Account](https://www.youtube.com/@NEBRALabs)
------------------------------------------------
*In Satoshi we trust.*
[lu.ma page](https://lu.ma/la5cgbur)
For who are attending the event, please follow the [[How to use Zupass during Proof Singularity Denver?]] instructions to set up Zupass (The same technology used in Zuzalu, Devconnect, it only takes 5 mins. )
![[Grey Blue Modern Abstract Technology Event Video Instagram Post (2).jpg]]
## TL;DR:
Blockchain protocols and applications are increasingly proof-based, there could be many kinds of proofs:
- Mathematical proofs (e.g., cryptographic proofs such as zero-knowledge proofs)
- Incentive-based proofs (such as Interactive Fraud Proofs used in Optimistic Rollups and Programmable Trust building through restaking primitives like EigenLayer/Babylon).
In this Proof Singularity event in Denver on March 01 (register through this [page](https://lu.ma/la5cgbur)), **we will be discussing how to bring a better proof based future to blockchains, the topics include (but not limited to):**
- Bringing zero-knowledge proofs to the masses using proof aggregation/programmable trust
- Exploring the trade-offs between programmable cryptography and programmable trust
- Reducing fragmentation in blockchains, especially Ethereum L2s
**What's "Proof Singularity"?**
- It is a concept of aggregating multiple proofs into a single one, potentially even creating structures where proofs themselves are proofs of other proofs. Watch more [here](https://www.youtube.com/watch?v=TSLUpOpsPF0&ab_channel=Celestia)
- The vision of scalability and efficiency in the network echos with NEBRA. Thus we use this term to kick off the conversation
**What we expect from you:**
- Bring your own laptop
- Pose valuable insights and questions regarding the debate between Programmable Crypto v.s. Programmable Trust
- Share your painpoints and aspirations on zero-knowledge accessibility, adoption, cost, and scaling
- Be contributive, agile, and open-minded; help to shape this fluid agenda
## Agenda:
**Date:** March 01, 2024
**Time:** 1:30 PM - 6PM local time
**Register:** [Luma Page](https://lu.ma/la5cgbur)
**Format:** curated talks, followed with a debate
**Ticketing:** We use Zupass for ticketing. Please check [[How to use Zupass during Proof Singularity Denver?]]
**Note:** *The venue opens at 1:15pm. The agenda may be subject to change. Please check back for the latest schedule. If you would like to have a speaker and or panelist (or join the debate!) to address a specific question on each topic, please contact Shumo (TG @xstec).*
**Previous [[Proof Singularity Event]]: [Youtube Channel](https://www.youtube.com/@NEBRALabs)**
- **1:30 - 2:20 PM, *NEBRA/Proof Singularity Overview* (50 min)**
- NEBRA: the shared settlement layer for the future internet (15 min): Shumo presents an overview of NEBRA's mission and its UPA, emphasizing the concept of universality in shaping the future blockchain. [Watch Video](https://youtu.be/Kr2rLFJpBfE?feature=shared)
- ZONE 5: building a ZKP app On NEBRA in 5 minutes - Vincent Liew (30 min): Vincent Liew, a founding engineer at NEBRA, demonstrates how to utilize NEBRA's testnet to integrate a zero-knowledge proof (ZKP) app contract. The session includes a real-time test to showcase potential savings on gas fees using NEBRA's UPA. [Watch Video](https://www.youtube.com/watch?v=8Ljoz1M9KZ4&list=PLa81rqLujkvsdo5XXCfE6mp0XmYzXtSKU&index=2&ab_channel=NEBRA)
- **2:30 - 4:40 PM, *Cases for Programmable Trust* (~1 hr)**
- Babylon - [David Tse](https://twitter.com/dntse) (2:30 - 2:48 PM, 15 min talk + 3 min QA):
David Tse explores the current landscape of Bitcoin and introduces Babylon's approach to enhancing Bitcoin restaking. [Watch Video](https://www.youtube.com/watch?v=2rP7fJpq_wQ&ab_channel=NEBRA)
- Altlayer: Restaked Rollup, [YQ]() (2:48 - 3:06 PM, 15 min talk + 3 min QA):
YQ provides an expansive view on the future of rollups, predicting the emergence of 1000 rollups by year's end, and discusses Altlayer's contribution to this rapidly evolving ecosystem. [Watch Video](https://youtu.be/QzzFcw5hsSY?feature=shared)
- 3:24 - 3:29 PM, 5 mins break
- **3:29 - 4:41 PM *Cases for Programmable Cryptography* (~1 hr)**
- ZuPass - [Richard Liu](https://twitter.com/richardyliu) (3:29 - 3:47 PM, 15 min talk + 3 min QA):
Richard Liu gives an introduction to ZuPass and the concept of Proof Carrying Data (PCD), alongside insights into the cryptocurrency industry's fascination with a particularly cute frog. [Watch Video](https://youtu.be/m11Wx5jiexE?feature=shared)
- Worldcoin - [DC Builder]() (3:47 - 4:05PM, 15 min talk + 3 min QA):
DC Builder presents an overview of Worldcoin, delving into the Worldcoin whitepaper to explain its foundational principles and goals. [Watch Video](https://youtu.be/vFG7jlTIgWI?feature=shared)
- Brevis - [Junda Liu]() (4:05 - 4:23 PM, min talk + 3 min QA):
Junda Liu introduces the Brevis SDK, explaining how this Zero-Knowledge (ZK) coprocessor enables smart contracts to access extensive historical on-chain data. [Watch Video](https://youtu.be/QDcM5utqvs4?feature=shared)
- zkEmail - [Aayush]() (4:23 - 4:41 PM, 15 min talk + 3 min QA):
Aayush explores the concept of zkEmail, detailing its approach to email wallets and its contribution to data provenance. [Watch Video](https://youtu.be/GEWuGtsjATw?feature=shared)
- 4:41 - 5:00 PM: 20 mins demo break
- **5:00 - 6:00 PM *Heated Pannel: Programmable Crypto (ZK) v.s. Programmable Trust (Restaking)*, (45 min); moderator: [Wei Dai](https://twitter.com/_weidai) (1kx)**
- People: [Zac Williamson](https://twitter.com/Zac_Aztec) (Aztec Co-founder), [Shumo Chu]() (NEBRA Founder), [Robert](https://twitter.com/rphmeier) (Polkadot Co-founder), [0xMuto](https://twitter.com/0xMuto) (Ethos Co-founder)
- Q1: What are the use cases for programmable crypto?
- Q2: What are the use cases for programmable trust?
- Q3: In cases where both can be utilized, what are the trade-offs?
- Q4: Can we achieve proof singularity? If so, what does proof singularity entail?
[Watch the debate](https://youtu.be/SQWgrfCwVkk?feature=shared)