Засновник CertiK говорить про безпеку Блокчейн: від Формальна верифікація до нових загроз
З розвитком Web3.0 блокчейн-безпека стала центральною темою в індустрії. Нещодавно відомий експерт з блокчейн-безпеки дав інтерв'ю ЗМІ, поділившись своїми поглядами на поточний стан галузі та майбутні тенденції.
Цей експерт є засновником і CEO відомої компанії з безпеки Блокчейн, а також професором комп'ютерних наук у відомому університеті. Його компанія була заснована в 2017 році і займається використанням Формальної верифікації для підвищення безпеки Блокчейн-протоколів та смарт-контрактів. Наразі компанія обслуговує майже 5000 підприємств-клієнтів, захищаючи понад 530 мільярдів доларів цифрових активів і виявивши понад 115 тисяч кодових вразливостей.
Говорячи про нещодавню безпекову ситуацію, експерти зазначили, що в першому кварталі 2025 року втрати від шахрайства на блокчейні досягли 16,6 мільярдів доларів, що на 303% більше, ніж у попередньому кварталі. При цьому, Ethereum залишається основною мішенню для хакерських атак, займаючи більшу частину втрат. Ще більше турбує те, що рівень повернення вкрадених активів становить лише 0,38%.
Перед обличчям дедалі складніших атак, індустрія безпеки блокчейну активно реагує. Інноваційні технології, такі як нульове знання, багатосторонні обчислення тощо, широко використовуються для підвищення конфіденційності та безпеки транзакцій. Експерти підкреслюють, що важливо вважати безпеку пріоритетом і інтегрувати її в усі етапи розробки, що є вирішальним для створення надійних додатків Web3.0.
Штучний інтелект відіграє роль двосічного меча в безпеці Блокчейн. З одного боку, ШІ може допомогти аналізувати вразливості в смарт-контрактах, підвищуючи ефективність аудиту; з іншого боку, зловмисники також можуть використовувати ШІ для посилення своїх атак. Це означає, що поріг безпеки для протистояння постійно зростає.
Формальна верифікація є технікою, що дозволяє довести правильність програми за допомогою математичних методів. У сфері блокчейн вона може поєднуватися з ручним аудитом, що суттєво підвищує безпеку смарт-контрактів.
Зі входом традиційних фінансових установ у сферу Блокчейн, типи та складність загроз безпеці також змінюються. Експерти прогнозують, що майбутні атаки будуть більш цілеспрямованими і, ймовірно, зосередяться на вразливостях корпоративного рівня, вразливостях кастомізованих смарт-контрактів та недоліках безпеки інтерфейсів інтеграції з традиційними системами.
В цілому, з розвитком технології Блокчейн та розширенням її застосування, питання безпеки залишиться в центрі уваги галузі. Лише шляхом постійних інновацій та суворих заходів безпеки можна закласти міцний фундамент для здорового розвитку Web3.0.
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
Засновник CertiK розкриває стан безпеки Блокчейн та майбутні тенденції
Засновник CertiK говорить про безпеку Блокчейн: від Формальна верифікація до нових загроз
З розвитком Web3.0 блокчейн-безпека стала центральною темою в індустрії. Нещодавно відомий експерт з блокчейн-безпеки дав інтерв'ю ЗМІ, поділившись своїми поглядами на поточний стан галузі та майбутні тенденції.
Цей експерт є засновником і CEO відомої компанії з безпеки Блокчейн, а також професором комп'ютерних наук у відомому університеті. Його компанія була заснована в 2017 році і займається використанням Формальної верифікації для підвищення безпеки Блокчейн-протоколів та смарт-контрактів. Наразі компанія обслуговує майже 5000 підприємств-клієнтів, захищаючи понад 530 мільярдів доларів цифрових активів і виявивши понад 115 тисяч кодових вразливостей.
Говорячи про нещодавню безпекову ситуацію, експерти зазначили, що в першому кварталі 2025 року втрати від шахрайства на блокчейні досягли 16,6 мільярдів доларів, що на 303% більше, ніж у попередньому кварталі. При цьому, Ethereum залишається основною мішенню для хакерських атак, займаючи більшу частину втрат. Ще більше турбує те, що рівень повернення вкрадених активів становить лише 0,38%.
Перед обличчям дедалі складніших атак, індустрія безпеки блокчейну активно реагує. Інноваційні технології, такі як нульове знання, багатосторонні обчислення тощо, широко використовуються для підвищення конфіденційності та безпеки транзакцій. Експерти підкреслюють, що важливо вважати безпеку пріоритетом і інтегрувати її в усі етапи розробки, що є вирішальним для створення надійних додатків Web3.0.
Штучний інтелект відіграє роль двосічного меча в безпеці Блокчейн. З одного боку, ШІ може допомогти аналізувати вразливості в смарт-контрактах, підвищуючи ефективність аудиту; з іншого боку, зловмисники також можуть використовувати ШІ для посилення своїх атак. Це означає, що поріг безпеки для протистояння постійно зростає.
Формальна верифікація є технікою, що дозволяє довести правильність програми за допомогою математичних методів. У сфері блокчейн вона може поєднуватися з ручним аудитом, що суттєво підвищує безпеку смарт-контрактів.
Зі входом традиційних фінансових установ у сферу Блокчейн, типи та складність загроз безпеці також змінюються. Експерти прогнозують, що майбутні атаки будуть більш цілеспрямованими і, ймовірно, зосередяться на вразливостях корпоративного рівня, вразливостях кастомізованих смарт-контрактів та недоліках безпеки інтерфейсів інтеграції з традиційними системами.
В цілому, з розвитком технології Блокчейн та розширенням її застосування, питання безпеки залишиться в центрі уваги галузі. Лише шляхом постійних інновацій та суворих заходів безпеки можна закласти міцний фундамент для здорового розвитку Web3.0.