A prova ZK foi feita, mas o L1 não reconheceu, de quem é essa culpa afinal?

慢雾 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.