Sigo volviendo a un detalle del diseño de Newton que parece pequeño hasta que te sientas con él. Antes de que los operadores puedan producir una firma conjunta, el protocolo elimina algo. No opiniones, no apuestas, sino la propia atestación que cada operador generó cuando obtuvo los datos de la política. La salida se llama resumen de consenso, construido poniendo a cero los campos exactos que hacen que la contribución de cada operador sea distinta. Todos firman una versión idéntica y vaciada de la misma clase de evento.
No creo que sea una falla. Creo que podría ser el mecanismo real que vale la pena estudiar.
Newton usa firmas BLS para que cientos de operadores puedan producir una sola prueba compacta en lugar de cientos de pruebas separadas. Pero la agregación BLS solo funciona si cada firmante pone su nombre en el mismo mensaje exacto. Los operadores verifican de forma independiente los datos de la política usando sus propias claves, y cada una de esas atestaciones es distinta, ya que incluye una firma diferente. Si el protocolo intentara agregar sobre el registro completo y verídico, las matemáticas simplemente no cerrarían. Así que Newton calcula dos digests en vez de uno. Un digest de consenso, con los campos de la atestación vaciados, se firma de manera colectiva y se verifica en cadena mediante una ecuación de emparejamiento. Un digest completo, que contiene cada atestación original, permanece en el almacenamiento del contrato para más adelante, en caso de que alguien alguna vez necesite impugnar el resultado.
Lo que eso significa en la práctica es que el acuerdo no se descubre aquí: se construye. Los operadores no convergen hacia una comprensión compartida de los datos. Convergen hacia una forma compartida de los datos, después de haber eliminado las partes que harían que discreparan. La imagen completa sobrevive, pero solo como evidencia, no como el objeto sobre el que se acuerda.
Hay algo casi administrativo en eso. Un comité no debate las notas al pie: vota el resumen, y las notas al pie se archivan por si una disputa obliga a alguien a volver a revisarlas.
Me resulta reconfortante en cierto sentido: nada se pierde realmente; ahí está el digest completo, verificable, esperando. Pero también significa que el estado predeterminado del sistema es una versión recortada de los eventos, y la versión más rica solo se consulta después de que algo ya haya salido mal. La mayoría de las transacciones no activarán un desafío. La mayoría de los digests de consenso nunca se comprobarán contra su contraparte completa. La compresión se vuelve permanente por defecto, no porque los datos hayan desaparecido, sino porque nadie tuvo un motivo para mirar hacia atrás.
No sé si eso es exactamente una debilidad. Quizá solo sea lo que se ve la infraestructura verificable a gran escala. Pero me deja preguntándome con qué frecuencia realmente se recupera el digest completo, y si un sistema construido en torno a la no verificación casi permanente de su propio registro detallado es diferente, en espíritu, de uno que nunca guardó el registro en absoluto.
@NewtonProtocol #Newt $NEWT $XPIN $BEAT
