CertiK

CertiK — это международная компания, специализирующаяся на аудите безопасности блокчейн-проектов, смарт-контрактов и децентрализованных приложений. Основана в 2018 году выпускниками Йельского университета и Колумбийского университета. Штаб-квартира расположена в Нью-Йорке (США). Компания предоставляет услуги по формальной верификации кода, поиску уязвимостей и мониторингу угроз в реальном времени, работая с крупнейшими криптовалютными биржами, платформами DeFi и NFT-проектами.

История

Компания была основана в 2018 году профессорами и исследователями в области формальной верификации: Жунхуном Чжоу (Ronghui Zhou), Чжун Шао (Zhong Shao) и другими. Первоначально проект развивался как академическая инициатива при поддержке Йельского университета. В 2019 году CertiK привлекла первые инвестиции от венчурных фондов, включая Coinbase Ventures и Binance Labs.

В 2020 году компания запустила платформу для автоматизированного аудита смарт-контрактов, а в 2021 году — сервис мониторинга угроз в реальном времени CertiK Skynet. В 2022 году CertiK стала одним из крупнейших игроков на рынке аудита блокчейнов, проведя проверки для более чем 3000 проектов. К 2024 году компания оценивалась в несколько миллиардов долларов.

Услуги и направления деятельности

Аудит смарт-контрактов

Основной вид деятельности CertiK — проведение аудита кода смарт-контрактов на предмет уязвимостей, ошибок и несоответствия заявленным функциям. Аудит включает как ручной анализ экспертами, так и автоматизированное тестирование с использованием формальной верификации. Результаты оформляются в виде отчета с оценкой рисков и рекомендациями по исправлению.

Формальная верификация

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

Мониторинг угроз (CertiK Skynet)

Платформа Skynet обеспечивает непрерывный мониторинг блокчейн-проектов в реальном времени. Она анализирует транзакции, состояние смарт-контрактов и поведение пользователей, выявляя подозрительную активность (например, попытки взлома или манипуляции рынком). Система присваивает каждому проекту рейтинг безопасности.

Услуги по безопасности для криптобирж

CertiK сотрудничает с крупными криптовалютными биржами, включая Binance, OKX и Huobi, предоставляя аудит их платформ и смарт-контрактов. Компания также участвует в программах bug bounty (вознаграждение за найденные уязвимости).

Ключевые проекты и клиенты

Среди клиентов CertiK — такие известные блокчейн-проекты, как:

• Binance (криптовалютная биржа, зарегистрированная на Мальте, деятельность в РФ не запрещена, но ограничена в связи с санкциями)
• PancakeSwap (децентрализованная биржа)
• Polygon (решение для масштабирования Ethereum)
• Aave (протокол кредитования)
• Chainlink (оракул для смарт-контрактов)

По состоянию на 2024 год компания провела аудит более 3500 проектов, выявив тысячи уязвимостей, включая критические, которые могли привести к потере средств пользователей.

Критика и инциденты

Несмотря на репутацию, CertiK сталкивалась с критикой. В 2022 году некоторые проекты, прошедшие аудит компании, становились жертвами взломов (например, инцидент с проектом Nomad Bridge, где потеряно около 190 миллионов долларов). Критики отмечали, что аудит не гарантирует полной безопасности, а лишь снижает риски. Также высказывались опасения по поводу конфликта интересов, когда CertiK одновременно проводит аудит и предоставляет консалтинговые услуги.

В 2023 году компания была обвинена в завышении стоимости услуг и недостаточной прозрачности отчетов. В ответ CertiK усилила публикацию методологий и открыла часть кода для сообщества.

Рынок и конкуренты

CertiK работает на рынке аудита блокчейнов, который быстро рос в 2020-2024 годах. Основные конкуренты:

• Trail of Bits (США)
• OpenZeppelin (США/Аргентина)
• ConsenSys Diligence (США)
• Hacken (Украина/Эстония)

По данным аналитиков, CertiK занимает одну из лидирующих позиций по объему проведенных аудитов и выручке, однако уступает некоторым конкурентам в глубине технического анализа.

Правовой статус в России

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

Интересные факты

• Название CertiK происходит от сочетания слов «certify» (сертифицировать) и «K» (отсылка к формальной верификации, обозначаемой в математике буквой K).
• Компания привлекла более 140 миллионов долларов инвестиций, включая раунды от Sequoia Capital, Tiger Global и SoftBank.
• В 2022 году CertiK запустила собственную платформу для обучения специалистов по безопасности блокчейнов.