Oráculos, composabilidad y riesgo de contrato

Máster fuente EN · P11-L07 · 30 minutos estimados · needs_review

Estudio formativo sin conexión. Sin conexión de cartera, fondos reales, claves privadas, firmas, operación en vivo ni entradas de cartera personal. Los recursos visuales son especificaciones; no es contenido de ejecución ni certificación.

Un contrato puede seguir exactamente su código mientras consume entradas obsoletas, incompatibles o económicamente frágiles.

Leer el significado del feed

Los feeds agregan entradas y publican actualizaciones; consumidores, proxy y agregador son dependencias separadas [ORACLE]. Registrar par de activos, red, decimales, hora de actualización, ronda y metodología de fuentes. Un número del feed no es valoración infalible; un proxy puede introducir dependencias de actualización del código.

Aplicar el control declarado del consumidor

El consumidor ficticio acepta edad≤60 segundos, exigiendo par y decimales correctos. En observaciónT1000, última actualizaciónT900 da edad100 y falla actualidad. Un heartbeat ficticio120 no sustituye la política de60 segundos del consumidor. Las actualizaciones reales pueden seguir condiciones de desviación y heartbeat y sufrir retraso de red; no son flujos continuos de ticks.

Separar precio spot del pool e historial de referencia

Una relación spot de reservas puede moverse mucho con un swap local. El libro blanco v2 trata observaciones acumuladas ponderadas por tiempo y compromiso actualidad/manipulación [V2]. Un TWAP es método muestreado, no prueba contra toda manipulación o mercado obsoleto. Varios feeds pueden compartir proveedores; redundancia aparente no implica independencia.

Rastrear propagación de fallos

La cadena original es activo envuelto→contrato de reembolso→oráculo→umbral de préstamo→pool de salida de liquidación. En cada enlace preguntar qué conversión o supuesto se utiliza. Un fallo de reembolso puede socavar el significado del oráculo aunque continúe actualizándose. Alcance, versión de código y fecha de auditoría importan; la auditoría no garantiza seguridad. El ejercicio sin conexión mapea condiciones, sin ataque ejecutable ni interacción de contrato.

• Actualidad: edad de la última observación dada respecto a política del consumidor.
• Heartbeat: intervalo activador de actualización, no flujo continuo.
• Composabilidad: salida de un componente se convierte en entrada de otro.
• TWAP: estimación de precio ponderada por tiempo con ventana declarada.

ILLUSTRATIVE consumidorT1000,feed actualizadoT900,heartbeat120,maxAge60 del consumidor,par correctoSIM-X/SIM-Y,decimales2. Respuesta bruta12345 significa123.45 Y/X. Ruta: wrappedX→redeemerR→feedF→lenderL→exitPoolE. Sin contratos ni marcas temporales reales.

Mapa de dependencias de familia de gráficos de billeteras, enlaces explícitamente técnicos sin atribución de identidad/financiación; panel de metadatos del feed, edad100>60, conversión de respuesta bruta y rama de reembolso fallido.

Fallo de actualidad, conversión decimal y ruta de dependencias estipulada de los datos.

Configuración real del feed, independencia de proveedores, reembolso, eficacia de auditoría o seguridad del protocolo.

• OBSERVED: FIX-P11-L07 da actualizaciónT900 y controlT1000.
• INFERRED: edad100 falla la regla dada de 60 segundos.
• UNKNOWN: independencia real de proveedores y capacidad de reembolso.
• INSUFFICIENT EVIDENCE: actualizaciones del oráculo o auditoría garantizan solvencia.

• Usar heartbeat como regla de aceptación del consumidor.
• Ignorar par o decimales.
• Suponer que auditoría cubre toda dependencia.

Calcular edad del feed y respuesta normalizada. Decidir aceptación según política dada. Mapear fallo de reembolso en la ruta y nombrar dos controles además de actualidad.

Entrega cálculos o anotaciones, tabla de afirmaciones/fuentes y límites. Distribución sugerida: estudio 12 minutos, ejercicio 8, corrección/cuestionario 10; estimación sujeta a calibración.

• Verificar par/red/unidades.
• Calcular edad según política del consumidor.
• Mapear dependencias compartidas anteriores.
• Conservar límites de auditoría y oráculo.

La evaluación de oráculo combina identidad, unidades, actualidad y dependencias económicas. Mecanismos componibles y auditorías siguen siendo pruebas limitadas.

• Mapear dependencias de oráculos y composabilidad.
• Identificar límites de datos obsoletos y precios locales.

P11-L08 después de revisar la corrección.

NONE en el catálogo autorizado. Los datos de ejercicio/paquete sin conexión facilitados bastan; no se requiere función de pago ni capacidad de producción sin verificar. Los metadatos de laboratorio/certificación indican asociaciones posteriores, no condiciones de acceso ni premios en vivo.

• [ORACLE] Chainlink — Resumen de feeds de datos — Agregación, dependencias de proxy y límites de marca temporal/desviación/heartbeat. Verificado el 2026-10-01; localizador turn12view3.
• [V2] Libro blanco del núcleo de Uniswap v2 (marzo de 2020) — Relación de reservas, producto constante e invariante con comisión de entrada; específico de versión, no una instantánea de despliegue en vivo. Verificado el 2026-10-01; localizador turn14view0.