Збитки на суму 3,353 мільйонів доларів: амбіції CertiK щодо виходу на біржу — як штучний інтелект змінює безпеку Web3

2026-01-23 08:31:17

Під яскравими прожекторами Давосу засновник CertiK Гу Жунхуї зробив важливу заяву: ця світова найбільша компанія у сфері безпеки Web3 активно просуває план виходу на біржу, мета — стати “першою акцією інфраструктури Web3”. За цим амбіційним наміром стоїть комплексна технологія, яка поєднує AI та формальну верифікацію — движок Spoq. А все це відбувається на тлі серйозної кризи безпеки у галузі Web3.

Технічні інновації: AI переосмислює формальну верифікацію

Гу Жунхуї у детальному інтерв’ю розповів про технологічний прорив CertiK. Движок Spoq через глибоку інтеграцію AI та систем формальної верифікації значно підвищує масштабованість та ефективність перевірок. Це не порожні слова — цей результат вже підтверджено на провідних світових конференціях, таких як OSDI 2023 та ASPLOS 2026.

Чому це так важливо

Роль формальної верифікації у безпеці Web3 очевидна, але традиційні методи мають суттєві недоліки: висока складність перевірок, низька ефективність, труднощі з масштабуванням. Вступ AI змінює цю ситуацію. Перетворюючи провідні академічні дослідження у інструменти виробництва, CertiK здатен забезпечити математично підтверджену безпеку для глобальних корпоративних клієнтів.

Ринковий фон: нагальна потреба у безпеці

Чому план виходу на біржу у CertiK здається реальним? Достатньо поглянути на дані. За даними звіту «2025 Skynet Hack3D Web3 Security Report», у 2025 році у галузі Web3 сталося 630 інцидентів безпеки, що спричинили збитки приблизно у 3,353 мільярди доларів — це еквівалент міського бюджету середнього міста за рік. Обсяг викрадених коштів зріс на 37.06% порівняно з попереднім періодом.

Це не зменшуваний ринок, а швидко зростаючий попит. Лише інцидент з Bybit спричинив збитки на близько 1,4 мільярда доларів. У такій ситуації компанії, що пропонують надійні рішення безпеки, фактично є інфраструктурними гігантами.

Стратегічна позиція: від сервіс-провайдера до інфраструктури

CertiK вже не просто компанія, що проводить аудит безпеки. За даними джерел, вона надає аудиторські сертифікати проектам Fundtir, Owlto Finance та іншим, ставши інфраструктурним гравцем у Web3. Розвиток цих проектів неможливий без підтвердження безпеки від CertiK.

Чому саме “перша акція”

У сфері інфраструктури Web3 ще не з’явилося публічних компаній. Успішний вихід CertiK на біржу заповнить цю прогалину. Враховуючи:

постійне зростання ринкового попиту (збитки від порушень безпеки зростають щороку)
академічне підтвердження технологій (перевірки на провідних конференціях)
вже існуючу клієнтську базу та вплив у екосистемі

Ця мета цілком досяжна.

Перспективи на майбутнє

З технічної точки зору, поєднання AI та формальної верифікації лише починається. Потужність движка Spoq буде й надалі зростати, а сфери застосування — розширюватися. З точки зору ринку, інвестиції у безпеку Web3 лише зростатимуть, що дає CertiK простір для постійного зростання.

Що є останнім кроком перед виходом на біржу? Зазвичай — стабільність фінансових показників та визнання ринку. Заява Гу Жунхуї у Давосі частково спрямована саме на створення іміджу для цього процесу.

Підсумки

План виходу CertiK на біржу ґрунтується не на порожніх мріях, а на трьох міцних основах: по-перше, технічних інноваціях (AI у движку Spoq), по-друге, ринковому попиті (зростання збитків від порушень безпеки у Web3), по-третє, — позиції у екосистемі (стала підтверджена безпека для кількох проектів). Від компанії, що займалася аудитом безпеки, до інфраструктурного гіганта Web3 — CertiK проходить стратегічне оновлення. У цьому процесі академічна сертифікація та AI-можливості движка Spoq стануть її найсильнішою конкурентною перевагою.

Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.