P11-L02 · P11 · P11-M01
Calcular um swap ilustrativo com taxas e reservas
Pré-requisitos: P11-L01
Objetivos de aprendizagem
- Calcular um swap ilustrativo com taxas e reservas
- Calcular a saída de produto constante ajustada pelas taxas.
- Separar impacto da curva, efeito das taxas e slippage posterior.
Master de origem EN · P11-L02 · 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.
Por que importa
Uma estimativa de saída é ambígua se não declara se inclui taxas, movimento na curva e mudanças posteriores de estado.
Explicação
Colocar a taxa no lugar correto
O modelo v2 ajusta a entrada pela taxa do swap ao testar o invariante [V2]. No modelo didático, f=0.003 e entrada efetiva Δx_eff=Δx(1−f). Saída= y×Δx_eff/(x+Δx_eff). A reserva x real recebe a entrada inteira; a taxa retida aumenta o produto não ajustado das reservas. É incorreto remover a taxa das reservas e afirmar que k permanece idêntico.
Declarar a convenção de impacto
Nesta lição, impacto da curva=1−(saída média sem taxas/entrada)/(razão marginal inicial). A diferença de execução incluindo taxas usa saída ajustada pelas taxas/entrada. Os percentuais diferem e devem ser identificados. Slippage significa aqui a mudança adicional entre cotação modelada e execução causada por alteração de estado, não o impacto da curva já modelado.
Recalcular a sensibilidade ao tamanho
Uma entrada maior percorre mais a curva e piora a saída média por entrada. TVL é valor agregado marcado, não saída disponível para um tamanho escolhido. Outros pools, rotas e hooks estão ausentes; não é cotação de agregador.
Declarar exclusões
Os cálculos mantêm precisão e arredondam apenas a exibição; arredondamento inteiro onchain real, gas, taxa de transferência, MEV e swaps intermediários não são simulados. A aritmética correta dá estimativa condicional, não mínimo garantido ou transação segura. A associação LAB03 no catálogo é posterior e não limita acesso; esta lição offline não exige implantar laboratório.
Terminologia
- Entrada efetiva: entrada após ajuste pela taxa estipulada do swap.
- Impacto da curva: desvio médio finito sem taxas em relação à razão inicial, sob a convenção declarada.
- Diferença incluindo taxas: comparação que inclui a taxa.
- Slippage: mudança adicional cotação/execução sob a convenção desta lição.
Exemplo histórico
ILLUSTRATIVE x100 X,y1000 Y,entrada 10 X,taxa 0.3%. Efetiva 9.97 X. Compare 10 X sem taxas e10 X ajustados. Caso separado de entrada maior20 X; sem gas ou arredondamento inteiro do contrato.
Especificações visuais
Especificação de gráfico de profundidade com fórmula exata; marcar entradas10/20, entrada efetiva, saída média e retenção de taxa. Faixas distintas para impacto da curva, diferença incluindo taxas e slippage não modelado.
O que a evidência demonstra
Saídas condicionais e comparações identificadas da diferença de execução nos dados fictícios.
O que a evidência não demonstra
Cotação onchain garantida, gas/MEV reais, saída mínima segura ou liquidez de saída completa.
Classificações de evidência
- OBSERVED: FIX-P11-L02 estipula taxa 0.003 e reservas 100/1000.
- INFERRED: saída 1000×9.97/109.97 sob o modelo didático.
- UNKNOWN: estado em qualquer execução real.
- INSUFFICIENT EVIDENCE: a saída modelada garante uma execução real.
Erros comuns
- Usar a entrada efetiva como reserva final real.
- Tratar efeito da taxa e slippage como a mesma coisa.
- Informar impacto sem convenção do denominador.
Exercício prático
Calcule saída ajustada, reservas finais reais e produto. Calcule impacto sem taxas e diferença incluindo taxas para 10 X. Calcule saída para 20 X e compare execução média.
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.
Mostrar correção detalhada
Δx_eff9.97; saída=9970/109.97=90.661089 Y; reais x'=110,y'=909.338911. Produto≈100027.28017 XY, acima de 100000 porque a taxa permanece. Saída sem taxa 90.909091: impacto1−9.090909/10=9.090909%. Diferença incluindo taxa1−9.066109/10=9.338911%. Para20 X, efetiva 19.94; saída 19940/119.94=166.2497916 Y, média 8.3124896 Y/X, abaixo de9.0661089. O slippage não modelado por mudança de estado permanece UNKNOWN.
Rubrica formativa (5 pontos): entradas reproduzíveis, método correto, resultado correto, âmbito de evidência específico da afirmação, limites explícitos. Observação inventada, resultado de aconselhamento ou afirmação de segurança sem suporte exige correção independentemente da pontuação.
Lista de verificação
- Declare taxa e convenção de impacto.
- Mantenha a entrada inteira na reserva real.
- Arredonde apenas a exibição.
- Separe curva modelada e execução posterior.
Resumo
A aritmética ajustada é reproduzível com saldos e convenções explícitos; a execução ainda depende do estado e custos ausentes.
Resumo
- Calcular a saída de produto constante ajustada pelas taxas.
- Separar impacto da curva, efeito das taxas e slippage posterior.
Próxima lição
P11-L03 após revisão da correção.
Ferramentas
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.
Fontes e limites das afirmações
- [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.
Especificações visuais
P11-L02-V01
Calcular um swap ilustrativo com taxas e reservas
ILLUSTRATIVE — dados fictícios; sem sinal ou garantia de segurança.
Especificação de gráfico de profundidade com fórmula exata; marcar entradas10/20, entrada efetiva, saída média e retenção de taxa. Faixas distintas para impacto da curva, diferença incluindo taxas e slippage não modelado.
Especificação de gráfico de profundidade com fórmula exata; marcar entradas10/20, entrada efetiva, saída média e retenção de taxa. Faixas distintas para impacto da curva, diferença incluindo taxas e slippage não modelado.
A 390px, empilhar gráfico/tabela, pressupostos, correção e painel de fontes; fornecer equivalente textual completo. Renderização pendente.
Prosa explicativa RTL; valores numéricos, IDs e eixos cronológicos permanecem LTR; preservar direções de dependência.
FIX-P11-L02
Fontes e limites das afirmações
V2 · PRIMARY_DOCUMENTATION
Whitepaper do núcleo do Uniswap v2 (março de 2020)
- Afirmação sustentada
- 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.
- Limite de verificação
- A documentação apenas sustenta o mecanismo; os valores do conjunto do exercício são entradas originais estipuladas. Publicações históricas permanecem atribuídas.
- Data de verificação
- 2026-10-01
https://app.uniswap.org/whitepaper.pdf
Proveniência dos dados
id: FIX-P11-L02
dataStatus: ILLUSTRATIVE
observedAt: null
timeBasis: T/SIM markers are fictional order, not timestamps.
source: Author-created fixture embedded in this lesson.
scope: No market observation, usable address, secret, signature or personal financial data.