Yu Guo
InvestorSenior Advisor at L2 Iterative Ventures (L2IV)
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.
Invests in
Crypto & Web3Cybersecurity
Colleagues at L2 Iterative Ventures (L2IV)
Dennis Won
Technical Partner at L2 Iterative Ventures (L2IV)
Kevin Lee
Managing Partner at L2 Iterative Ventures (L2IV)
Kony Kwong
Venture Partner at L2 Iterative Ventures (L2IV)
Lily Liu
Senior Advisor at L2 Iterative Ventures (L2IV)
Sunga Sophie Kim
Partner at L2 Iterative Ventures (L2IV)
Weikeng Chen
Research Partner at L2 Iterative Ventures (L2IV)
Frequently asked questions
- Who is Yu Guo?
- 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.
- Where does Yu Guo work?
- Yu Guo is Senior Advisor at L2 Iterative Ventures (L2IV).
- What does Yu Guo invest in?
- Yu Guo invests in Crypto & Web3, Cybersecurity.