Entrevista da CNBC com o co-fundador da CertiK, Guo Ronghui: da verificação formal à capacitação por IA, expandindo continuamente as fronteiras da confiança no Web3
Recentemente, o cofundador da CertiK e professor da Universidade de Columbia, Gu Ronghui, deu uma entrevista ao canal árabe da CNBC, uma importante mídia financeira global, onde compartilhou suas profundas percepções sobre o futuro da segurança no Web3, abordando a aplicação da verificação formal na indústria, o papel da IA na segurança do blockchain e os riscos das novas tecnologias.
Gu Ronghui afirmou que a verificação formal é a chave para construir uma base de segurança para o blockchain, e sua função é verificar, através de métodos matemáticos, se o comportamento do código corresponde à lógica esperada. Este método é mais rigoroso do que as ferramentas de auditoria tradicionais e também é mais desafiador. Ele enfatizou várias vezes que a essência do blockchain não é apenas a inovação tecnológica, mas sim a reconstrução da confiança, e que um sistema verdadeiramente confiável deve ser verificável.
Verificação formal: construir a base de segurança do Blockchain
A verificação formal, como um método de auditoria de alto nível e alta intensidade, exige uma acumulação técnica profunda e uma compreensão da lógica subjacente. Gu Ronghui apontou em uma entrevista que, embora esse método seja complexo, ele possui vantagens insubstituíveis na garantia da segurança e controlabilidade do Blockchain.
A sua ligação com a Verificação formal remonta à sua fase de estudos. Em 2016, colaborou com o professor Shao Zhong da Universidade de Yale para desenvolver com sucesso o primeiro núcleo de sistema operativo multicore do mundo totalmente verificado formalmente, o CertiKOS, que foi avaliado pelo Google como inabalável (Unbreakable). Este resultado não só validou a aplicação dessa tecnologia no mundo real, como também estabeleceu uma base para a sua entrada na prática da indústria.
Após isso, Gu Ronghui fundou a CertiK em 2017, trazendo a Verificação formal para o cenário do Blockchain. Hoje, essa tecnologia já é amplamente utilizada em diversos projetos de destaque que focam em privacidade e segurança, como o ZK, além de grandes instituições financeiras como o Ant Group. Em uma entrevista, Gu Ronghui afirmou que, para melhorar a eficiência da Verificação formal, a CertiK já construiu internamente ferramentas auxiliares, como a análise inteligente de IA, que utilizam a identificação automática de características de código e geram evidências lógicas.
Enquanto promove a concretização de resultados académicos, Gu Ronghui também mantém uma estreita vigilância sobre as novas ameaças que o setor enfrenta. Em relação à preocupação de que "supercomputadores ou computação quântica possam ameaçar a segurança da Blockchain", ele admitiu que essas tecnologias têm riscos potenciais, mas que, neste estágio, ainda não são suficientes para constituir uma ameaça substancial. "A capacidade dos supercomputadores ainda não é suficiente para quebrar os atuais sistemas de Blockchain", Gu Ronghui acredita, "o mais importante é que o setor já está a construir ativamente algoritmos quânticos resistentes e mecanismos de defesa, sendo possível ter soluções relacionadas."
Aplicações de IA: Reestruturando o panorama de segurança do Web3
Gu Ronghui destacou em uma entrevista que a IA está reformulando o cenário de segurança do Blockchain, especialmente em auditoria de contratos inteligentes e identificação de ameaças on-chain, já demonstrando um grande potencial. "A aplicação correta da IA pode trazer melhorias substanciais ao sistema de segurança do Blockchain."
Ele acrescentou que a pesquisa da CertiK mostra que as táticas de comportamento malicioso em projetos Web3 estão se tornando cada vez mais complexas, e alguns projetos de phishing podem rastrear usuários por longos períodos e implementar fraudes precisas. No entanto, graças à capacidade de identificação rápida dos modelos de IA, esse tipo de ataque pode agora frequentemente ser identificado e tratado em questão de horas.
Atualmente, a CertiK aplicou amplamente a IA nos processos de escaneamento de vulnerabilidades e auditoria. Através da análise de dados de alerta na blockchain, auxilia na identificação das causas das vulnerabilidades e dos caminhos de ataque; ao mesmo tempo, utiliza tecnologia de IA para escaneamento de padrões de vulnerabilidades conhecidas, análise de lógica de código e geração de relatórios, construindo um sistema de auditoria inteligente com foco na "colaboração homem-máquina", fornecendo suporte matemático confiável e aumento de eficiência para as equipes de auditoria humana.
Mas com a crescente popularidade das aplicações de IA, os atacantes também podem usar isso para fortalecer seus métodos de ataque. Gu Ronghui acredita que isso significa que o limiar de resistência à segurança foi elevado, e a indústria precisa de soluções de segurança mais robustas.
Visão técnica: Expandir as fronteiras de confiança do Web3
Gu Ronghui acredita que a próxima fase do desenvolvimento do Web3 passará de "utilizável" para "confiável". A eficiência e a inovação não são o fim, mas a responsabilidade e a confiança são o valor central da evolução tecnológica. Apenas incorporando mecanismos de segurança verificáveis, o Blockchain poderá realmente se tornar uma infraestrutura financeira global de confiança.
Esta é precisamente a missão que a CertiK tem defendido desde a sua criação — ter a verificação formal como núcleo, criando um sistema de produtos de segurança que abrange todo o ciclo de vida, incluindo incubação de investimentos, auditoria de segurança e consultoria de conformidade, para fornecer segurança verificável aos projetos e estabelecer padrões de segurança mais elevados para a indústria.
Para Gu Ronghui, isso não é apenas uma estratégia empresarial, mas também uma escolha de vida. Desde os estudos em Yale até o ensino em Columbia, da pesquisa acadêmica à prática empresarial, ele sempre se concentrou em transformar a verificação formal de teoria em uma base prática, impulsionando a confiança na indústria através da tecnologia.
Como professor da Universidade de Columbia e CEO da CertiK, Gu Ronghui abrange os dois grandes domínios da academia e dos negócios, mas seu objetivo sempre se concentra na proteção da segurança da Web3. Ele mencionou que sua filosofia de ensino está enraizada na incorporação de percepções da realidade nas discussões acadêmicas, visando construir uma base de conhecimento e habilidades para a nova geração no campo da segurança cibernética.
“Garantir a segurança do Web3 não é apenas um desafio técnico, mas também uma responsabilidade social.” Gu Ronghui afirmou publicamente várias vezes, “o nosso objetivo é tornar esta indústria mais segura e também mais confiável.”
O conteúdo serve apenas de referência e não constitui uma solicitação ou oferta. Não é prestado qualquer aconselhamento em matéria de investimento, fiscal ou jurídica. Consulte a Declaração de exoneração de responsabilidade para obter mais informações sobre os riscos.
Entrevista da CNBC com o co-fundador da CertiK, Guo Ronghui: da verificação formal à capacitação por IA, expandindo continuamente as fronteiras da confiança no Web3
Recentemente, o cofundador da CertiK e professor da Universidade de Columbia, Gu Ronghui, deu uma entrevista ao canal árabe da CNBC, uma importante mídia financeira global, onde compartilhou suas profundas percepções sobre o futuro da segurança no Web3, abordando a aplicação da verificação formal na indústria, o papel da IA na segurança do blockchain e os riscos das novas tecnologias.
Gu Ronghui afirmou que a verificação formal é a chave para construir uma base de segurança para o blockchain, e sua função é verificar, através de métodos matemáticos, se o comportamento do código corresponde à lógica esperada. Este método é mais rigoroso do que as ferramentas de auditoria tradicionais e também é mais desafiador. Ele enfatizou várias vezes que a essência do blockchain não é apenas a inovação tecnológica, mas sim a reconstrução da confiança, e que um sistema verdadeiramente confiável deve ser verificável.
Verificação formal: construir a base de segurança do Blockchain
A verificação formal, como um método de auditoria de alto nível e alta intensidade, exige uma acumulação técnica profunda e uma compreensão da lógica subjacente. Gu Ronghui apontou em uma entrevista que, embora esse método seja complexo, ele possui vantagens insubstituíveis na garantia da segurança e controlabilidade do Blockchain.
A sua ligação com a Verificação formal remonta à sua fase de estudos. Em 2016, colaborou com o professor Shao Zhong da Universidade de Yale para desenvolver com sucesso o primeiro núcleo de sistema operativo multicore do mundo totalmente verificado formalmente, o CertiKOS, que foi avaliado pelo Google como inabalável (Unbreakable). Este resultado não só validou a aplicação dessa tecnologia no mundo real, como também estabeleceu uma base para a sua entrada na prática da indústria.
Após isso, Gu Ronghui fundou a CertiK em 2017, trazendo a Verificação formal para o cenário do Blockchain. Hoje, essa tecnologia já é amplamente utilizada em diversos projetos de destaque que focam em privacidade e segurança, como o ZK, além de grandes instituições financeiras como o Ant Group. Em uma entrevista, Gu Ronghui afirmou que, para melhorar a eficiência da Verificação formal, a CertiK já construiu internamente ferramentas auxiliares, como a análise inteligente de IA, que utilizam a identificação automática de características de código e geram evidências lógicas.
Enquanto promove a concretização de resultados académicos, Gu Ronghui também mantém uma estreita vigilância sobre as novas ameaças que o setor enfrenta. Em relação à preocupação de que "supercomputadores ou computação quântica possam ameaçar a segurança da Blockchain", ele admitiu que essas tecnologias têm riscos potenciais, mas que, neste estágio, ainda não são suficientes para constituir uma ameaça substancial. "A capacidade dos supercomputadores ainda não é suficiente para quebrar os atuais sistemas de Blockchain", Gu Ronghui acredita, "o mais importante é que o setor já está a construir ativamente algoritmos quânticos resistentes e mecanismos de defesa, sendo possível ter soluções relacionadas."
Aplicações de IA: Reestruturando o panorama de segurança do Web3
Gu Ronghui destacou em uma entrevista que a IA está reformulando o cenário de segurança do Blockchain, especialmente em auditoria de contratos inteligentes e identificação de ameaças on-chain, já demonstrando um grande potencial. "A aplicação correta da IA pode trazer melhorias substanciais ao sistema de segurança do Blockchain."
Ele acrescentou que a pesquisa da CertiK mostra que as táticas de comportamento malicioso em projetos Web3 estão se tornando cada vez mais complexas, e alguns projetos de phishing podem rastrear usuários por longos períodos e implementar fraudes precisas. No entanto, graças à capacidade de identificação rápida dos modelos de IA, esse tipo de ataque pode agora frequentemente ser identificado e tratado em questão de horas.
Atualmente, a CertiK aplicou amplamente a IA nos processos de escaneamento de vulnerabilidades e auditoria. Através da análise de dados de alerta na blockchain, auxilia na identificação das causas das vulnerabilidades e dos caminhos de ataque; ao mesmo tempo, utiliza tecnologia de IA para escaneamento de padrões de vulnerabilidades conhecidas, análise de lógica de código e geração de relatórios, construindo um sistema de auditoria inteligente com foco na "colaboração homem-máquina", fornecendo suporte matemático confiável e aumento de eficiência para as equipes de auditoria humana.
Mas com a crescente popularidade das aplicações de IA, os atacantes também podem usar isso para fortalecer seus métodos de ataque. Gu Ronghui acredita que isso significa que o limiar de resistência à segurança foi elevado, e a indústria precisa de soluções de segurança mais robustas.
Visão técnica: Expandir as fronteiras de confiança do Web3
Gu Ronghui acredita que a próxima fase do desenvolvimento do Web3 passará de "utilizável" para "confiável". A eficiência e a inovação não são o fim, mas a responsabilidade e a confiança são o valor central da evolução tecnológica. Apenas incorporando mecanismos de segurança verificáveis, o Blockchain poderá realmente se tornar uma infraestrutura financeira global de confiança.
Esta é precisamente a missão que a CertiK tem defendido desde a sua criação — ter a verificação formal como núcleo, criando um sistema de produtos de segurança que abrange todo o ciclo de vida, incluindo incubação de investimentos, auditoria de segurança e consultoria de conformidade, para fornecer segurança verificável aos projetos e estabelecer padrões de segurança mais elevados para a indústria.
Para Gu Ronghui, isso não é apenas uma estratégia empresarial, mas também uma escolha de vida. Desde os estudos em Yale até o ensino em Columbia, da pesquisa acadêmica à prática empresarial, ele sempre se concentrou em transformar a verificação formal de teoria em uma base prática, impulsionando a confiança na indústria através da tecnologia.
Como professor da Universidade de Columbia e CEO da CertiK, Gu Ronghui abrange os dois grandes domínios da academia e dos negócios, mas seu objetivo sempre se concentra na proteção da segurança da Web3. Ele mencionou que sua filosofia de ensino está enraizada na incorporação de percepções da realidade nas discussões acadêmicas, visando construir uma base de conhecimento e habilidades para a nova geração no campo da segurança cibernética.
“Garantir a segurança do Web3 não é apenas um desafio técnico, mas também uma responsabilidade social.” Gu Ronghui afirmou publicamente várias vezes, “o nosso objetivo é tornar esta indústria mais segura e também mais confiável.”