Oráculos, composabilidade e risco de contrato

Master de origem EN · P11-L07 · 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.

Um contrato pode seguir exatamente seu código enquanto consome entradas desatualizadas, incompatíveis ou economicamente frágeis.

Ler o significado do feed

Feeds agregam entradas e publicam atualizações; consumidores, proxy e agregador são dependências separadas [ORACLE]. Registre par de ativos, rede, decimais, hora de atualização, rodada e metodologia das fontes. Um número do feed não é avaliação infalível; um proxy pode introduzir dependências de atualização de código.

Aplicar a verificação declarada do consumidor

O consumidor fictício aceita idade≤60 segundos, exigindo par e decimais corretos. Na observaçãoT1000, última atualizaçãoT900 dá idade100 e falha na atualidade. Um heartbeat fictício120 não substitui a política de60 segundos do consumidor. Atualizações reais podem seguir condições de desvio e heartbeat e enfrentar atraso de rede; não são fluxos contínuos de ticks.

Separar preço spot do pool e histórico de referência

Uma razão spot das reservas pode mudar fortemente com um swap local. O whitepaper v2 trata observações acumuladas ponderadas pelo tempo e compromisso atualidade/manipulação [V2]. TWAP é método amostrado, não prova contra toda manipulação ou mercado desatualizado. Vários feeds podem compartilhar fornecedores; redundância aparente não implica independência.

Rastrear propagação de falhas

A cadeia original é ativo encapsulado→contrato de resgate→oráculo→limite de empréstimo→pool de saída de liquidação. Em cada ligação pergunte qual conversão ou premissa é usada. Falha de resgate pode prejudicar o significado do oráculo mesmo com atualizações contínuas. Escopo, versão de código e data da auditoria importam; auditoria não garante segurança. O exercício offline mapeia condições, sem ataque executável ou interação de contrato.

• Atualidade: idade da última observação fornecida frente à política do consumidor.
• Heartbeat: intervalo de gatilho de atualização, não fluxo contínuo.
• Composabilidade: saída de um componente torna-se entrada de outro.
• TWAP: estimativa de preço ponderada pelo tempo com janela declarada.

ILLUSTRATIVE consumidorT1000,feed atualizadoT900,heartbeat120,maxAge60 do consumidor,par corretoSIM-X/SIM-Y,decimais2. Resposta bruta12345 significa123.45 Y/X. Rota: wrappedX→redeemerR→feedF→lenderL→exitPoolE. Sem contratos ou horários reais.

Mapa de dependências da família de grafos de carteiras, ligações explicitamente técnicas sem atribuição de identidade/financiamento; painel de metadados do feed, idade100>60, conversão da resposta bruta e ramo de resgate falho.

Falha de atualidade, conversão decimal e rota de dependências estipulada dos dados.

Configuração real do feed, independência dos fornecedores, resgate, eficácia da auditoria ou segurança do protocolo.

• OBSERVED: FIX-P11-L07 dá atualizaçãoT900 e verificaçãoT1000.
• INFERRED: idade100 falha na regra fornecida de 60 segundos.
• UNKNOWN: independência real dos fornecedores e capacidade de resgate.
• INSUFFICIENT EVIDENCE: atualizações de oráculo ou auditoria garantem solvência.

• Usar heartbeat como regra de aceitação do consumidor.
• Ignorar par ou decimais.
• Supor que auditoria cobre toda dependência.

Calcule idade do feed e resposta normalizada. Decida aceitação pela política fornecida. Mapeie falha de resgate na rota e identifique duas verificações além da atualidade.

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.

• Verifique par/rede/unidades.
• Calcule idade frente à política do consumidor.
• Mapeie dependências anteriores compartilhadas.
• Preserve limites de auditoria e oráculo.

A avaliação de oráculo combina identidade, unidades, atualidade e dependências econômicas. Mecanismos componíveis e auditorias permanecem provas limitadas.

• Mapear dependências de oráculos e composabilidade.
• Identificar limites de dados desatualizados e preços locais.

P11-L08 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.

• [ORACLE] Chainlink — Visão geral dos feeds de dados — Agregação, dependências de proxy e limites de horário/desvio/heartbeat. Verificado em 2026-10-01; localizador turn12view3.
• [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.