Descompilé el script de redención de la bóveda buscando una trampilla de escape. No la había. Solo un opcode OP_CHECKSEQUENCEVERIFY y una altura de bloque que llegará esté o no listo. Sin anulación por multisig. Sin clave de administrador. Sin liberación anticipada activada por un oráculo.
Cuando haces clic en Desinvertir (Unstake), no estás pidiendo permiso. Estás encendiendo una mecha que quema exactamente al ritmo de la producción de bloques de Bitcoin, y nada en la Tierra puede hacer que queme más rápido.
El problema es que el mercado no se detiene mientras la mecha se consume. Seis días después, en un periodo de desanclaje de siete días, el gráfico imprimió una vela roja del 12% y yo no podía moverme. No porque me congelara. Porque el script de la bóveda ya había bloqueado mi salida a un timestamp que todavía no había llegado. El rendimiento que gané no fue interés. Fue una prima que cobré por vender mi derecho a entrar en pánico.
Cada punto básico de ese rendimiento se valoró en función de la probabilidad de que yo necesitara liquidez antes de que expirara el timelock y no tuviera forma de conseguirla.
La sala de chat de esa noche no estaba hablando de precios de entrada. Estaba llena de gente mirando cómo sus propios temporizadores bajaban, intercambiando capturas de pantalla de exploradores de bloques como si fueran revistas de la sala de espera de un hospital.
La bóveda asegura tu Bitcoin. El timelock asegura el protocolo.
El grupo de chat asegura la parte de ti que puede mirar un cuchillo cayendo y no agarrarlo antes de que termine la cuenta atrás. No aprendí eso del whitepaper. Lo aprendí de un desconocido que escribió "respira, el bloque 847,032 llega de todos modos" en un chat al que casi no me uní.
El script de redención es transparente. La redención emocional al otro lado del timelock no lo es.
No busqué la palabra "confianza" en el whitepaper. Busqué la salida de emergencia, la anulación humana, la línea de código que pausa la ejecución cuando alguien se da cuenta de que ha cometido un error. No está ahí.
El esquema EOTS es un espejo sin piedad. Firmé un bloque con honestidad y luego firmé uno contradictorio solo para ver cómo funciona la matemática. La segunda firma abrió la primera y derramó la clave privada en la cadena como una confesión que no sabías que estabas escribiendo. Sin juez. Sin votación. Solo la curva haciendo lo que hacen las curvas.
Babylon no construyó un mecanismo de castigo. Construyó una máquina de autorretrato. Cada validador que firma correctamente deja detrás no una prueba de honestidad, sino la ausencia de autodestrucción. Tu clave permanece secreta solo mientras sigas alineado con la verdad que firmaste primero.
Esa es la inversión que el mercado todavía no sabe cómo valorar. Otras cadenas te piden que confíes en un comité. Babylon te pide que sobrevivas a la versión de ti mismo que podría romperse ante una vela roja y enviar. La única vulnerabilidad que queda no es criptográfica. Es el momento en que dejas de creer que el espejo resistirá, y te conviertes en el mismo atacante que el protocolo fue diseñado para exponer.
El chat de voz de la comunidad no asegura la red. Asegura la pausa entre el impulso y la acción. El vault guarda tu Bitcoin. La matemática sostiene a los validadores. El chat de grupo sostiene la versión de ti que todavía está dispuesta a enfrentarse al espejo mañana. No sé si Babylon gana. Sé que no pide confianza. Pide resistencia, y la resistencia es el único alfa que no se puede cultivar.
Busqué la palabra "trust" en el whitepaper de Babylon cuatro veces. La encontré exactamente cero.
Ese número no me dejaba dormir. No porque falte la confianza en el protocolo. Porque ha sido reemplazada por algo que no estaba preparado para nombrar.
Rastreé el esquema de firmas EOTS contra un proveedor de finalización de una testnet que corrompí a propósito. Firma una vez, honestamente, y la clave se mantiene oculta. Firma dos veces en bloques en conflicto, y las matemáticas publican tu clave privada en la red. Sin tribunal. Sin votación de gobernanza. El castigo no necesita un juez porque la mentira lleva a su propio verdugo.
Ejecuté la simulación esperando encontrar un umbral, un período de gracia, una anulación humana. No existe. La economía es lo que me atrapó.
Un validador que firma doble pierde el stake bloqueado más el BTC slashed. Pero ese es el costo de fallar el ataque. El costo de lanzarlo es tener que adelantarse al timestamp de Bitcoin primero; eso significa reorganizar un libro contable de un billón de dólares antes de que ni siquiera se active la extracción de la firma.
No te slanquean por intentarlo. Te slanquean por intentarlo y perder. Esa es la parte en la que no puedo dejar de pensar. Babylon no te impide ser deshonesto. Hace que la deshonestidad sea estructuralmente idéntica a una confesión en el momento en que la prueba de trabajo de Bitcoin se niega a seguir tu bifurcación.
La mayoría de las cadenas te venden confianza en un comité. Babylon te vende confianza en un axioma: si haces trampa, las matemáticas te delatan antes de que cualquier humano lo note. Eso no es seguridad. Es determinismo.
No sé si el mercado le pone precio a eso aún. Sé que cada otra cadena te pide que creas. Babylon te pide que calcules. Y calcular es más barato que creer hasta que deja de serlo.
Quería saber qué pasa en la brecha entre cuando cambia el respaldo real de un proveedor de finalidad y cuando el protocolo admite que cambió. Así que rastreé cómo el módulo de x/epoching de Babylon procesa realmente una nueva delegación.
Los mensajes de staking y unstaking no se ejecutan de inmediato. Se encolan durante la duración de todo un epoch, y luego se procesan en un solo lote en el límite. Hasta que ese límite llegue, el poder de voto de finalidad de la cadena refleja el snapshot antiguo, no el actual. Un proveedor de finalidad podría estar perdiendo delegaciones en tiempo real, podría estar vaciándose económicamente a mitad de epoch, y aun así votar con el peso que tenía antes de que nadie retirara.
Eso no es un bug. Es el intercambio por agrupar miles de delegaciones respaldadas por BTC en un único settlement en vez de procesar cada una individualmente. Pero significa que el respaldo de seguridad criptoeconómica de un bloque dado no es la seguridad que existe en este momento. Es la seguridad que existía al momento del último checkpoint, llevada hacia adelante con la confianza de que no cambió nada material entre medio.
Seguí comparándolo con cómo funciona realmente una línea de crédito. Tu límite no se actualiza al instante en que cambia tu ingreso. Se actualiza en un ciclo, y mientras tanto, el banco está extendiendo confianza basándose en un número que ya está ligeramente equivocado. Babylon hace lo mismo con el peso de Bitcoin, solo que con una criptografía mejor envuelta alrededor de la incorrección.
No creo que esto rompa el modelo. El unbonding rápido, de aproximadamente dos días, mantiene esa ventana corta en comparación con cadenas PoS típicas. Pero corto no es cero, y la parte que vale la pena observar no es el precio del token. Es qué tan amplia se vuelve esa ventana de epoch a medida que escala el conjunto de validadores.
Asumí que el comité del pacto era un mero trámite, el tipo de multisig que cada protocolo de staking de Bitcoin necesita y del que nadie lee el código. Solo cambié de opinión después de rastrear qué ocurre cuando un validador intenta deshacer el unbond de forma anticipada.
No hay una cola de unbonding en el sentido en que la gente espera. Cuando haces stake, no firmas una promesa de esperar. Firmas la transacción de salida en sí misma, por adelantado, con un tiempo bloqueado, mantenida por el comité del pacto antes de que tu BTC se mueva siquiera hacia un validador. El comité no decide si recuperas tu Bitcoin. Mantiene una transacción que ya fue decidida y simplemente espera a que el reloj llegue al momento que especificó la firma.
Ese único detalle cambia lo que realmente es el comité. No es un órgano de gobierno con discrecionalidad. Es un notario de una decisión que tú ya tomaste. Su trabajo entero consiste en negarse a tener una opinión. En el momento en que un miembro del pacto empieza a evaluar si tu salida es justa, el diseño ya ha fallado, porque la justicia debía resolverse en el momento de la firma, no en el de la redención.
Seguí pensando en lo inusual que es eso fuera del código. Casi toda institución con la que tratamos —un banco, un arrendador, un tribunal— se reserva el derecho de reinterpretar tu caso más tarde. El comité de Babylon está construido para no tener ningún caso que reinterpretar. Ya ha sido firmado y cerrado.
No creo que eso haga que la salida anticipada sea indolora. Significa que el dolor se cotizó antes de que hicieras el stake, no se negoció después. Una estructura en la que la conversación más difícil ya ocurrió, en silencio, el día en que hiciste clic en confirmar.
Pasé una tarde intentando responder una pregunta extraña. Si un rollup miente sobre su propio historial, ¿qué tan atrás tendrías que escarbar para atraparlo? Con la mayoría de las cadenas, la respuesta honesta resulta inquietante. Tendrías que confiar en quien siga mirando.
Luego rastreé cómo funciona realmente el protocolo de estampado de tiempo de Babylon, bloque por bloque, en una cadena de testnet que controlo. De vez en cuando, el estado de esa cadena se checkpointea en un bloque real de Bitcoin, no un resumen, no una referencia: un compromiso real sellado por la misma prueba de trabajo que asegura un billón de dólares de historia. Una vez que existe ese checkpoint, reescribir el pasado del rollup implica reescribir primero el pasado de Bitcoin. Nadie reescribe el pasado de Bitcoin. No porque esté prohibido. Porque el costo de intentarlo es civilizatorio.
Seguí comparándolo con algo dolorosamente ordinario. La mayor parte de lo que llamamos memoria, en un matrimonio, una amistad, un acuerdo de negocios, es negociable. Dos personas pueden recordar el mismo año de manera distinta y ninguna está mintiendo técnicamente. Lo que Babylon construye es lo contrario de ese tipo de memoria. Una versión del pasado que deja de ser negociable en cuanto suficiente prueba de trabajo se coloca encima.
Eso es lo que creo que la gente se pierde cuando dicen que esto es solo otra jugada de restaking. No es alquilar seguridad. Es alquilar permanencia, tomar prestado el único libro mayor que jamás se ha puesto de acuerdo en olvidar algo bajo presión.
No sé todavía si el mercado le pone precio correctamente a la permanencia. Pero sé que es el único bien aquí que se acumula en lugar de degradarse.
Quiero describir algo que la mayoría de las personas pasa por alto sin darse cuenta, porque a simple vista parece una infraestructura ordinaria de criptomonedas. No lo es.
Seguí cómo se comporta, en realidad, el esquema de Firma de Una Sola Vez Extraíble de Babylon bajo una doble firma. No lo hice leyéndolo, sino simulándolo con un proveedor de finalidad de prueba. Firma una vez, con honestidad, y la firma no revela nada más de lo que autorizaste.
Firma dos veces en bloques en conflicto, y la matemática misma reconstruye tu clave privada. No es una penalización impuesta por la gobernanza. No es un voto de un validador. La deshonestidad extrae el castigo desde el interior de la mentira.
Me quedé pensando en lo raro que existe algo así en otros lugares, en el código o en la vida. La mayoría de los sistemas de confianza te detectan después, como un testigo, un libro contable, una puntuación de reputación que mantiene otra persona. Este no necesita un testigo. La traición es estructuralmente idéntica a la confesión. No puedes engañar en silencio, porque el silencio es lo único que te mantiene a salvo, y en el momento en que lo rompes, has entregado la evidencia por ti mismo.
Esa es la parte que vale la pena pensar más que en un gráfico. Pasamos gran parte de la vida diaria negociando la confianza a través de promesas que no podemos verificar: la palabra de una pareja, la excusa de un compañero de trabajo, un amigo que dice que esta vez es diferente. Babylon codifica la única versión de la confianza que nunca depende de que alguien más crea en ti. Depende de que no necesites mentir dos veces.
No creo que eso haga que BABY sea inmune a la volatilidad. Hace que el modelo de seguridad sea algo más raro que una característica. Una estructura donde la honestidad no cuesta nada y la deshonestidad lo cuesta todo, por construcción, no por imposición.
Antes creía que la mayor fortaleza de Bitcoin también era su techo.
No se mueve. No calcula. Solo se queda ahí, impecable e inactivo, mientras cada otra cadena se las ingenia para hacer que el capital funcione.
Luego vi lo que en realidad hace Babylon, y me di cuenta de que tenía el problema al revés.
Babylon no le pide a Bitcoin que cambie. No lo envuelve, no lo puentea, ni se lo entrega a un custodio que promete devolvértelo.
Usa el propio scripting de Bitcoin — timelocks, transacciones de desunbonding prefirmadas y una condición de slashing impuesta mediante Extractable One-Time Signatures — para que, si alguna vez un proveedor de finality se doble-firma, la prueba de la mala conducta quede escrita en la misma criptografía que asegura la moneda. Nunca existe un tercero confiable que guarde las llaves.
No flota ningún BTC sintético haciéndose pasar por lo real.
Creo que es justo ahí donde se equivoca mucha gente.
Ven “staking” y asumen que es solo otro envoltorio de rentabilidad. Lo que realmente está pasando es que la finality de Bitcoin — la seguridad más dura, más lenta y más conservadora de la industria — se alquila a redes de Proof-of-Stake que nunca pudieron comprar por sí mismas ese tipo de confianza.
Babylon las llama Bitcoin Supercharged Networks. Yo lo llamo alquilar paciencia.
BABY está debajo de todo eso — no como decoración, sino como el token que los validadores apuestan para ejecutar la cadena Genesis, el plano de control coordinando qué proveedores de finality se consideran confiables y cuáles reciben slashing.
Las comisiones fluyen hacia los stakers de BABY.
La gobernanza decide qué redes califican siquiera para seguridad respaldada por BTC. Es infraestructura, pero con consecuencias.
No esperaba que el maximalismo de Bitcoin y la composabilidad de Proof-of-Stake alguna vez estrecharan la mano. Babylon es el apretón.
Y una vez que miles de millones de dólares en BTC nativo empiezan a quedarse dentro de ese apretón en lugar de un token envuelto en algún puente, creo que la pregunta deja de ser “¿esto es seguro?” y pasa a ser “¿por qué asegurarías una cadena PoS de cualquier otra forma."
La respuesta de Newton a un DoS no es "Esperar". Es "Cambiar la regla". Revisé lo que dice el recibo.
Cada sistema de cumplimiento tiene que decidir qué ocurre cuando está bajo presión: cuando los operadores están sobrecargados o cuando una ráfaga de solicitudes amenaza con convertirse en un cuello de botella en la evaluación. La mayoría de los sistemas responde a esa pregunta con un rendimiento degradado: todo se vuelve más lento, pero las reglas siguen siendo las mismas. El documento técnico de Newton describe una respuesta distinta. Su mitigación declarada para condiciones de denegación de servicio incluye ejecutar múltiples clústeres de operadores, reintentos con limitación de tasa y una política de respaldo, dada la ejemplo específico de límites de transacción más bajos.
Antes trataba "los validadores de Newton" como un solo grupo, con un único modelo de seguridad.
No es así: se vuelve distinto cuando averiguas quién respalda realmente cada rol.
El rollup del Keystore de Newton, la pieza que almacena y actualiza permisos, está asegurado por validadores que apuestan NEWT directamente mediante prueba de participación delegada.
Pero el litepaper describe un rol separado, la validación de políticas, realizada por una red descentralizada de operadores asegurada mediante re-staking en Ethereum, no por el staking de NEWT.
Esa es la parte que no había separado antes.
"Los validadores de Newton" suena como si fuera un solo conjunto de personas haciendo un único trabajo bajo una garantía de seguridad. En realidad, son dos roles distintos, con dos patrocinadores económicos distintos.
Los validadores del rollup ponen NEWT en riesgo para asegurar el almacenamiento de permisos y la integridad de la ejecución.
Los operadores de políticas, los que evalúan transacciones contra la lógica de políticas de Rego o WASM, están respaldados por ETH re-staked. Es decir, aprovechan la seguridad de validadores existente de Ethereum en lugar de crear un nuevo activo en stake específicamente para ese trabajo.
Así que la seguridad del sistema no es un solo número: son dos, y no se mueven juntas.
Un conjunto de validadores con NEWT en stake solo es tan seguro como el propio valor de mercado y la distribución de NEWT. Un conjunto de operadores con re-staking de Ethereum hereda la seguridad de una base de validadores mucho más grande y ya establecida.
Una caída en el precio de NEWT debilita la seguridad del rollup sin necesariamente afectar la seguridad de la validación de políticas, y una falla específica de re-staking tampoco necesariamente afectaría la parte del rollup.
Lo que no queda claro en el litepaper es cómo interactúan operativamente estos dos grupos: si una decisión de evaluación de políticas del conjunto de operadores re-staked debe confirmarse por separado por los validadores del rollup con NEWT en stake, o si están funcionando en trayectorias en gran medida independientes que simplemente alimentan la misma atestación.
Lo que me queda en mente es esto: ¿el hecho de ejecutar dos modelos de seguridad separados uno al lado del otro es una elección real de diversificación del riesgo, o simplemente significa que un atacante solo tiene que encontrar el más débil de los dos en lugar de romper un sistema unificado?
El Litepaper Añade Una Frase a la Historia de la Mediana. Cambia Toda la Forma del Problema.
Ya había averiguado que la mediana de la fase de Preparación de Newton se calcula a partir de los operadores que responden más rápido, no del conjunto completo de operadores registrados, porque la pasarela empieza a calcular en el momento en que se cumple el quórum. Lo que no había encontrado hasta ahora es si esa ventaja de velocidad es un accidente de la latencia de la red, o si el protocolo realmente selecciona algo de ese tipo.
El memorando técnico (litepaper) de Newton responde a eso directamente, en una frase fácil de pasar por alto: la selección de operadores para una tarea se describe como sin permisos para unirse, pero "ponderada por el rendimiento" en cuanto a cómo, en la práctica, se elige a los operadores para trabajar en una tarea determinada.
A todo el mundo le obsesionan los números redondos. 10, 100, 1000.
Nadie organiza un desfile por el 9. Pero el 9 es el número que hace posible los números redondos, el último punto de control antes de que el conteo se reinicie y vuelva a subir.
Pregúntale a cualquier portero qué número de camiseta les persiguió en las pesadillas y nunca era el 10.
Pregúntale a cualquier cultura alrededor de qué número construyó templos y tabúes, y la mitad te dirá que el 9.
Suma los dígitos de 81, 999, o de un número de mil dígitos de largo; si es múltiplo de 9, siempre vuelve a 9, como la gravedad en la aritmética. Nueve meses para que crezca una persona que no existía antes.
Nueve años para un intercambio que cambió la manera en que el mundo sostiene el dinero. No creo que el 9 sea el número antes de algo más grande. Creo que todo lo más grande es solo el 9 haciéndose pasar por que olvidó de dónde venía.
Sigué asumiendo que "publicado en Ethereum" significaba que todo el historial de permisos vive allí. No es así. Es específicamente la raíz de estado.
El Keystore de Newton es un rollup que gestiona el almacenamiento de permisos y sus actualizaciones fuera de la capa base, pero el protocolo publica pruebas de finalidad y raíces de estado de permisos en Ethereum en lugar de los propios datos completos de permisos.
Una raíz de estado es un compromiso comprimido, un único hash que representa todo el estado actual, no el estado.
Esa era la parte que no había separado antes.
publicar una raíz en Ethereum significa que cualquiera puede verificar que un estado específico de permisos existía en un punto determinado, sin que Ethereum almacene nunca qué contenía realmente ese estado.
datos subyacentes, quién tiene qué zkPermission, a qué agente está acotado qué, se mantienen en el rollup de Keystore. Solo su huella se ancla. Eso es lo que lo hace lo bastante barato como para hacerlo de forma continua en lugar de que resulte prohibitivamente caro.
Pero eso también significa que la garantía que proporciona Ethereum es más estrecha de lo que suena.
Ethereum puede confirmar que una supuesta raíz de estado es la que fue comprometida. No puede decirte qué hay dentro de esa raíz a menos que ya tengas los datos subyacentes del Keystore para comprobar la raíz contra ellos.
La verificación requiere ambas piezas, el ancla y los datos que están siendo anclados, no solo el ancla.
Así que "anclado a Ethereum" no es la misma afirmación que "legible desde Ethereum". Es un compromiso que puedes auditar contra datos que tienes que obtener tú mismo del rollup.
Los documentos de Newton confirman la práctica, pero no especifican con qué frecuencia se publican las raíces, ni cómo se ve el camino real de verificación de un usuario si quiere comprobar su propio estado de permisos contra la raíz anclada directamente.
Lo que me queda es esto: ¿el anclaje de raíces de estado está diseñado para que cualquiera pueda verificar de forma independiente, o principalmente para que el propio protocolo pruebe la integridad, con la verificación individual aún como una ruta no construida?
La aritmética de la mediana de Newton. La palabra llevaba más que el número.
La fase de Preparación de Newton funciona así: los operadores obtienen de forma independiente los datos externos que necesita una política, informan sin firmar y, una vez que llegan suficientes respuestas para cumplir el quórum, la puerta de enlace toma lo que tiene, descarta los valores más alto y más bajo y calcula una mediana. Esa mediana se convierte en el único número canónico con el que cada operador evalúa la política durante el resto de la tarea.
"Mediana" hace mucho trabajo tranquilizador en esa frase. Es la palabra a la que recurres cuando quieres decir que un valor no puede ser arrastrado por un solo actor malintencionado.
Se supone que la doble firma de Newton prueba que la aplicación verificó al usuario. Comprobé si la criptografía
Cuando se crea una tarea en Newton, dos partes tienen que dar su aprobación antes de que el Gateway continúe: el usuario y la aplicación que actúa en su nombre. La documentación lo describe como una cadena: la firma de la aplicación se supone que significa algo específico: "Vimos el consentimiento del usuario, lo comprobamos y solo entonces añadimos el nuestro". Quería ver si la construcción real de esa segunda firma impone ese orden, o si solo lo afirma como ocurrido.
Esto es lo que se describe. Ambas firmas verifican frente al mismo mensaje subyacente: un resumen (digest) construido a partir del cliente de políticas y del hash de la intención, con las referencias de datos incorporadas. El usuario lo firma. La aplicación también lo firma. El Gateway acepta la tarea una vez que ambas firmas se comprueban correctamente frente a sus claves públicas correspondientes. Y el propósito declarado de la firma de la aplicación es dar fe de que recibió y verificó el consentimiento del usuario antes de añadir su propia aprobación.
honestamente no esperaba que la rotación del operador fuera la parte interesante del diseño de Newton, pero lo es.
La documentación de la arquitectura de privacidad de Newton menciona algo fácil de pasar por alto: los protocolos de reenvío, específicamente el intercambio secreto proactivo, que permite que los operadores roten sin cambiar la clave pública combinada. La ceremonia DKG que distribuye la clave privada umbral solo se ejecuta cuando el conjunto de operadores realmente cambia, y no afecta la latencia de evaluación de tareas día a día.
esa es la parte que no había separado antes.
normalmente, si rotas participantes en un sistema umbral, esperarías que toda la configuración de claves cambie junto con ellos, lo que significa que cualquier dato cifrado con la configuración de clave anterior se vuelve ilegible una vez que el conjunto de operadores se desplaza. El reenvío lo evita.
los operadores pueden rotar dentro y fuera mientras la clave pública combinada se mantiene fija, lo que significa que los datos cifrados para el conjunto de operadores anterior siguen siendo descifrables por el nuevo.
es una garantía más silenciosa que los umbrales de quórum o la agregación BLS, pero quizá importe más a nivel operativo. Un sistema en el que la rotación del operador rompe datos cifrados previamente es un sistema que castiga su propia descentralización con el paso del tiempo: nuevas entidades no pueden incorporarse sin dejar el historial como huérfano. El reenvío significa que el conjunto de operadores puede evolucionar sin que los usuarios pierdan el acceso a lo que ya habían asegurado con la configuración anterior.
lo que la documentación de Newton no deja claro es con qué frecuencia realmente necesita ejecutarse el reenvío a medida que crece el conjunto de validadores, o qué ocurre con los datos si la ceremonia de reenvío falla a medias.
con lo que me quedo: ¿el reenvío proactivo hace que el costo de la descentralización del operador sea gratuito con el tiempo, o solo traslada el punto frágil a la propia ceremonia de reenvío.
he querido mirar esto durante días: cómo los validadores de Newton realmente coinciden en una atestación, ya que "quorum" por sí solo no explica la mecánica.
Newton usa firmas BLS para la atestación, y el consenso no se construye en torno a un solo digest, sino en torno a dos.
Los validadores firman por separado el digest de la política y el digest de la ejecución para la misma intención.
Esa separación significa que el acuerdo no es "sí, aprueba esto"; son dos votos afirmativos independientes: uno confirma que la lógica de la política se cumplió y el otro confirma que los datos de la llamada reales que se están ejecutando coinciden con lo que se atestó.
esa es la parte que no había separado antes.
un esquema de un solo digest permite que una firma respalde toda la intención de una vez, con la política y la ejecución empaquetadas juntas. si cualquiera de las dos mitades se alterara después de firmar, no habría forma de aislar cuál falló.
dos digests significan que la firma de un validador es refutable contra cada mitad por separado.
puedes demostrar que la política era correcta mientras el digest de ejecución estaba corrompido, o al revés, en lugar de una firma que cubre una afirmación fusionada que no puedes deshacer.
eso es una garantía significativamente más fuerte que "los operadores estuvieron de acuerdo". es que los operadores están de acuerdo en dos cosas separables, agregadas mediante BLS para que la red siga verificando una sola firma combinada en cadena.
lo que la documentación de Newton no detalla es qué ocurre operativamente cuando los dos digests no coinciden para un validador: si se rechaza de forma directa o si se marca y se resuelve mediante lógica de respaldo.
esa es la pregunta abierta con la que estoy: ¿la separación en dos digests protege contra la manipulación parcial, o solo traslada dónde aparece la ambigüedad.
El cifrado de Newton vincula dos cosas criptográficamente. Comprobé si un tercero, sentado justo al lado
La capa de privacidad de Newton realiza una afirmación de seguridad precisa: cuando los datos privados se cifran y se suben, el texto cifrado queda criptográficamente ligado a una política específica y a una cadena específica. Intenta reproducir ese mismo sobre cifrado en otro lugar: una política diferente, una cadena diferente, y la verificación de autenticación falla por completo. Se rechaza la desencriptación. Quería ver exactamente qué significa “ligado a” y, igual de importante, qué no cubre.
Aquí está la fórmula real. Los datos adicionales de autenticación adjuntos al cifrado se calculan a partir de exactamente dos entradas: el cliente de la política y el ID de la cadena, combinados y resumidos con hash.
Newton Llama "Independientes" a Dos de Sus Claves. Seguí el Rastro de la Cadena que las Vuelve a Conectar en Silencio.
Newton hace una promesa de seguridad específica sobre su sistema de descifrado por umbral: la clave de firma diaria de un operador y su parte de la clave privada de descifrado de la red no están relacionadas criptográficamente. Si se compromete una, dice la documentación, la otra se mantiene a salvo. Quería ver si esa independencia se mantenía hasta el final, o solo en parte.
Esta es la arquitectura real. La clave de descifrado por umbral de Newton se produce una sola vez, mediante una ceremonia interactiva entre operadores, y se divide en partes: ninguna parte, ni siquiera la puerta de enlace (gateway), llega a tenerlo completo. Reconstruirla requiere un quórum de operadores que cooperen. Ese secreto es, matemáticamente, algo propio: se genera de forma independiente de las claves existentes de cualquier operador. En ese punto específico, la afirmación de independencia es inatacable: no puedes derivar la parte de alguien del secreto de umbral a partir de su clave de firma ordinaria, porque las dos nunca estuvieron conectadas matemáticamente de ninguna manera.
Me desperté pensando en esta, así que lo primero que quiero hacer mañana es profundizar en dónde vive realmente el estado de permisos de Newton una vez que se finaliza, porque “está en un rollup” no es la respuesta completa.
El Keystore es un rollup, lo que significa que la ejecución y las actualizaciones ocurren fuera de la capa base para ahorrar costos y ganar velocidad. Pero el diseño de Newton también publica pruebas de finalización y raíces del estado de permisos en Ethereum.
Eso es una afirmación diferente a “el rollup es seguro”. Significa que el estado real de quién tiene permiso para hacer qué se ancla en L1, no solo se procesa allí de forma ocasional.
Esa es la parte que yo no había separado antes.
Un rollup que solo ejecuta fuera de la cadena (off-chain) confía en su propio conjunto de sequenciadores y validadores para el registro de la verdad.
Un rollup que publica raíces de estado en Ethereum significa que cualquiera puede comprobar la raíz comprometida contra L1 y verificar cuál era el estado de permisos en ese momento, sin confiar en que los operadores del rollup lo reporten honestamente.
El rollup se encarga del rendimiento. Ethereum se encarga del anclaje que nadie controla.
Así que la pregunta real de seguridad no es “¿el Keystore es rápido?”, sino “¿con qué frecuencia se ancla el estado y qué se puede verificar solo a partir de la raíz frente a qué aún requiere confiar en el estado interno del rollup entre anclajes?”.
La documentación de Newton confirma que las raíces de estado se publican en Ethereum para la finalización, pero no detalla la frecuencia de anclaje ni cómo es realmente la exposición de un usuario en la ventana entre una raíz publicada y la siguiente, si algo sale mal con el rollup durante esa ventana.
Eso es lo que quiero averiguar mañana: si la brecha entre anclajes es lo bastante pequeña como para que sea básicamente teórica, o si es una ventana real en la que el Keystore todavía me está pidiendo que confíe en él antes de que Ethereum pueda verificar su trabajo.