Pasé un tiempo mirando por qué el acuerdo entre varios operadores @NewtonProtocol aún puede producir el valor externo incorrecto.
Al principio, el consenso de la mediana parecía la protección natural.
Si un operador informa un precio inusual mientras los otros devuelven valores similares, la mediana reduce la influencia de ese valor atípico.
Pero esa protección funciona mejor cuando los operadores fallan de forma independiente.
El caso más difícil parece surgir cuando varios operadores están de acuerdo porque se basan en la misma fuente upstream.
Imagina cinco operadores de Newton ejecutando infraestructuras separadas. Sus solicitudes al oráculo parecen independientes, pero cada solicitud finalmente se resuelve en un proveedor que depende de la misma fuente subyacente de precios.
Ese flujo se queda atrás durante un movimiento rápido del mercado. El activo ya se está negociando cerca de $80, mientras que la fuente compartida aún informa valores cercanos a $100.
Como los operadores consultan en momentos ligeramente distintos, sus respuestas no son idénticas. Uno devuelve 99.8, otro informa 100.1, y los valores restantes se mantienen cerca del mismo rango.
La dispersión se ve saludable. Cada respuesta puede permanecer dentro de la tolerancia configurada. La mediana es estable y la política recibe un precio canónico que parece respaldado por varios operadores.
También está mal.
Esta es la diferencia que importa:
la diversidad de operadores no crea automáticamente diversidad de fuentes.
Una mediana le dice al sistema dónde se agrupan los valores reportados. Puede limitar valores atípicos aislados y suavizar diferencias ordinarias causadas por la latencia o el momento de actualización.
No revela si esos valores provienen de observaciones independientes o de un mismo error compartido repetido en varias máquinas.
Eso hace que el fallo correlacionado sea más peligroso que el desacuerdo visible.
Un error aislado crea fricción.
Un error ascendente compartido crea confianza.
El resto de la ruta de ejecución de Newton aún puede comportarse correctamente. Los operadores pueden evaluar la política prevista frente a la entrada canónica y firmar el mismo resultado. La atestación resultante puede seguir siendo coherente con esa entrada, y el validador de la aplicación puede aceptarla antes de la ejecución.
Entonces, una solicitud de préstamo puede aprobar un retiro porque el valor de garantía reportado permanece por encima del umbral requerido, aunque el precio real del mercado debería haber causado que la política lo rechazara.
Ningún operador necesita actuar con deshonestidad.
El fallo comienza debajo del conjunto de operadores.
Por eso no basta con contar operadores. Puntos finales separados pueden compartir una misma caché. Diferentes proveedores de datos pueden licenciar el mismo flujo de un intercambio. Máquinas independientes pueden ejecutar el mismo código de oráculo contra un mismo proveedor.
Por lo tanto, la red puede parecer descentralizada en la capa del operador mientras sigue concentrada en la capa de datos.
Reducir ese riesgo requiere controles antes de que comience la agregación.
Las políticas pueden necesitar límites estrictos de frescura y marcas de tiempo vinculadas a la solicitud. Los diseños de oráculos pueden necesitar familias de fuentes genuinamente independientes, en lugar de varias interfaces para los mismos datos. La capa de coordinación también puede necesitar fallar de forma cerrada cuando no pueda establecer suficiente separación entre los valores reportados y sus orígenes.
Pero es difícil probar la independencia.
Dos proveedores pueden parecer no relacionados mientras dependen del mismo centro de mercado. Un punto final de respaldo puede compartir infraestructura con el principal. Una mediana limpia puede ocultar esas relaciones porque la agregación ve los valores, no la cadena completa de dependencia que hay detrás de ellos.
El consenso por mediana de Newton puede reducir el desacuerdo ordinario entre operadores.
Su límite aparece cuando el acuerdo refleja un punto ciego compartido en lugar de evidencia independiente.
La pregunta importante no es solo cuántos operadores devolvieron la misma respuesta.
La cuestión es si Newton puede determinar cuántos caminos realmente independientes hacia la realidad produjeron esa respuesta.
@NewtonProtocol #Newt $BEAT $DEXE $NEWT
