CertiK has been developing a system to "mathematically prove" that blockchain-based smart contracts are "bug-free" and resistant to hacking attempts. Binance Labs recently invested "multiple millions" in an effort led by Yale University professor Zhong Shao to prove that blockchain-powered networks are secure. However, these security checks will not ensure that the legal terms and conditions of smart contracts have been written properly.