Ronghui Gu, Co-Founder, CertiK