RespostasPublicado20 fontes
Como uma dívida de 2^128 virou zero no exploit da Notional Finance V1
Segundo os relatos, duas chamadas a mintfCashPair() criaram uma dívida fCash de 2^128, que uma conversão insegura para uint128 reduziu a zero na avaliação de garantia. Cerca de 69.257 DAI e 1.650.824 USDC teriam saído da escrow; os ativos foram trocados por aproximadamente 689,2 ETH e enviados ao Tornado Cash.
Publicado porEditado com GPT-5.6 TerraImagens geradas com GPT Image 2
Resposta de pesquisa
Principais conclusões
- Segundo os relatos, duas chamadas a mintfCashPair() criaram uma dívida fCash de 2^128, que uma conversão insegura para uint128 reduziu a zero na avaliação de garantia.
- Cerca de 69.257 DAI e 1.650.824 USDC teriam saído da escrow; os ativos foram trocados por aproximadamente 689,2 ETH e enviados ao Tornado Cash.
- O caso reforça que contratos DeFi legados continuam sendo um risco enquanto mantêm ativos ou participam de fluxos de emissão, liquidação, garantia e saque.
Prompt de IA
openai.comCreate a landscape editorial hero image for this Studio Global article: How did an attacker exploit an unsafe uint128 downcast/integer-overflow flaw in Notional Finance’s legacy Ethereum V1 escrow contract on Sep. Article summary: The reported exploit abused a legacy V1 accounting path: the attacker created an fCash liability at the `2^128` boundary, then an unsafe cast to `uint128` truncated that liability to zero during free-collateral valuation. Topic tags: general, general web, user generated, government, documentation. Style: premium digital editorial illustration, source-backed research mood, clean composition, high detail, modern web publication hero. Use reference image context only for broad subject, composition, and topical grounding; do not copy the exact image. Avoid: logos, brand marks, copyrighted characters, real person likenesses, fake screenshots, UI text, readable text,
O incidente reportado na Notional Finance não se parece com uma falta convencional de garantia. A falha alegada foi um desencontro na contabilidade: uma dívida enorme em fCash foi criada no limite de 2^128 e, ao ser convertida para uint128 durante o cálculo de garantia livre, teria sido reduzida a zero. Com o passivo registrado como zero justamente nessa etapa, a conta poderia parecer solvente e sacar ativos aos quais não deveria ter acesso. 4
16
A reconstrução pública se baseia em monitoramento on-chain e relatos de pesquisadores de segurança — não em um relatório técnico oficial da Notional. Isso é importante: a movimentação dos fundos é observável na blockchain, mas a sequência definitiva de chamadas, o impacto total e o status de uma eventual correção não haviam sido confirmados nas reportagens disponíveis. 3
4
A falha de contabilidade: uma dívida que passou a valer zero
A Notional V1 representava obrigações financeiras futuras por meio de fCash. Segundo o alerta público da CertiK, o atacante usou duas chamadas a mintfCashPair() para criar um passivo de -2^128. Na avaliação de garantia livre, uma conversão insegura para uint128 teria truncado esse valor para 0. 16
Na prática, o caminho descrito pelos pesquisadores foi o seguinte:
- Criar uma posição extrema de fCash negativo. O atacante gerou uma dívida no tamanho exato em que sua representação poderia ser descartada ao ser estreitada para um inteiro sem sinal de 128 bits.
4
16
- Acionar a avaliação de garantia. A contabilidade da escrow teria convertido a dívida por meio de um downcast inseguro para
uint128. - Fazer a dívida sumir na verificação. Em vez de refletir uma obrigação negativa gigantesca, o cálculo passou a tratá-la como zero.
6
- Passar pela barreira de saque. Sem a dívida no cálculo de garantia livre, a conta poderia aparentar cumprir os requisitos para retirar as stablecoins líquidas mantidas na escrow.
Por isso, o caso é mais bem entendido como uma falha de conversão para um tipo numérico menor e de invariantes contábeis, e não simplesmente como um “overflow de inteiros”. O efeito central relatado foi uma obrigação negativa virar zero exatamente no fluxo de avaliação que deveria bloquear um saque sem garantia suficiente. 4
16
O que teria sido retirado
Os relatos on-chain estimaram a perda em cerca de 69.257 DAI e 1.650.824 USDC, totalizando aproximadamente US$ 1,728 milhão. Os ativos teriam sido trocados por cerca de 689,2 ETH e depois depositados no Tornado Cash. 2
15
O contrato citado nas reportagens é a escrow da Notional Finance no endereço 0x9abd0b8868546105F6F48298eaDC1D9c82f7f683. Uma publicação apontou uma transação de preparação, feita por um endereço terminado em Ce38, às 23h58min47s UTC de 3 de setembro de 2026; aproximadamente três minutos depois, veio a transação de drenagem, já no início de 4 de setembro. 17
23
Investigadores associaram publicamente dois endereços Ethereum às transferências:
0xC954…De690xDaCC…Ce38
Esses rótulos representam uma associação investigativa baseada na blockchain — não identificam uma pessoa, organização ou controlador final. 11
Por que a rota via ETH dificultou a recuperação
A conversão reportada de DAI e USDC para ETH alterou o cenário de recuperação. As transferências das stablecoins eram diretamente rastreáveis na Ethereum; após a conversão, os recursos passaram a circular como ETH. Os depósitos no Tornado Cash acrescentaram então uma camada de privacidade projetada para ofuscar origem, destino e contrapartes das transações. 2
29
Isso não torna a análise de blockchain impossível, nem prova quem controlou um eventual saque posterior. Mas torna muito menos direto rastrear, ativo por ativo, o caminho entre a escrow explorada e um destinatário posterior quando os fundos entram em um mixer. 29
O que ainda não estava confirmado
No momento das reportagens, a Notional não havia divulgado uma resposta pública ao incidente. Entre as questões em aberto estavam:
- a causa técnica definitiva e o fluxo completo de chamadas do exploit;
- se as transações relatadas cobriam todos os contratos, contas e ativos afetados;
- a perda final, após swaps, taxas e eventuais transferências posteriores;
- as possibilidades de pausar, atualizar, compensar usuários ou recuperar ativos; e
- a identidade do atacante e se as carteiras rotuladas publicamente eram as únicas sob controle comum.
3
11
Assim, a causa relatada deve ser tratada como uma reconstrução preliminar sólida, mas não como substituta de uma análise pós-incidente auditada ou de um relatório oficial.
A lição para sistemas DeFi legados
Um contrato legado não se torna pouco arriscado só porque é antigo ou deixou de ser central no roteiro de um produto. Se ainda guarda ativos ou participa de fluxos de emissão, liquidação, garantia ou saque, continua sendo uma superfície ativa de ataque financeiro.
Para equipes de protocolo, a falha reportada na Notional V1 destaca controles que precisam ser validados em conjunto:
- usar conversões verificadas para tipos menores e rejeitar explicitamente valores que não possam ser representados com segurança;
- testar cálculos de dívida assinada, liquidação e garantia nos limites numéricos, como
2^128; - definir regras de solvência e conservação como invariantes e testá-las em sequências de múltiplas chamadas;
- revisar se caminhos privilegiados ou incomuns podem combinar emissão, liquidação e saque em uma ordem não prevista; e
- restringir chamadores e fluxos de chamada quando uma função só é segura no seu contexto originalmente planejado.
O padrão mais amplo é recorrente em DeFi: um defeito pequeno de representação numérica ou autorização pode se transformar em perda total quando alcança um fluxo de saque com ativos líquidos. A defesa não está apenas em auditar funções isoladas, mas em demonstrar que os invariantes contábeis do sistema permanecem válidos em todas as sequências de chamadas que podem ser executadas.
Studio Global AI
Continue sua pesquisa
Esta página inclui uma resposta baseada na fonte que você pode continuar em Studio Global.
As pessoas também perguntam
Qual é a resposta curta para "Como uma dívida de 2^128 virou zero no exploit da Notional Finance V1"?
Segundo os relatos, duas chamadas a mintfCashPair() criaram uma dívida fCash de 2^128, que uma conversão insegura para uint128 reduziu a zero na avaliação de garantia.
Quais são os pontos-chave para validar primeiro?
Segundo os relatos, duas chamadas a mintfCashPair() criaram uma dívida fCash de 2^128, que uma conversão insegura para uint128 reduziu a zero na avaliação de garantia. Cerca de 69.257 DAI e 1.650.824 USDC teriam saído da escrow; os ativos foram trocados por aproximadamente 689,2 ETH e enviados ao Tornado Cash.
O que devo fazer a seguir na prática?
O caso reforça que contratos DeFi legados continuam sendo um risco enquanto mantêm ativos ou participam de fluxos de emissão, liquidação, garantia e saque.