Um pesquisador de segurança descobriu uma vulnerabilidade crítica no pool de transações Orchard da Zcash que poderia ser explorada para criar uma quantidade "ilimitada" de tokens falsificados dentro do pool.

A Shielded Labs, uma organização independente de suporte à Zcash, publicou as descobertas na plataforma de mídia social X na quinta-feira. A organização afirmou ter contratado o engenheiro de segurança Taylor Hornby para conduzir uma revisão do protocolo em abril.

O anúncio coincidiu com um declínio acentuado no preço da Zcash (ZEC). O preço caiu 31% nas últimas 24 horas, para US$ 409,64 às 23:00 ET de quinta-feira, de acordo com a página de preços ZEC do The Block. Grande parte da queda ocorreu nas cinco horas seguintes à publicação da notícia.

Hornby, um colaborador de longa data do ecossistema Zcash, avaliou o protocolo usando técnicas de pesquisa de segurança tradicionais e assistidas por IA para identificar vulnerabilidades antes que pudessem ser exploradas por agentes maliciosos, de acordo com a publicação.

Em 29 de maio, Hornby descobriu a vulnerabilidade do circuito Orchard usando o recém-lançado modelo Opus 4.8 da Anthropic e imediatamente compartilhou as descobertas com os engenheiros do Zcash Open Development Lab (ZODL).

O pool Orchard é o pool de transações blindadas da Zcash, permitindo que os usuários enviem e recebam ZEC com privacidade total de conhecimento zero. O circuito Orchard é um sistema de prova de conhecimento zero que garante que apenas transações válidas sejam aceitas no pool.

“A vulnerabilidade era real e explorável”, escreveu a Shielded Labs. “Taylor, com a ajuda do Opus 4.8, escreveu um exploit completo que, ao ser testado em um ambiente regtest local, gerou ZEC falsificados ilimitados e indetectáveis.”

A publicação explicou que a vulnerabilidade decorria de um elemento “sub-restrito” do circuito Orchard, o que possibilitava inserir entradas falsas arbitrárias em uma multiplicação de curva elíptica e ainda ter a aprovação.

Embora a vulnerabilidade tenha sido corrigida em 1º de junho, ela estava presente desde a ativação do Orchard em maio de 2022, disse a Shielded Labs.

Exploração real improvável

A Shielded Labs escreveu em sua publicação que as propriedades de privacidade do Orchard e a natureza da vulnerabilidade tornam difícil saber se o pool havia sido explorado antes da descoberta da falha.

Apesar da incerteza, a Shielded Labs disse que a equipe não está “excessivamente preocupada” com a possibilidade de falsificações terem ocorrido antes da correção do bug, já que a vulnerabilidade passou despercebida por muitos anos, mesmo sob o escrutínio dos melhores criptógrafos do mundo. 

“A descoberta não foi acidental — foi o resultado de um esforço deliberado para identificar vulnerabilidades desse tipo antes que atores maliciosos pudessem”, afirmou a publicação. “[Hornby] usou as ferramentas de IA mais recentes, disponíveis apenas para pesquisadores de segurança white-hat, juntamente com um sofisticado sistema e prompts de IA personalizados, e trabalhou duro para superar os atacantes. Achamos que ele provavelmente teve sucesso.”

Embora a Shielded Labs tenha afirmado que a exploração real desta vulnerabilidade é improvável, sua equipe está explorando uma proposta de atualização de rede para permitir que qualquer pessoa verifique a integridade do fornecimento de Zcash e prove que não há Zcash falsificado no pool Orchard. A proposta também implementaria um novo pool blindado e imporia a contabilidade de catraca em todas as moedas no pool Orchard.

“Esta foi uma vulnerabilidade séria, e acreditamos que é importante ser transparente sobre o que ela significa para os usuários do Zcash”, disse a publicação. “Embora ninguém queira descobrir uma vulnerabilidade como esta, estamos confiantes de que o Zcash está bem posicionado para se recuperar.”