DEX, AMM e reservas do pool

Master de origem EN · P11-L01 · 30 minutos estimados · needs_review

Estudo formativo sem ligação à rede. Sem ligação de carteira, fundos reais, chaves privadas, assinaturas, operação em tempo real ou entradas de carteira pessoal. Os recursos visuais são especificações; não é conteúdo de execução nem certificação.

A razão exibida de um pool não é o preço médio disponível para um swap de tamanho arbitrário.

Identificar o mecanismo e a versão

Um formador automatizado de mercado (AMM) troca contra ativos reunidos em um pool, em vez de corresponder à ordem publicada por outro usuário [AMM]. Versões e projetos de pools diferentes exigem contabilidades diferentes. Esta lição usa um modelo sem fricção, de produto constante em toda a faixa, inspirado em v2; taxas, tokens tributados na transferência, liquidez concentrada e transações externas são excluídos.

Escrever as unidades das reservas

Seja x a reserva do ativoX e y a do ativoY. Sem taxas, x×y=k; adicionar Δx produz y=k/(x+Δx), portanto a saída Δy=y−k/(x+Δx). A razão marginal Y-per-X é y/x [V2]. Ela descreve uma pequena mudança local; a saída média por entrada de um swap finito difere porque as reservas mudam ao longo do percurso.

Examinar a transição de estado

Com x100 X,y1000 Y, k100000 X·Y. A entrada de10 X deixa x110, y909.0909 e saída de 90.9091 Y. A média 9.0909 Y/X fica abaixo da razão inicial 10; a razão após o swap 8.26446 Y/X é outro número. Identifique as três em vez de chamar todas de ‘preço’.

O mecanismo não garante segurança

Uma grande reserva ou TVL não autentica a possibilidade de retirada, o valor genuíno do token, as permissões do contrato ou a liquidez futura. A retirada de LP, as regras de transferência, a ordem de execução e o custo de rede podem mudar o resultado real. A documentação explica o modelo; os valores fictícios das reservas não são observados externamente. Nenhum swap ao vivo ou interação com carteira é necessário.

• Reserva: quantidade mantida pelo modelo para cada ativo.
• Invariante: regra que relaciona as reservas durante o swap modelado.
• Razão marginal: razão local das reservas com unidades.
• Execução média: saída total modelada dividida pela entrada.

ILLUSTRATIVE poolSIM-X/Y com x100 X,y1000 Y, taxa 0 e invariante100000 X·Y; entrada 10 X. Todos os valores são fictícios, com precisão didática ilimitada; nenhuma cadeia ou endereço de contrato.

Diagrama de reservas AMM/estrutura LP: antes 100 X/1000 Y, depois 110 X/909.0909 Y, saída 90.9091 Y; separar razões inicial, média e final. Nenhum selo de segurança por TVL.

A transição fictícia das reservas sem taxas e a distinção entre três descrições de preço.

Reservas reais, segurança, profundidade executável, avaliação real de um token ou parâmetros atuais do protocolo.

• OBSERVED: FIX-P11-L01 estipula reservas iniciais 100/1000.
• INFERRED: a saída 90.9091 Y decorre do invariante sem taxas.
• UNKNOWN: permissões e retiradas dos tokens de qualquer pool real.
• INSUFFICIENT EVIDENCE: conhecer o mecanismo prova que os ativos são seguros.

• Multiplicar a entrada pela razão inicial como saída exata.
• Aplicar as premissas de v2 a todos os AMM.
• Chamar o valor das reservas de liquidez de saída disponível.

Calcule k, novas reservas, saída, razão inicial, execução média e razão final. Identifique três exclusões que exigiriam novas entradas em uma afirmação real.

Entregue cálculos ou anotações, tabela de afirmações/fontes e limites. Distribuição sugerida: estudo 12 minutos, exercício 8, correção/questionário 10; estimativa sujeita a calibração.

• Identifique modelo e versão.
• Mantenha as unidades de reservas e preços.
• Separe marginal, médio e final.
• Declare as exclusões de segurança e execução.

A aritmética das reservas AMM explica um mecanismo de troca condicional; execução finita, razão marginal e segurança são questões separadas.

• Distinguir a razão marginal das reservas da execução de um swap de tamanho finito.
• Identificar a versão de AMM e as premissas representadas pelo modelo.

P11-L02 após revisão da correção.

NONE no catálogo autorizado. Os dados do exercício/pacote sem ligação à rede bastam; não exige função paga nem capacidade de produção não verificada. Metadados de laboratório/certificação indicam associações posteriores, não condições de acesso ou prémios em tempo real.

• [AMM] Uniswap — Como funciona — Pools trocam ativos a preços que respondem às reservas relativas; o escopo da versão importa. Verificado em 2026-10-01; localizador turn9view6.
• [V2] Whitepaper do núcleo do Uniswap v2 (março de 2020) — Razão das reservas, produto constante e invariante com taxa de entrada; específico da versão, não uma observação de implantação ao vivo. Verificado em 2026-10-01; localizador turn14view0.