Ronghui discusses blockchain security, breakthroughs in Formal Verification software and unconventional company structures