Karl Yu | An overview of additive PCS

Sat, Oct 2, 2021, 12:00 AM

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.