Yu Guo

About

Yu Guo is the Co-Founder of SETBIT Labs, which focuses on smart contract auditing, formal verification, and zero-knowledge proofs. He previously spent ten years as an associate professor of formal verification (with a focus on operating system verification) at the University of Science and Technology of China, and worked for a year as a research scientist at Yale University building certified operating systems. He currently works on blockchain infrastructure security using approaches such as logical reasoning and zero-knowledge proofs, and serves as research lead of the ZKCPlus protocol.