Binance Labs, подразделение криптовалютной биржи Binance, занимающееся развитием стартапов, в понедельник сообщило о том, что приняло участие в финансировании платформы для аудита смарт-контрактов и блокчейнов CertiK.
CertiK помогает блокчейн-стартапам обеспечивать безопасность решений, предоставляя услугу по их официальной верификации. Команда уже работает с существующими проектами и помогает им убедиться, что в их коде нет ошибок, которые могут привести к потере средств пользователей и прочим нежелательным последствиям.
Компания была открыта в прошлом году, а её сооснователями стали йельский профессор Жонг Шао, также известный как создатель «сертифицированной операционной системы» CertiKOS, и помощник профессора Колумбийского университета Ронгуй Гу.
Команда CertiK использует математические доказательства, являющиеся подтверждением защищённости систем от хакерских атак. Метод включает «многоуровневый декомпозиционный подход, подключаемый движок доказательств, проверяемые оборудованием объекты доказательств, сертифицированные библиотеки децентрализованных приложений и “умную адресацию”». Благодаря использованию этого метода разработчики могут вынести объективное заключение о безопасности платформ, утверждают они.
Хотя Binance Labs не стала раскрывать сумму вложения, её представитель сообщил CoinDesk, что речь идёт о нескольких миллионах долларов. CEO инкубатора Элла Жанг заявила, что CertiK решает как минимум одну проблему блокчейн-пространства. «CertiK математически подтверждает безопасность смарт-контрактов, что является критической болевой точкой, с которой нам приходится соприкасаться в экосистеме блокчейна, таким образом преодолевая ограничения ручного тестирования».
Инвестиция Binance «свидетельствует о признании значимости официальной верификации в индустрии блокчейна», – говорится в публикации. Команда CertiK обладает «уникальным преимуществом» на этом поприще, учитывая её послужной список и испытанную технологию.
Согласно пресс-релизу, эта технология включает в себя CertiKOS, которая уже используется в корпоративных и военных программах, и один из инструментов, взятых на вооружение Управлением перспективного планирования оборонных научно-исследовательских работ США.
