We're excited to connect and collaborate on building meaningful tools with cryptography.
BOOTHPSE Impact BoothWe are hosting open office hours at Devcon so you can ask questions, try out demos, and deep-dive into our projects. There will be representatives from MACI, TLSNotary, Semaphore, EcoDev, DevRel, Grants, Research and more all week. Come learn about the growing field of advanced cryptography!
Nov 12 - 15
S1-07 and S1-08
BOOTHCryptographic ConnectionsThroughout history, humans have used patterns, symbols, and codes to forge meaningful connections. This exhibit by Cursive explores cryptography not just as mathematical formulas, but as a deeply human art form.
Nov 12 - 15
Near Devcon Entrance
Talks
Sunday, Nov 10
4:30 PM - 5:00 PM
Ethereum Cypherpunk Congress
Datapalooza
Data can be useful, and also dangerous. This talk will raise questions and concerns that data enthusiasts might want to consider.
Monday, Nov 11
TBA
Ethereum Cypherpunk Congress
What's next for PSE
2024 has brought a lot of changes to the Privacy + Scaling Explorations team. Hear from our new team learn about the past, present and future of PSE.
Tuesday, Nov 12
12:40 PM - 12:50 PM
Lightning Talk - Stage 4
The combination of ZKP +/- MPC +/- FHE
This talk will provide you with the necessary intuition to understand when you should use ZKP, MPC or FHE, or any combination of them.
Tuesday, Nov 12
1:10 PM - 1:20 PM
Lightning Talk - Stage 4
MP-FHE experiments. Our learnings trying to find the next big tech to focus on.
This talk mainly focuses on showcasing the work that some PSE members did while starting to dive into MPC-FHE during Q2 2024. This work is composed by various explorations within the MPC-FHE realm that move towards different directions and goals. From FHE compilers to FFT Bootstrapping GPU optimization proposals, passing by FHE Game demos and many application level implementations, the talk aims to reach beginner-advanced audience on the research/product paths that we have explored so far.
Tuesday, Nov 12
1:30 PM - 1:40 PM
Lightning Talk - Stage 4
Modern ZKP Compilers
At PSE we have done much ZKP advanced development. From that learning we are building a language and compiler, that is summarizing much of this learning. We answer questions like: Are compilers necessary in a zkVM world? What is the role of a compiler in ZKP development? What are its most common components? How different ways can this problem be approached? In this advanced talk, we will learn how we compile arbitrary boolean expressions, or how the Schwartz–Zippel lemma can be used to optimize.
Tuesday, Nov 12
2:10 PM - 2:20 PM
Lightning Talk - Stage 4
The Blind Man's Elephant: a product vision towards private identities
A short talk introducing the concepts of key principles we want to achieve in private ZK identities. Sparkling concepts like SSI and DIDs and why blockchains are the best way to ensure that. Finally it concludes with simple ZK and data-structure constructions and different alternatives that are seeking to provide this characteristics. In short, this is a lightning overview of the space of ZK, its desired features and different approaches to achieve them.
Tuesday, Nov 12
2:50 PM - 3:00 PM
Lightning Talk - Stage 4
Mopro: Make Client-side Proving on Mobile Easy
Mopro is a toolkit for ZK app development on mobile. Mopro makes client-side proving on mobile simple. Mopro aims to connect different adapters with different platforms. In this talk, we will share: - How to use Mopro to develop your own ZK mobile app. - What is the current development progress, including the current supported proving systems, supported platforms, and mobile GPU exploration results. - Moreover, we will share the challenges that Mopro faces and our future roadmap.
Tuesday, Nov 12
2:00 PM - 2:50 PM
Talk - Stage 3
Introduction to Cryptography, New and Old
Data can be useful, and also dangerous. This talk will raise questions and concerns that data enthusiasts might want to consider.
Wednesday, Nov 13
10:30 AM - 11:00 AM
Talk - Stage 3
ZK Email: Fast Proofs and Production-Ready Account Recovery
We discuss progress that ZK Email has made in making new proofs really easy, as well as interesting new on-chain directions for email-triggered transactions. We’ll go over proof registries, email-based multisig signers, and email guardians for account recovery in production.
Wednesday, Nov 13
3:20 PM - 3:50 PM
Talk - Classroom A
Digital Pheromones: MPC for Human Connection & Coordination
Recent MPC research from Cursive and PSE enables a new concept called 'digital pheromones': the ability to produce lightweight, privacy-preserving signals that people can use to coordinate safely and efficiently. The primary result we will cover is Trinity, a new 2PC scheme with nearly ideal UX/DevX, built on the trio of PLONK, Garbled Circuits, and KZG Witness Encryption. We will do a live demo with attendees and explore what a future filled with digital pheromones will enable!
Thursday, Nov 14
9:45 AM - 10:45 AM
Panel - Stage 1
Utilizing National IDs in the Ethereum Ecosystem
This panel brings together developers of MynaWallet, Anon-Aadhaar, Proof of Passport, and zkPassport, who are exploring and developing applications that utilize government-issued IDs in the Ethereum ecosystem. We will discuss the characteristics of each ID system and what functions can be realized using tech stacks in the Ethereum ecosystem and cryptographic technology.
Thursday, Nov 14
1:00 PM - 2:00 PM
Panel - Stage 6
Multi-Party FHE for Multi-Player Privacy
Privacy is an unsolved challenge for blockchains and decentralized systems. ZK cryptography gets us there partially, but not all the way. ZK enables 'single-player private state,' and certain other kinds of privacy are impossible to realize with ZKPs alone. Panelists, the cryptography library devs, infrastructure builders, and application devs who have recently started to explore programmable encryption will discuss MP-FHE as one such tool for achieving more general privacy capabilities.
Thursday, Nov 14
1:30 PM - 3:00 PM
Workshop - Classroom E
Build Your Own ZK Email Proofs, ZK Email Login, or ZK Account Recovery Module in 1.5 Hours
We explain how to use a variety of ZK email-related SDKs, creating new proofs only using TypeScript or Solidity, whichever the developer is most familiar with. We will define new proofs in 5 minutes via sdk.prove.email, complete Solidity ZK email verifications via our generic relayer, and ideate your own projects!
Thursday, Nov 14
4:00 PM - 4:30 PM
Lightning Talk - Stage 4
Little Things We've Learned About FHE
Recently, at PSE, we have been exploring the field of cryptography, specifically focusing on Fully Homomorphic Encryption (FHE). FHE enables secure interactions with encrypted data between different parties. In this presentation, we will introduce key concepts and essential information tailored for developers and application designers. This will help them quickly grasp the fundamentals without getting bogged down by complex mathematical details.
Thursday, Nov 14
4:30 PM - 4:40 PM
Lightning Talk - Classroom E
TLSNotary: Applying MPC and Interactive ZK to Prove Web2 Data
Diving into TLSNotary, a protocol which leverages multi-party computation and interactive ZK to prove the authenticity and provenance of any data on the web to another party. Summary: 1. What it is and what it can do. 2. High-level overview of how it works 3. Details on the underlying MPC and ZK protocols that we use 4. How to use it.
Thursday, Nov 14
4:40 PM - 6:10 PM
Workshop - Classroom E
Unlock Web2 Data with TLSNotary: Hands-On Workshop
Join our hands-on workshop to master TLSNotary! Dive into multi-party-TLS and learn to prove and verify online data authenticity to a third-party verifier while ensuring privacy. We’ll start with small examples in Rust and build up to custom browser extensions in TypeScript to collect and verify private user data.