Thursday, October 13 From 1pm - 4pm
Location: Agora Bogotá Convention Center, Floor 2, Workshop 1
| Time | Title | Speaker | Description |
|---|---|---|---|
| 1:00pm | Intro | ||
| 1:05pm | SNARK Light Clients | Uma Roy, Succinct Labs | As the number of different blockchains have grown in the past few years, interoperability between these chains has become critical infrastructure. Unfortunately, most cross-chain communication today is intermediated by centralized architectures, such as multi-sigs. |
| Recently there has been a lot of excitement about the feasibility of SNARK-based bridges for trust-minimized interoperability. We describe a design and implementation of proof of consensus for Eth PoS and present a roadmap for implementing proof of consensus for other consensus protocols. | |||
| 1:25pm | Using ZKP for better p2p messaging with Waku | Oskar Thoren, Vac | In this short demo we'll look at Waku, the communication layer for Web3, and how it uses ZK for its service network. |
We'll demo using Waku with RLN for private, economic spam protection and what this means for you as a user and node operator. We'll also briefly look at how we can incentivize other services in the network in a private manner.
Finally we'll show how you can actively participate in and contribute to the network yourself as a node operator, developer or end user. | | 1:40pm | Poseidon VM: a zkApp friendly VM with EVM compatibility | Shumo Chu, Manta | We present Poseidon VM, a blockchain VM designed to support decentralized applications powered by zero-knowledge proofs (a.k.a. zkApps) with friendly programming abstractions and cheap transaction cost.
In particular, Poseidon VM allows developers to compose built-in primitives such as privacy-preserving assets (zkAsset), configurable zkAsset disclosure (CAD), zero-knowledge signaling (zkSignal) using CP-SNARK style composition by purely writing Solidity. | | 1:55pm | [5m break] | | | | 2:00pm | ZKML | Jason Morton, Zkonduit & 0xPARC | ZKML could be the key to giving the blockchain eyes, letting smart contracts exercise judgment, one-person oracles, and generally getting data on-chain in a scalable way. I'll discuss applications, how to quickly convert PyTorch models to zero-knowledge proofs, and the roadmap. | | 2:15pm | Scaling up Trustless Neural Network Inference with Zero-Knowledge Proofs | Yi Sun | We present the first ZK-SNARK proof of valid inference for a full resolution ImageNet model. We will describe the arithmetization and quantization optimizations enabling us to SNARK large neural networks as well as a software package enabling transpilation from off-the-shelf models to halo2 circuits. We design protocols using our circuits to verify machine learning model predictions and accuracy and present concrete estimates of overhead costs based on our circuit implementations.
This is joint work with Daniel Kang, Tatsunori Hashimoto, and Ion Stoica. | | 2:30pm | Worldcoin | Remco Bloemen, Worldcoin | | | 2:45pm | [5m break] | | | | 2:50pm | Crypt-Keeper ZK Identity Wallet | AtHeartEngineer and Iskander, PSE | We demo the Crypt-Keeper identity commitment and zk proof generation wallet for semaphore, RLN, and other ZK identities. | | 3:00pm | Unirep Social - A demo application of Unirep protocol | Vivian Jeng, PSE | Unirep is a private reputation system. In this session we will use a social media app called Unirep Social to demo the Unirep protocol. | | 3:10pm | Zkitter - Anonymous Social Network | 0xTsukino, PSE | A brief overview of Zkitter, an anonymous social network built using ZK technology. Learn how you can start posting and chatting anonymously while using your real life reputation. | | 3:30pm | heyanon.xyz | Vivek, Personae/0xPARC | Demoing heyanon, an open-source app allowing you to anonymously tweet as a verified member of on and off-chain groups. We’ll talk about how you can submit your own groups, our work on improving the ECDSA group experience, and our many ideas for extensions! | | 3:45pm | zkemail: Decentralized ID Verification on Chain Without Servers | Aayush Gupta, Sampriti Panda | We demo zk-email, a new primitive that lets you verify emails trustlessly. We demo a simple trustless Twitter badge on chain, and show how almost any data in web2 can be turned into trustless badges or zk badges on a blockchain. Launching with Personae Labs! |