慢雾 publicou o relatório de análise técnica do incidente de roubo de aproximadamente 2,19 milhões de dólares em ativos do Aztec Connect. O relatório aponta que o atacante utilizou uma vulnerabilidade na fronteira de liquidação do contrato Aztec Connect RollupProcessor, que foi descontinuado, para contornar a falha, criando uma inconsistência entre os estados L1 e L2 e roubando ativos do protocolo. A vulnerabilidade decorre de uma incompatibilidade na lógica de verificação de numRealTxs e decoded\_slots, permitindo que depósitos falsificados passem pela validação de prova ZK, mas não sejam corretamente reconhecidos na camada de liquidação L1.

AZTEC-2,86%
Ver original
Esta página pode conter conteúdo de terceiros, que é fornecido apenas para fins informativos (não para representações/garantias) e não deve ser considerada como um endosso de suas opiniões pela Gate nem como aconselhamento financeiro ou profissional. Consulte a Isenção de responsabilidade para obter detalhes.
  • Recompensa
  • 3
  • 1
  • Compartilhar
Comentário
Adicionar um comentário
Adicionar um comentário
DegenLibrarian
· 4h atrás
2,19 milhões de dólares, nem é muito nem é pouco, o ponto-chave é essa técnica de contornar limites — os atacantes claramente estudaram o gerenciamento do ciclo de vida do contrato, quando o projeto desativa contratos antigos, precisa limpar completamente as permissões.
Ver originalResponder0
GateUser-0fdb3438
· 6h atrás
Contratos abandonados ainda podem ser utilizados, o problema de inconsistência de estado entre L1 e L2 é realmente uma grande dificuldade nos protocolos de camada cruzada, a prova ZK foi feita, mas a camada de liquidação não reconhece, essa falha de design é bastante oculta.
Ver originalResponder0
GateUser-4e0e3bcf
· 6h atrás
A análise da Manmu nesta rodada foi muito detalhada, até mesmo a lógica de baixo nível de verificação de numRealTxs e decoded_slots que estavam desalinhados foi identificada, realmente é preciso procurar profissionais especializados para auditoria de segurança.
Ver originalResponder0
  • Fixado