Fundraising Fox
Yu Guo
InvestorSenior Advisor at L2 Iterative Ventures (L2IV)
Find your path to Yu Guo
Sign up to see every warm intro you have to Yu Guo
- Paths you didn't know you had: your email and LinkedIn already hold routes to Yu Guo. We find them for you
- 2nd- and 3rd-degree connections: the friend-of-a-friend routes that take hours to manually find through your inbox or LinkedIn
- Answers now, not in days: momentum is everything in a raise. Skip asking around whether someone knows someone
Days of research, done the moment you sign in, with every route ranked by how warm it is.
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.
About this profile. Compiled from public sources — L2 Iterative Ventures (L2IV)'s own website and public professional profiles — and summarised by Fundraising Fox; every fact is kept with where it came from. Spotted an error, or would rather not be listed? Email privacy@fundraisingfox.com · How we build profiles · Your rights