Binance Labs, подразделения одной из крупнейших криптовалютных бирж Binance, инвестирует в блокчейн-стартап для аудита смарт-контрактов CertiK. Компания не сообщает общую сумму инвестиций, однако CoinDesk пишет, что ее доля составила «несколько миллионов» долларов.
CertiK осуществляет проверку программных кодов проектов на базе блокчейна на содержание ошибок, которые могут привести к потере средств или другим уязвимостям. Для этого команда CertiK использует «многоуровневый декомпозиционный подход, сертифицированные библиотеки» децентрализованных приложений и так называемую «умную маркировку».
Стартап был запущен в 2017 году была профессором Йельского университета Чжун Шао (Zhong Shao), который известен разработкой «сертифицированной операционной системы» под названием CertiKOS и доцентом Университета Колумбийского университета Ронгуй Гу (Ronghui Gu).
CertiKOS уже используется как в корпоративных, так и в военных программах, и является одним из инструментов, используемых в Управление перспективных исследовательских проектов Министерства обороны США (DARPA).
Команда CertiK работает, применяя математические доказательства для сетей, чтобы определить, могут ли хакеры нарушать системы.
«CertiK математически проверяет безопасность смарт-контрактов, что является важной болевой точкой, с которой мы сталкиваемся в экосистеме блокчейна, избегая ограничения ручного тестирования», – сообщила глава Binance Labs Элла Чжан (Ella Zhang).
Инвестиции Binance сигнализируют о признании важности формальной проверки в отрасли блокчейна, говорится в заявлении. В частности, CertiK позиционируется компанией с «уникальным преимуществом» в этой области, учитывая её методы работы и проверенные технологии.
