Binance лаборатории, инкубаторе крыло Binance биржа криптовалют, вложил в смарт-контракт и блокчейн-стартап аудит, компания объявила в понедельник.
Называется CertiK, фирма стремится помочь защитить смарт-контракт и блокчейн-платформы в рамках формального процесса проверки. Команда уже начала работу по обеспечению существующий блокчейн-платформы не содержат ошибок, что может привести к потере средств или других уязвимостей, сообщается в пресс-релизе.
Компания была основана в прошлом году, в частности, профессор Йельского Чжун Шао, который, как известно, для разработки «сертифицирована ОС» называется CertiKOS, и Колумбийского университета доцент Ronghui ГУ.
Команда CertiK работает с применением математических доказательств в сети, чтобы определить, действительно ли хакеры могут нарушить системы.
Методы команды включить «слой-подход, основанный на декомпозиции, разъемный доказательства двигателей, машинно-проверяемого доказательства, предметы, сертифицированные [децентрализованное применение] библиотеки и умный маркировки», — говорится в релизе. Используя эти подходы, исследователи утверждают, что они потом смогут подтвердить безопасность платформе блокчейн объективно.
Хотя Binance лаборатории не раскрывает сумму инвестиций, представитель сказал, прогнозирует, что его доля составила «несколько миллионов» долларов.
Генеральный директор инкубатора, Элла Чжан, сказал в выпуске, что платформа CertiK затрагивает по крайней мере один выдающийся потребность в Blockchain-пространства, пояснив:
«CertiK математически проверка безопасности смарт-контрактов, которая является критической точке боли, с которыми мы сталкиваемся в Blockchain экосистемы, минуя ограничения ручного обнаружения».
Инвестиции «, означающий признание важности формальной верификации в Blockchain промышленности», — говорится в продолжал говорить. CertiK, в частности, входит «уникальное преимущество» в области с учетом ее истории и проверенная технология.
Эта технология включает CertiKOS, который уже используется в корпоративных и военных программ, и является одним из инструментов, используемых при Министерстве обороны США перспективных исследований проекты агентства (DARPA), примечания к выпуску.
