Yu Guo
InvestorSenior Advisor at L2 Iterative Ventures (L2IV)
Find your path to Yu Guo
6 people in our graph share verified history with Yu Guo — schools, employers, funds. One of them is your warm intro.
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)
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.