Notícias do CoinWorld, de acordo com a análise do BlockSec Phalcon, o contrato RollupProcessorV3 da Aztec Network foi alvo de um ataque, com perdas superiores a 2,15 milhões de dólares. A causa fundamental foi que numRealTxs não foi efetivamente vinculado ao conjunto de transações forçado pela prova zk, levando a uma discrepância entre o caminho de validação da prova e a lógica de liquidação no L1 na interpretação da lista de transações. O atacante explorou essa vulnerabilidade para mover depósitos reais para slots não processados pela lógica de liquidação, contornando a função decreasePendingDepositBalance(), criando de forma artificial saldos privados não garantidos e, posteriormente, retirando-os através do fluxo de liquidação normal, envolvendo sete tipos de ativos.

AZTEC4,53%
Ver original
Esta página pode conter conteúdos de terceiros, que são fornecidos apenas para fins informativos (sem representações/garantias) e não devem ser considerados como uma aprovação dos seus pontos de vista pela Gate, nem como aconselhamento financeiro ou profissional. Consulte a Declaração de exoneração de responsabilidade para obter mais informações.
  • Recompensa
  • 4
  • 2
  • Partilhar
Comentar
Adicionar um comentário
Adicionar um comentário
StillHereAfterTheRugPull
· 2h atrás
Depois de analisar os detalhes da vulnerabilidade, o atacante moveu os depósitos para uma «slot fantasma» e depois fez uma retirada normal, essa estratégia é bastante engenhosa, será que a auditoria conseguiria pensar nessa abordagem?
Ver originalResponder0
MildlyRugged
· 2h atrás
A sincronização do estado entre o circuito zk e o contrato L1 é realmente um problema eterno, desta vez a Aztec enfrentou dificuldades com a ligação de numRealTxs, e a complexidade do Rollup de privacidade mais uma vez nos ensinou uma lição.
Ver originalResponder0
SlippageSiren
· 2h atrás
2,15 milhões de dólares para uma lição, o setor de privacidade ainda precisa de mais alguns anos de aperfeiçoamento.
Ver originalResponder0
GlassDomeObservatory
· 2h atrás
numRealTxs não está fixo, provando que a validação da prova e a liquidação falam de coisas diferentes, um viés clássico de desvio de semântica entre camadas.
Ver originalResponder0
  • Fixado