Details
Hanzhi Liu is the co-founder at Nubit. He is a Ph.D. student (on-leave) at UCSB, with a B.S. from Shanghai Jiao Tong University. His research is centered on program verification, language semantics, and compiler optimizations. He has written formal proofs for most of the Ethereum Foundation PSE's projects and has discovered numerous zero-day vulnerabilities. He authored a notable paper on certifying ZKP circuits, accepted for S&P 2024, and has worked on mitigating on-chain attacks.
Work Experience
Education Experience
Relevance Person
Yu Feng
Yu Feng is an Assistant Professor in the Department of Computer Science at the University of California, Santa Barbara (UCSB). He cofounded Veridise and Nubit. Professor Feng has been recognized with prestigious academic awards for his contributions to the field, including best paper awards from top formal methods (PLDI’18, PLDI’22), software engineering (ASE’20), and HCI (CHI’21). He is also the recipient of Google Faculty award, Ethereum Academic award, and many others.
Hongbo Wen
Hongbo Wen is the co-founder at Nubit. He is a senior Ph.D. student (on-leave) at UCSB, with a B.S. from Tsinghua University. His research in blockchain security has led to the discovery of numerous zero-day vulnerabilities and prevalent flaw patterns, particularly in smart contracts and Zero-Knowledge Proof (ZKP) Circuits. His notable work includes the pioneering paper 'ZKAP' on identifying bug patterns within ZKP Circuits, presented at USENIX Sec '24.
James Cheng
James Cheng is the Chief Financial Officer of Canaan. His resume includes vice president of Zhaopin Recruitment, financial director of Lenovo China and Asia Pacific, senior sales financial director of Nokia China, and demand planning manager of Effem Foods Beijing (Mars Inc.).
Joe Gerber
Joe Gerber is the founder of IDEO CoLab Ventures and was previously a senior Product Manager at Fidelity Investments.
Qi Zhou
Founder of EthStorage and QuarkChain. Web3 enthusiast, social experimenter, developer, and father. He completed his Ph.D. at Georgia Institute of Technology after receiving his master's degrees at Shanghai Jiao Tong University and Georgia Institute of Technology. After graduation, Qi Zhou worked at Google, Dell and Facebook.
Wei Dai
Wei Dai focuses on zero-knowledge cryptography and protocol design. Prior to his work as a research partner at 1kx, W. Dai worked as a research partner at Bain Capital Crypto. He also held research positions at NTT Research, the University of Washington, and Visa Research, where he contributed to cutting-edge research in the field of blockchain technology. W. Dai obtained his Ph.D. from UC San Diego and holds B.S. degrees in Computer Science and Mathematics from the College of Creative Studies at UCSB, as well as a Masters's from UCSB.
Kevin Corstorphine
Kevin Corstorphine is head of DeFi growth at API3. He is a graduate of the University of California, Santa Barbara.
Magic Pan
Magic Pan is Loopring's vice president of product and operations. He graduated from Shanghai Jiao Tong University.
Dafu Gao
Dafu Gao is a partner at OnePiece Labs. He graduated from Lehigh University and holds a Master's degree in Mechanical Engineering from Shanghai Jiao Tong University.
Alexis Masseron
Alexis Masseron is the Co-founder and CEO of Atlendis Labs. Previously, he worked as a Software Engineer at ConsenSys. His educational background includes ESME and Shanghai Jiaotong University.