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

Инкубационное подразделение криптовалютной биржи Binance компания Binance Labs вложила средства в стартап в области аудита смарт-контрактов и блокчейна.

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

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

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

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

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

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

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

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

Специально для mmgp.ru