11-15, 11:00–11:30 (Asia/Bangkok), Stage 3
Zero-knowledge proofs (ZKPs) have evolved from being a theoretical concept providing privacy and verifiability to having practical, real-world implementations, with SNARKs (Succinct Non-Interactive Argument of Knowledge) emerging as one of the most significant innovations. Prior work has mainly focused on designing more efficient SNARK systems and providing security proofs for them. Many think of SNARKs as "just math," implying that what is proven to be correct and secure is correct in practice.
Stefanos Chaliasos is a PhD candidate at Imperial College London and a Security Researcher at zkSecurity focusing on securing protocols developing and using ZKPs. His main research interests involve Blockchain Security, Software Testing, ZKPs, Program Analysis, and Programming Languages.