Verilog is a smart contract auditing firm founded by blockchain professors, researchers, and alumni of the University of British Columbia at Vancouver, BC, Canada. All the co-founders had been working for 5+ years in Layer 1/Layer 2 and DeFi in the industry before establishing Verilog and are still leading the blockchain, DeFi, cyber security research supported by Natural Sciences and Engineering Research Council of Canada and Public Safety Canada. The people in Verilog are committed to delivering the high-quality auditing report and professional security suggestions to DeFi project teams and their investors.