Ориентированный на аудит безопасности смарт-контрактов стартап CertiK привлек $60 млн от SoftBank Vision Fund и Tiger Global.