Sigo volviendo a una pregunta sencilla sobre los sistemas privados: ¿qué exactamente necesita saber todo el mundo para que todos estén de acuerdo en que algo ocurrió?

Con el modelo Phoenix de Dusk, la respuesta es sorprendentemente pequeña. Los fondos reales viven como notas cifradas. Una transacción puede demostrar que el gasto es válido, que el remitente tiene suficiente valor y que esa misma nota no se ha gastado ya, sin exponer la cantidad ni las notas específicas que se consumen. La cadena sigue pudiendo verificar las reglas sin obtener los datos subyacentes.

Al principio pensé que la parte de la privacidad era lo más interesante. Ahora lo tengo menos claro. La distinción más importante parece ser qué permanece privado mientras la validez se mantiene pública.

Moonlight toma la ruta obvia. Saldos, remitente, receptor, cantidad. Todos pueden ver el estado. Phoenix invierte el modelo de visibilidad, pero la lógica subyacente todavía tiene que ser coherente. Un estado privado no puede significar una noción privada de corrección.

Ahí es donde importa la prueba ZK. No se le pide a la red que confíe en una transacción oculta porque nadie puede inspeccionarla. Obtiene una prueba de que ciertas condiciones son verdaderas, mientras el estado sensible permanece oculto.

Aun así, hay una suposición escondida ahí. El sistema de pruebas tiene que ser sólido, la transición del estado tiene que comprobarse correctamente y la estructura de la nota tiene que impedir el doble gasto.

Así que sigo reduciendo Phoenix a un solo elemento: ¿cuánto del estado puede desaparecer de la vista antes de que la verificación deje de tener sentido?

#dusk $DUSK @Dusk $ACE