Соучредитель CertiK углубленно обсуждает вызовы безопасности в Блокчейн и инновационные меры

На днях известное технологическое СМИ опубликовало эксклюзивное интервью с соучредителем и генеральным директором CertiK. Стороны провели углубленный диалог о последних квартальных отчетах безопасности компании, эволюции методов атак хакеров и инновационных путях технологий безопасности.

Этот CEO подчеркивает, что безопасность должна рассматриваться как основополагающий принцип, а не как мера, принимаемая после факта. Он предлагает интегрировать идеи безопасности в общую стратегию с самого начала проекта. В частности, он выступает за активное использование формальной верификации, доказательства с нулевым разглашением, многопартиного вычисления и других передовых технологий для комплексного повышения защитных возможностей Блокчейн-протоколов и смарт-контрактов. Это и есть основная причина и видение его компании — сделать мир Web3.0 более безопасным и надежным за счет строгой технологической верификации.

Это стремление к безопасности не является продуктом краткосрочных рыночных тенденций, а является результатом долгосрочных исследований и практики в области технологических идеалов. От участия в разработке операционной системы, признанной "безупречной", до создания защитного пояса безопасности для цифровых активов на триллионы долларов, он всегда стремился защищать безопасность отрасли и повышать доверие к ней.

Этот CEO многократно подчеркивал, что безопасность — это не конкурентное преимущество, а общая ответственность. Он трансформировал академические достижения лаборатории в практики безопасности, применимые в отрасли, и внедрил концепцию "общей ответственности" в сотрудничество в отрасли. Этот технический лидер из ведущего учебного заведения противостоит неопределенности хакерских атак с помощью проверяемости математической логики, определяя стандарты безопасности для эпохи Web3.0 между техническими идеалами и реальностью.

В интервью CEO рассказал, что основной миссией компании является усиление безопасности экосистемы Web3.0. Компания была основана в 2017 году, ее основная идея заключается в использовании технологий формальной верификации для постоянного мониторинга и укрепления безопасности Блокчейн-протоколов и смарт-контрактов, чтобы обеспечить их безопасную и корректную работу. Они интегрируют передовые решения из академической и промышленной сфер, помогая приложениям Web3.0 достигать устойчивого масштабирования при обеспечении безопасности.

Что касается ключевых выводов из последнего квартального отчета о безопасности, то CEO отметил, что убытки от мошеннических действий на блокчейне значительно возросли по сравнению с предыдущим кварталом, что в основном связано с взломом одной из бирж. Эфир по-прежнему является основной целью атак, что приводит к огромным потерям активов. Вызывает беспокойство, что лишь очень небольшая доля украденных активов была успешно возвращена.

Говоря об изменении целей атак на Блокчейн, CEO заявил, что Ethereum по-прежнему является зоной повышенного риска для атак. Это в основном связано с тем, что в экосистеме Ethereum существует множество DeFi-протоколов, объем заблокированных активов огромен, и многие смарт-контракты имеют уязвимости.

С учетом все более сложных методов атак, этот CEO считает, что отрасль активно отвечает на вызовы, продвигая развитие инновационных технологий, таких как нулевое раскрытие и безопасность на блокчейне. Эти технологии предоставляют многообещающие решения для все более серьезных проблем безопасности, позволяя одновременно защищать конфиденциальность и обеспечивать возможность аудита транзакций, отслеживания атак и возврата активов.

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

Говоря о роли ИИ в безопасности Блокчейн, CEO заявил, что ИИ является важным инструментом их системы безопасности и был включен в одну из ключевых стратегий по обеспечению безопасности Блокчейн-системы. Они используют технологии ИИ для анализа уязвимостей и потенциальных недостатков безопасности в смарт-контрактах, что повышает эффективность аудита. Однако он также отметил, что злоумышленники также могут использовать ИИ для усиления своих атак, что означает, что планка безопасности для противостояния повышается.

Что касается технологии формальной проверки, этот генеральный директор объяснил, что это метод, позволяющий с помощью математических средств доказать, что компьютерные программы работают как ожидалось. Он может быть широко применен в различных областях технологической индустрии, включая аудит смарт-контрактов. Однако он подчеркнул, что формальная проверка не предназначена для замены ручного аудита; оба метода взаимодополняют друг друга, совместно повышая общую безопасность смарт-контрактов.

В заключение, говоря о безопасности, вызванной входом традиционных финансовых учреждений в сферу Блокчейн, этот генеральный директор ожидает, что риски безопасности сетевой целостности перейдут в новую стадию. За этим переходом стоит как рост объема активов проекта, так и уникальные требования к безопасности корпоративных приложений, требования регулирования и глубокая интеграция Блокчейн с традиционной финансовой системой. Он ожидает, что злоумышленники также повысят сложность своих атак, перейдя к более целенаправленным корпоративным уязвимостям, таким как ошибки конфигурации, уязвимости пользовательских смарт-контрактов, а также недостатки безопасности в интерфейсах интеграции с традиционными системами.