Основатель CertiK говорит о безопасности блокчейна: от формальной верификации до новых угроз
С быстрым развитием Web3.0 безопасность блокчейна стала ключевой темой в отрасли. На днях известный эксперт по безопасности блокчейна дал интервью СМИ, в котором поделился своим мнением о текущем состоянии отрасли и будущих тенденциях.
Этот эксперт является основателем и CEO известной компании по безопасности Блокчейн, а также профессором компьютерных наук в одном из известных университетов. Его компания была основана в 2017 году и занимается использованием Формальной верификации для повышения безопасности Блокчейн-протоколов и смарт-контрактов. В настоящее время компания обслуживает почти 5000 корпоративных клиентов, защищая более 530 миллиардов долларов цифровых активов и обнаружив более 115000 уязвимостей в коде.
Говоря о недавней ситуации с безопасностью, эксперты указывают, что в первом квартале 2025 года убытки от мошенничества на Блокчейн достигли 1,66 миллиарда долларов, что на 303% больше по сравнению с предыдущим кварталом. При этом Эфириум по-прежнему является основной целью хакерских атак, составляя большую часть убытков. Еще более тревожно, что коэффициент возврата украденных активов составляет всего 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 миллиардов долларов цифровых активов и обнаружив более 115000 уязвимостей в коде.
Говоря о недавней ситуации с безопасностью, эксперты указывают, что в первом квартале 2025 года убытки от мошенничества на Блокчейн достигли 1,66 миллиарда долларов, что на 303% больше по сравнению с предыдущим кварталом. При этом Эфириум по-прежнему является основной целью хакерских атак, составляя большую часть убытков. Еще более тревожно, что коэффициент возврата украденных активов составляет всего 0,38%.
С учетом все более сложных методов атак, индустрия безопасности Блокчейн активно реагирует. Инновационные технологии, такие как нулевые знания и многопартнерские вычисления, широко применяются для повышения конфиденциальности и безопасности транзакций. Эксперты подчеркивают, что важно рассматривать безопасность как первоочередную задачу и интегрировать ее в весь процесс разработки, что имеет решающее значение для создания надежных приложений Web3.0.
Искусственный интеллект играет двойственную роль в безопасности Блокчейн. С одной стороны, ИИ может помочь анализировать уязвимости в смарт-контрактах, повышая эффективность аудита; с другой стороны, злоумышленники также могут использовать ИИ для усиления своих атак. Это означает, что порог безопасности для противостояния постоянно повышается.
Формальная верификация является технологией, которая использует математические методы для доказательства корректности программ. В области Блокчейн она может сочетаться с ручным аудитом, что значительно повышает безопасность смарт-контрактов.
С учетом того, что традиционные финансовые учреждения входят в область Блокчейн, типы и сложность угроз безопасности также изменяются. Эксперты ожидают, что будущие атаки будут более целенаправленными и могут сосредоточиться на уязвимостях корпоративного уровня, уязвимостях пользовательских смарт-контрактов, а также на недостатках безопасности интерфейсов интеграции с традиционными системами.
В целом, с постоянным развитием технологии Блокчейн и расширением области её применения, вопросы безопасности продолжат оставаться в центре внимания отрасли. Только через постоянные инновации и строгие меры безопасности можно заложить прочный фундамент для здорового развития Web3.0.