Ganhos:
- Capacidade de compreender os blocos de construção DeFi, como AMM, pool de liquidez, oráculo e empréstimo instantâneo e usar inteligência artificial na explicação de mecanismos e elaboração de cenários
- Ser capaz de distinguir que a maioria dos riscos DeFi são vulnerabilidades econômicas/lógicas de negócios, não bugs de código, e que a inteligência artificial é fraca na vulnerabilidade econômica original
- Ser capaz de compreender que a segurança econômica se comprova pela simulação, não pelo pensamento, e que o vício em oráculo é o ponto mais frágil.
DeFi (Finanças Descentralizadas) é o domínio de maior valor e mais atacado da Web3. Exchanges, protocolos de empréstimo, pools de liquidez – todos funcionam como código e movimentam milhões de dólares num ambiente hostil. Nesta unidade, usaremos IA como assistente de análise de protocolo; Aprenderemos a compreender a liquidez, os preços, o MEV e os ataques económicos e onde a IA é útil e inadequada nesta área contextual.
Blocos de construção básicos do DeFi
- AMM (Formador de Mercado Automatizado): Um mecanismo de troca que define preços por meio de uma fórmula (por exemplo, x·y=k) em vez de combinar compradores e vendedores.
- Pool de liquidez: um fundo comum onde os usuários depositam tokens e ocorrem negociações.
- Protocolo de empréstimo: Empréstimo contra garantia; A liquidação ocorre quando o valor da garantia diminui.
- Oracle: A fonte de dados que traz o preço mundial externo para o protocolo – a dependência mais crítica e mais frágil do DeFi.
- Empréstimo instantâneo: empréstimo contraído sem garantia em uma única transação e devolvido na mesma transação; Possui usos legítimos e uma ferramenta de ataque.
MEV e ataques econômicos
MEV (Maximal Extractable Value — o valor extraído pela autoridade para ordenar/adicionar/remover transações) é uma classe de risco específica para DeFi. As transações pendentes aparecem no pool público (mempool); Essa visibilidade abre a porta para os seguintes ataques:
- Front-running: Ver uma transação lucrativa e inserir a própria transação na frente dela.
- Ataque sanduíche: Realizar transações antes e depois da compra da vítima e lucrar com a diferença de preço.
- Manipulação do Oracle: Enganar o protocolo alterando instantaneamente o preço de um pool, geralmente com um empréstimo instantâneo.
Esses ataques não surgem do “bug” do código, mas da explorabilidade do desenho econômico. É aqui que a IA tem mais dificuldade: a IA que é boa na leitura de códigos técnicos muitas vezes não consegue detectar uma vulnerabilidade económica específica do protocolo.
Atenção: A maioria das vulnerabilidades DeFi não são “bugs de código”, mas vulnerabilidades de lógica econômica/de negócios. A varredura de código padrão da IA não percebe isso; Este é o campo que requer mais experiência humana, simulação e modelagem.
O papel da IA na análise DeFi
1. Descrição do mecanismo. A IA é poderosa para explicar em linguagem simples como funciona um protocolo complexo (por exemplo, um AMM baseado em curva). Isso fornece entrada rápida na análise.
2. Geração de cenário/contra-hipótese. “A que movimento de preços este protocolo de dívida entrará numa crise de liquidação?” A IA produz rascunhos de cenários com questões como; estes são testados por simulação.
3. Lembrar padrões de ataque conhecidos. A IA evoca os padrões de ataques DeFi anteriores (manipulação de oráculos, reentrada, espiral de liquidação) como uma lista de verificação.
4. Rascunho do plano de simulação. A IA pode elaborar um plano para quais cenários testar; mas a simulação em si é feita com a ferramenta (Foundry, Tenderly).
Alerta fraco / Alerta forte
Alerta fraco:
Este protocolo DeFi é seguro?
Alerta poderoso:
Sua função: analista de protocolo DeFi. Examine o mecanismo do protocolo abaixo. Consideremos os seguintes vetores de ataque económico, um por um: manipulação de oráculos (com empréstimo instantâneo), sanduíche/front-running, espiral de liquidação, efeito de retirada de liquidez. Para cada vetor: como acionar, qual condição é necessária, possível impacto. Estas são as hipóteses a serem testadas POR SIMULAÇÃO; Não diga "seguro/inseguro" com certeza. GERAR código de ataque real; Descreva o risco apenas para fins defensivos.
Quatro modelos copiáveis
1) Descrição do mecanismo:
Explique em linguagem simples, passo a passo, o mecanismo de precificação/liquidez deste protocolo: o que acontece quando um usuário faz uma transação, como é determinado o preço, quais dependências externas existem? Marque a parte que você não entende ou deixe obscura.
2) Superfície de ataque econômico:
Mapeie a superfície de ataque económico deste protocolo: que pressupostos podem ser explorados em oráculo, liquidez, garantias, liquidação, governação? Escreva cada risco com uma condição (“e se”). Apresente-o como uma hipótese a ser confirmada por simulação.
3) Cenário de estresse:
Considere os seguintes cenários: se o token colateral cair 50%, se o preço do oráculo se desviar 30% momentaneamente, se 80% da liquidez for retirada, qual será o protocolo? Anote o efeito indireto de cada cenário. Não reivindique precisão numérica; Especifique que a simulação é necessária.
4) Correspondência de padrão de ataque histórico:
O design deste protocolo suporta condições semelhantes a quais dos padrões de ataque DeFi conhecidos (por exemplo, oráculo de fonte única, preço de abertura de empréstimo instantâneo)? Apontar semelhanças para fins defensivos; Não dê o passo de exploração, isso apenas produzirá um ponto de atenção.
Três mini cases (em números)
Caso 1 — Risco Oracle detectado precocemente. Uma equipe estava projetando um novo protocolo de dívida. Durante a explicação do mecanismo, YZ marcou a hipótese de que “o preço é retirado de um único pool e pode ser manipulado com empréstimos instantâneos”. A equipe confirmou isso na simulação e mudou para TWAP + multi-sourcing. Perda estimada evitada: todo o valor bloqueado do protocolo. Lição: A IA é valiosa para evocar padrões conhecidos.
Caso 2 — A IA não percebeu a vulnerabilidade original. Num outro protocolo, a vulnerabilidade era um erro económico único resultante da interação de dois mecanismos (recompensa + liquidação). A IA considerou cada mecanismo “perfeito”, um por um; Não foi possível ver a interação. Modelador humano e simulação capturados. Lição: embora os componentes estejam certos, a economia do todo é o ponto cego da IA.
Caso 3 — O plano de simulação economizou tempo. Um analista elaborou 15 cenários de estresse diferentes na IA, em vez de planejá-los manualmente; então executei na Foundry. O planejamento caiu de 1 dia para 2 horas; mas a interpretação dos resultados e a decisão foram do homem. Lição: Planos de IA, medidas de veículos, decisões humanas.
A indispensabilidade da simulação
No DeFi, a segurança não é comprovada pelo “pensamento”; É testado por simulação. A robustez econômica de um protocolo pode ser compreendida executando numericamente diferentes cenários de preço, liquidez e ataque. A IA pode planejar e redigir o código dessas simulações; mas são as ferramentas e as pessoas que produzem e interpretam os resultados. A afirmação “provavelmente durável” produzida pela IA não é um resultado de simulação e não pode ser apresentada como tal.
Dica: Ao receber uma avaliação de risco DeFi da IA, você deve perguntar a cada hipótese “com qual simulação devo testar isso?” Transforme isso em uma pergunta. Uma afirmação de segurança que não pode ser testada não é uma garantia no DeFi.
Erros comuns
- Analisando o déficit econômico como um bug de código. Os riscos DeFi estão principalmente na lógica de negócios.
- Confiar na IA para dizer “seguro” e pular a simulação. O teste é necessário.
- Validando componentes um por um e ignorando a interação. A economia como um todo é crítica.
- Confiando na Oracle de uma única fonte. O desastre DeFi mais comum.
- Ignorando MEV/front running. Esquecendo o fato do mempool público.
- Gerando código de exploração. Somente a análise defensiva é legítima.
Em resumo
- DeFi é um espaço hostil e de alto valor; Os riscos estão principalmente na lógica económica/empresarial.
- MEV, front-running, sanduíche e manipulação de oráculos são classes de ataques específicas para DeFi.
- A IA é forte na explicação de mecanismos e na elaboração de cenários; O défice económico original é fraco.
- A segurança económica é comprovada pela simulação, não pelo pensamento; Planos de IA, medidas de veículos.
- A dependência do Oracle é o ponto mais vulnerável do DeFi; múltiplos recursos e TWAP necessários.
Tarefa de aplicativo
Escolha um AMM ou protocolo de empréstimo (com documentação clara). Aplique os prompts de “descrição do mecanismo” e “superfície de ataque econômico” à IA. Para cada hipótese de risco que a IA produz, “com qual simulação eu testaria isso?” Responda à pergunta. Em seguida, encontre o relatório de auditoria real desse protocolo e compare as descobertas reais com os riscos sinalizados pela IA: O que a IA capturou, o que perdeu?
lista de verificação
- [ ] Discuti os riscos em duas dimensões: código + economia.
- [] Avaliei MEV/front-running.
- [] Também examinei a dependência do Oracle.
- [ ] Questionei a interação dos componentes (toda a economia).
- [ ] Conectei cada hipótese a um plano de simulação.
- [] Substituí o "seguro" da IA por simulação.
- [ ] Analisei apenas para fins defensivos.