ZK Day Online July Edition: L2, Sparse Merkle Tree, Rollups, additive PCS
Details
ZK Day Online July Edition: L2 history, Sparse Merkle Tree, Rollups, additive PCS
7:00 PM Tuesday, the 27th of July. Taiwan time (UTC +8)
ZK Day
ZK Day is a series of meetups curated by zero-knowledge proof enthusiasts. The meetups first originated from a ZKP study group in Taipei, Taiwan, in the Spring of 2021, with many of the members coming from the Taipei Ethereum Meetup group. The goal is to introduce zero-knowledge technologies and applications to the general public. At ZK Day events, we discuss topics ranging from high-level topics to low-level topics, from application to theory, as well as many exciting projects that are emerging out of the latest research.
If you’re interested in speaking at one of our ZK Day events, reach out to Mai-Hsuan (Kevin) Chia or Yahsin Huang.
Agenda
7:00 pm Intro by Yahsin
7:05 pm L2 History by Dr. Chang-Wu Chen
7:45 pm QA
7:50 pm Sparse Merkle Tree by Chih-Cheng Liang
8:10 pm QA
8:15 pm Rollup 101 by Steven Wu
8:35 pm QA
8:40 pm An overview of additive PCS by Karl Yu
9:00 pm A quick break
9:10 pm Networking -- head over to gather.town
Note: Online event. Will need to let Yahsin know your email in order to participate.
Speaker intro
Dr Chang-Wu Chen
Chang-Wu is the head of imToken Labs. He also serves as an adjunct assistant professor at the Department of Computer Science, National Chengchi University, focusing on teaching Ethereum. Chang-Wu’s Twitter: https://twitter.com/changwu_tw imToken: https://www.token.im/
Talk description
"L2 History"
In this talk, he will walk through the history and evolution of Ethereum Layer 2 solutions, then discuss the status quo of Ethereum and the pros and cons of Layer 2 solutions. At last, he will share his insight on the L2 future.
------------
Speaker intro
Chih-Cheng Liang builds zero-knowledge proof applications on Ethereum.
Talk description
"Introducing Sparse Merkle Tree"
Layer 2 technology centers around outsourcing the data storage from the decentralized L1 full nodes to a centralized L2 coordinator. The commitment scheme is the technology to achieve that while preserving security.
In this talk, we introduce the Sparse Merkle Tree, a particular hash tree commitment that is popular among many L2 implementations and easy to reason. We will take a baby step to walk through the membership proving and updating, which gives the idea, the background, and contexts to understand an essential part of L2 design space.
---------
Speaker intro
Steven Wu is a cryptography researcher at imToken Labs. imToken: https://www.token.im/
Talk description
"Rollup 101"
In this talk, we introduce what rollup is and why we need it. Also, we will compare zk rollups and optimistic rollups.
---------
Speaker intro
Karl Yu is a researcher at HashCloak. His research focuses on zero-knowledge proofs, decentralized systems design, and blockchain protocol design. He’s contributed to several Mandarin translation articles about some of the core technical aspects of Ethereum. Karl has been an active member of the ZKProof research community since 2019. More recently, he is the lead author of an in-progress paper systematizing general purpose ZK-SNARKs protocols. He is familiar with Rust and Solidity. He has a bachelor’s degree in software engineering from Wenzhou University.
Talk description
"An overview of additive PCS"
In this talk, we will go through several existing examples of additive schemes, e.g. Bulletproof, KZG, DARK, DORY. Focused on a more technical aspect of the additive schemes, we will be providing an overview of: 1) a transformation of such additive PCS into a hiding PCS with a zero-knowledge evaluation proof; 2) efficient proof aggregation which significantly reduces the amount of work on evaluations on commitments.
Moderator intro
Yahsin Huang is a community builder in the blockchain space. Her focus has been exploring how the democratization of digital tools empowers individuals. She is the operations manager at HashCloak. Website: https://yahsin.me/
