Недавно сооснователь CertiK и профессор Колумбийского университета Гу Ронгхуэй дал эксклюзивное интервью арабскому каналу CNBC, в котором поделился своими глубокими мыслями о будущем безопасности Web3, касаясь таких тем, как применение формальной верификации в отрасли, роль ИИ в безопасности блокчейна и риски новых технологий.
Гу Ронгхуй заявил, что формальная верификация является ключом к созданию безопасной основы Блокчейн, поскольку она позволяет математическим методом проверять, соответствует ли поведение кода ожидаемой логике. Этот метод более строгий по сравнению с традиционными инструментами аудита и более сложный. Он неоднократно подчеркивал, что сущность Блокчейн заключается не только в технологических инновациях, но и в реконструкции доверия, а по-настоящему надежная система должна быть проверяемой.
Формальная верификация: построение безопасной базы Блокчейн
Формальная верификация как способ аудита с высокими требованиями и интенсивностью требует глубоких технических накоплений и понимания базовой логики. Гу Ронгхуэй в эксклюзивном интервью отметил, что хотя этот метод и сложен, он имеет незаменимые преимущества в обеспечении безопасности и контролируемости Блокчейн.
Его связь с формальной верификацией можно проследить еще во время учебы. В 2016 году он в сотрудничестве с профессором Йельского университета Шао Чжуном успешно разработал первое в мире полностью официально проверенное ядро многоядерной операционной системы CertiKOS, которое было оценено Google как неуязвимое. Это достижение не только верифицирует применение технологии в реальном мире, но и закладывает основу для ее вхождения в отраслевую практику.
С тех пор, Гу Ронгхуй в 2017 году основал CertiK, внедрив формальную верификацию в сценарии блокчейна. Сегодня эта технология широко применяется в таких ведущих проектах, как ZK, которые акцентируют внимание на конфиденциальности и безопасности, а также в крупных финансовых институтах, таких как Ant Group. Гу Ронгхуй в интервью заявил, что для повышения эффективности формальной верификации CertiK в настоящее время уже разработал такие вспомогательные инструменты, как AI интеллектуальный анализ, использующий автоматическое распознавание особенностей кода и генерацию логических доказательств.
В то время как он продвигает реализацию академических результатов, Гу Ронгхуэй также постоянно внимательно следит за новыми угрозами, с которыми сталкивается отрасль. Отвечая на опасения по поводу того, что «суперкомпьютеры или квантовые вычисления могут угрожать безопасности Блокчейн», он откровенно заявил, что такие технологии имеют потенциальные риски, но в настоящее время они все еще недостаточны для того, чтобы представлять собой реальную угрозу. «Возможности суперкомпьютеров все еще недостаточны, чтобы взломать существующие Блокчейн-системы», - считает Гу Ронгхуэй, - «более важно то, что отрасль активно разрабатывает алгоритмы, устойчивые к квантовым вычислениям, и механизмы защиты, наличие соответствующих решений возможно.»
AI Применение: Реструктуризация безопасности Web3
Гу Ронгхуэй в специальном интервью подчеркнул, что ИИ перестраивает безопасность Блокчейн, особенно в области аудита смарт-контрактов и идентификации угроз на цепочке, продемонстрировав огромный потенциал. "Правильное применение ИИ может принести существенное улучшение в систему безопасности Блокчейн."
Он также отметил, что исследования CertiK показывают, что методы злонамеренных действий в проектах Web3 становятся все более сложными, некоторые фишинговые проекты могут долго отслеживать пользователей и осуществлять целенаправленное мошенничество. Однако благодаря быстрой способности AI-моделей к распознаванию, такие атаки теперь часто могут быть выявлены и устранены в течение нескольких часов.
В настоящее время CertiK широко применяет ИИ в процессе поиска уязвимостей и аудита. Путем анализа данных предупреждений в блокчейне, он помогает выявлять причины уязвимостей и пути атак; одновременно используя технологии ИИ для сканирования известных моделей уязвимостей, анализа логики кода и генерации отчетов, создается интеллектуальная система аудита с основным акцентом на "сотрудничество человека и машины", предоставляя надежную математическую поддержку и повышение эффективности для команды ручного аудита.
Но с растущей популярностью приложений ИИ злоумышленники также могут использовать его для усиления своих атак. Гу Ронгхуэй считает, что это означает, что порог безопасности поднят, и отрасли необходимы более мощные решения в области безопасности.
Техническое видение: Расширение границ доверия Web3
Гу Ронгхуэй всегда считал, что следующий этап развития Web3 перейдет от "доступности" к "доверенности". Эффективность и инновации не являются конечной целью, ответственность и доверие — это основная ценность технической эволюции. Только внедрив проверяемые механизмы безопасности, Блокчейн сможет действительно стать надежной глобальной финансовой инфраструктурой.
Это именно та миссия, которую CertiK придерживается с момента своего создания — сосредоточиться на формальной верификации и создать систему безопасных продуктов, охватывающую весь жизненный цикл, включая инвестиционное инкубирование, безопасность аудита и консультации по соблюдению норм, чтобы предоставить проектам проверяемую безопасность и установить более высокие стандарты безопасности для отрасли.
Для Гу Ронгхэя это не только стратегический выбор компании, но и выбор в жизни. От учебы в Йельском университете до преподавания в Колумбийском университете, от академических исследований до практики предпринимательства, он всегда сосредоточен на том, чтобы преобразовать формальную верификацию из теории в практический фундамент, используя технологии для стимулирования доверия в отрасли.
Как профессор Колумбийского университета и генеральный директор CertiK, Го Жунхуй работает на пересечении академической и коммерческой сфер, но его цель всегда сосредоточена на защите безопасности Web3. Он упоминал, что его педагогическая философия основана на интеграции реальных инсайтов в академические дискуссии, с целью построения основы знаний и навыков для нового поколения в области кибербезопасности.
"Обеспечение безопасности Web3 – это не только технологический вызов, но и социальная ответственность." Гу Ронгхуэй неоднократно публично заявлял: "Наша цель – сделать эту отрасль более безопасной и более надежной."
Содержание носит исключительно справочный характер и не является предложением или офертой. Консультации по инвестициям, налогообложению или юридическим вопросам не предоставляются. Более подробную информацию о рисках см. в разделе «Дисклеймер».
Интервью CNBC с соучредителем CertiK Го Рунгхуэем: от Формальной верификации до AI-усиления, постоянное расширение границ доверия в Web3
Недавно сооснователь CertiK и профессор Колумбийского университета Гу Ронгхуэй дал эксклюзивное интервью арабскому каналу CNBC, в котором поделился своими глубокими мыслями о будущем безопасности Web3, касаясь таких тем, как применение формальной верификации в отрасли, роль ИИ в безопасности блокчейна и риски новых технологий.
Гу Ронгхуй заявил, что формальная верификация является ключом к созданию безопасной основы Блокчейн, поскольку она позволяет математическим методом проверять, соответствует ли поведение кода ожидаемой логике. Этот метод более строгий по сравнению с традиционными инструментами аудита и более сложный. Он неоднократно подчеркивал, что сущность Блокчейн заключается не только в технологических инновациях, но и в реконструкции доверия, а по-настоящему надежная система должна быть проверяемой.
Формальная верификация: построение безопасной базы Блокчейн
Формальная верификация как способ аудита с высокими требованиями и интенсивностью требует глубоких технических накоплений и понимания базовой логики. Гу Ронгхуэй в эксклюзивном интервью отметил, что хотя этот метод и сложен, он имеет незаменимые преимущества в обеспечении безопасности и контролируемости Блокчейн.
Его связь с формальной верификацией можно проследить еще во время учебы. В 2016 году он в сотрудничестве с профессором Йельского университета Шао Чжуном успешно разработал первое в мире полностью официально проверенное ядро многоядерной операционной системы CertiKOS, которое было оценено Google как неуязвимое. Это достижение не только верифицирует применение технологии в реальном мире, но и закладывает основу для ее вхождения в отраслевую практику.
С тех пор, Гу Ронгхуй в 2017 году основал CertiK, внедрив формальную верификацию в сценарии блокчейна. Сегодня эта технология широко применяется в таких ведущих проектах, как ZK, которые акцентируют внимание на конфиденциальности и безопасности, а также в крупных финансовых институтах, таких как Ant Group. Гу Ронгхуй в интервью заявил, что для повышения эффективности формальной верификации CertiK в настоящее время уже разработал такие вспомогательные инструменты, как AI интеллектуальный анализ, использующий автоматическое распознавание особенностей кода и генерацию логических доказательств.
В то время как он продвигает реализацию академических результатов, Гу Ронгхуэй также постоянно внимательно следит за новыми угрозами, с которыми сталкивается отрасль. Отвечая на опасения по поводу того, что «суперкомпьютеры или квантовые вычисления могут угрожать безопасности Блокчейн», он откровенно заявил, что такие технологии имеют потенциальные риски, но в настоящее время они все еще недостаточны для того, чтобы представлять собой реальную угрозу. «Возможности суперкомпьютеров все еще недостаточны, чтобы взломать существующие Блокчейн-системы», - считает Гу Ронгхуэй, - «более важно то, что отрасль активно разрабатывает алгоритмы, устойчивые к квантовым вычислениям, и механизмы защиты, наличие соответствующих решений возможно.»
AI Применение: Реструктуризация безопасности Web3
Гу Ронгхуэй в специальном интервью подчеркнул, что ИИ перестраивает безопасность Блокчейн, особенно в области аудита смарт-контрактов и идентификации угроз на цепочке, продемонстрировав огромный потенциал. "Правильное применение ИИ может принести существенное улучшение в систему безопасности Блокчейн."
Он также отметил, что исследования CertiK показывают, что методы злонамеренных действий в проектах Web3 становятся все более сложными, некоторые фишинговые проекты могут долго отслеживать пользователей и осуществлять целенаправленное мошенничество. Однако благодаря быстрой способности AI-моделей к распознаванию, такие атаки теперь часто могут быть выявлены и устранены в течение нескольких часов.
В настоящее время CertiK широко применяет ИИ в процессе поиска уязвимостей и аудита. Путем анализа данных предупреждений в блокчейне, он помогает выявлять причины уязвимостей и пути атак; одновременно используя технологии ИИ для сканирования известных моделей уязвимостей, анализа логики кода и генерации отчетов, создается интеллектуальная система аудита с основным акцентом на "сотрудничество человека и машины", предоставляя надежную математическую поддержку и повышение эффективности для команды ручного аудита.
Но с растущей популярностью приложений ИИ злоумышленники также могут использовать его для усиления своих атак. Гу Ронгхуэй считает, что это означает, что порог безопасности поднят, и отрасли необходимы более мощные решения в области безопасности.
Техническое видение: Расширение границ доверия Web3
Гу Ронгхуэй всегда считал, что следующий этап развития Web3 перейдет от "доступности" к "доверенности". Эффективность и инновации не являются конечной целью, ответственность и доверие — это основная ценность технической эволюции. Только внедрив проверяемые механизмы безопасности, Блокчейн сможет действительно стать надежной глобальной финансовой инфраструктурой.
Это именно та миссия, которую CertiK придерживается с момента своего создания — сосредоточиться на формальной верификации и создать систему безопасных продуктов, охватывающую весь жизненный цикл, включая инвестиционное инкубирование, безопасность аудита и консультации по соблюдению норм, чтобы предоставить проектам проверяемую безопасность и установить более высокие стандарты безопасности для отрасли.
Для Гу Ронгхэя это не только стратегический выбор компании, но и выбор в жизни. От учебы в Йельском университете до преподавания в Колумбийском университете, от академических исследований до практики предпринимательства, он всегда сосредоточен на том, чтобы преобразовать формальную верификацию из теории в практический фундамент, используя технологии для стимулирования доверия в отрасли.
Как профессор Колумбийского университета и генеральный директор CertiK, Го Жунхуй работает на пересечении академической и коммерческой сфер, но его цель всегда сосредоточена на защите безопасности Web3. Он упоминал, что его педагогическая философия основана на интеграции реальных инсайтов в академические дискуссии, с целью построения основы знаний и навыков для нового поколения в области кибербезопасности.
"Обеспечение безопасности Web3 – это не только технологический вызов, но и социальная ответственность." Гу Ронгхуэй неоднократно публично заявлял: "Наша цель – сделать эту отрасль более безопасной и более надежной."