Binance Labs инвестирует миллионы в платформу аудита блокчейна CertiK

Binance Labs, инкубаторское крыло Криптовалюта биржи Binance, инвестировало в стартап, занимающийся аудитом смарт-контрактов и блокчейнов, о чем компания объявила в понедельник.

Названная CertiK, фирма стремится помочь защитить смарт-контракты и блокчейн-платформы посредством формального процесса проверки. Команда уже начала работать над тем, чтобы существующие блокчейн-платформы не содержали ошибок, которые могли бы привести к потере средств или другим уязвимостям, согласно пресс-релизу.

Компания была основана в прошлом году, частично профессором Йельского университета Чжун Шао, который известен разработкой «сертифицированная операционная система" позвонил CertiKOS и доценту Колумбийского университета Жунхуэй Гу.

Команда CertiK применяет математические доказательства к сетям, чтобы определить, могут ли хакеры взломать системы.

Методы команды включают «подход на основе разложения на основе слоев, подключаемые механизмы доказательств, проверяемые машиной объекты доказательств, сертифицированные библиотеки [децентрализованных приложений] и интеллектуальную маркировку», согласно пресс-релизу. Исследователи утверждают, что, используя эти подходы, они могут затем подтвердить безопасность блокчейн-платформы объективным образом.

Хотя Binance Labs не раскрывает общую сумму инвестиций, представитель компании сообщил CoinDesk , что ее доля составляет «несколько миллионов» долларов.

Генеральный директор инкубатора Элла Чжан заявила в пресс-релизе, что платформа CertiK решает как минимум ONE насущную потребность в сфере блокчейна, объяснив:

«CertiK математически проверяет безопасность смарт-контрактов, что является критически важной проблемой, с которой мы сталкиваемся в экосистеме блокчейна, обходя ограничения ручного обнаружения».

Инвестиции «сигнализируют о признании важности формальной верификации в индустрии блокчейна», говорится далее в заявлении. CertiK, в частности, обладает «уникальным преимуществом» в этой области, учитывая его историю и проверенную Технологии.

В релизе отмечается, что эта Технологии включает CertiKOS, которая уже используется как в корпоративных, так и в военных программах и является ONE из инструментов, используемых Агентством перспективных исследовательских проектов Министерства обороны США (DARPA).

Бизнес-миниатюрыизображение через Shutterstock