I am the founder of SECBIT Labs., a team focusing on smart contract auditing, formal verification, and zero-knowledge proofs. Our team has been working in smart contract (esp. Ethereum) auditing for more than three years, with rich experience in security and DeFi. I also specialize in ZKP and cryptographic engineering and am one of the authors of ZKCPlus protocol that is a decentralized fair data trading protocol on the blockchain. Before I plunged into crypto, I had worked in formal verification, operating system kernels, and type systems