Organizado por: Felix, PANews

Em 5 de Junho, o fundador da Zcash, Zooko Wilcox, revelou na plataforma X que o pesquisador de segurança Taylor Hornby descobriu uma falha de falsificação extremamente grave no pool de privacidade Orchard da Zcash em 29 de Maio. Teoricamente, essa falha permitiria que um atacante contornasse as restrições do sistema e cunhasse uma quantidade ilimitada de tokens ZEC falsificados. Devido às características criptográficas do pool de privacidade, esse ataque seria extremamente difícil de detectar por meios convencionais. Além disso, a falha existe desde que o Orchard foi ativado em Maio de 2022.

O Zcash Open Development Lab (ZODL) tomou conhecimento e respondeu de emergência, corrigindo a vulnerabilidade em 1 de Junho. Atualmente, a rede Zcash voltou a operar normalmente, e dados oficiais e on-chain mostram que os fundos dos usuários, dados de privacidade e o limite de fornecimento total de 21 milhões de moedas não foram substancialmente afetados.

Embora Zooko tenha enfatizado que a probabilidade de falsificação antes da correção da vulnerabilidade (mais de quatro anos) era baixa, o mercado parecia não ter dissipado as preocupações. Dados do Coingecko mostram que, após o anúncio da notícia, o preço do token ZEC despencou, caindo mais de 30% em 24 horas.

Utilizando IA para escrever programas que detectam vulnerabilidades

A descoberta desta vulnerabilidade utilizou as mais recentes técnicas de auditoria de segurança assistida por IA, bem como métodos tradicionais de pesquisa de segurança.

Em 28 de Mês, logo após a Anthropic lançar o modelo Opus 4.8, Taylor o utilizou para realizar uma auditoria altamente direcionada do circuito Orchard. Taylor usou o Opus 4.8 para escrever um exploit completo. Ao testá-lo em um ambiente regtest local, o programa foi capaz de gerar ZEC falsificado ilimitado e indetectável. Se ele executasse a mesma ferramenta na Mainnet do Zcash, ele geraria ZEC falsificado ilimitado e indetectável em sua carteira Zcash da Mainnet.

Esta vulnerabilidade está relacionada a um componente sub-restrito no circuito Orchard. Devido à sub-restrição deste componente, um atacante pode inserir valores de erro arbitrários na multiplicação da curva elíptica, e a verificação da multiplicação ainda passará.

O que torna isso particularmente complicado é que, devido às características de privacidade do Orchard e à natureza da própria vulnerabilidade, não é possível determinar apenas por meio de criptografia se tais explorações ocorreram antes da descoberta e correção da falha.

O ZEC foi emitido adicionalmente de forma maliciosa?

Os fundos dos usuários estão seguros? Houve alguma emissão adicional maliciosa? Esta é talvez a questão que mais preocupa o mercado. Zooko avalia que existem vários fatores que podem "provar" que não houve emissão adicional maliciosa.

Em primeiro lugar, a vulnerabilidade passou despercebida por muitos criptógrafos durante anos. Em segundo lugar, esta descoberta não foi acidental, mas sim o resultado de uma equipa que procurava ativamente por tais vulnerabilidades, que os atacantes normalmente "não" conheceriam. Além disso, Taylor utilizou as mais recentes ferramentas de IA disponíveis apenas para investigadores de segurança de chapéu branco, juntamente com um conjunto complexo de frameworks de IA personalizados e sistemas de prompt, e completou a tarefa antes dos atacantes. Após a descoberta da vulnerabilidade, o ecossistema ZODL e Zcash corrigiu-a rapidamente, encurtando a janela de tempo de exploração.

Portanto, antes que a vulnerabilidade fosse corrigida, poucas pessoas tiveram a capacidade e a oportunidade de descobri-la e explorá-la. Esta conclusão também é reconhecida por algumas pessoas.

O CEO da Helius, Mert, acredita que, embora não seja possível provar diretamente se a vulnerabilidade foi explorada no curto prazo, a existência de problemas de falsificação pode ser comprovada se o turnstile for ativado no futuro ou se houver uma migração para um novo pool de privacidade verificável. Além disso, o fato de a equipe da Zcash ter usado cada vez mais ferramentas avançadas e contratado empresas de segurança externas para se auditar aumentou a segurança em certa medida. A capacidade da Zcash de descobrir e corrigir a vulnerabilidade imediatamente é resultado de um trabalho contínuo de segurança e até mesmo uma notícia positiva.

Mas o cofundador da BitMEX, Arthur Hayes, tem uma opinião oposta e publicou um artigo afirmando que liquidou suas posições em ZEC. Hayes disse que, embora a possibilidade de cunhagem maliciosa seja extremamente baixa, não pode ser formalmente provada como impossível por métodos criptográficos. A alegação de proteger a privacidade contra IA, governos e grandes empresas de tecnologia exige perfeição, não uma probabilidade extremamente baixa . Ele também disse que, se as suposições posteriores forem refutadas, ele não descarta recomprar a um preço mais baixo.

Rede de lançamento proposta, "prova" inexistente de falsificação

Atualmente, o mercado tem opiniões divergentes sobre o incidente de vulnerabilidade do pool Orchard da Zcash. No entanto, para provar a integridade do fornecimento da Zcash, a Shielded Labs, uma organização de desenvolvimento central sem fins lucrativos focada no ecossistema Zcash, declarou que está cooperando com outros desenvolvedores da Zcash para explorar uma solução de atualização de rede que visa permitir que qualquer pessoa verifique a integridade do fornecimento da Zcash e "prove" que não existem Zcash forjados no pool Orchard. A solução envolve a implantação de um novo pool protegido e a aplicação de um mecanismo de "contabilidade de catraca" em todos os tokens no pool Orchard. Os detalhes da proposta serão divulgados na próxima semana.

Além disso, a Shielded Labs afirma que está a lançar um projeto destinado a verificar formalmente o circuito Orchard, tentando escrever provas matemáticas para "provar" que não existem vulnerabilidades não descobertas.

Se o Zcash conseguirá superar esta crise de vulnerabilidade, ainda não se sabe. No entanto, o processo de tratamento desta crise fornecerá uma referência importante para as práticas de segurança no campo da privacidade criptográfica.

Leitura relacionada: Variante: Bitcoin, Ethereum e ZCash são altamente prováveis de se tornarem os principais meios de armazenamento de valor