Anoche volví a revisar la documentación de los modelos de transacción @Dusk y pasé unas horas intentando entender cómo encajan realmente Moonlight y Phoenix.

Al principio la distinción parecía clara. Moonlight es el lado transparente basado en cuentas, donde cada cuenta mantiene un estado público que registra su saldo y nonce. Phoenix es el lado protegido basado en notas: una nota se estructura alrededor de una clave pública de destinatario, un valor v y escalares aleatorios adicionales, con notas indexadas dentro de un árbol de Merkle para que un gastador pueda demostrar la inclusión sin revelar la nota en sí. El gasto requiere una prueba de conocimiento cero y la publicación de un nullifier para que la red pueda rechazar gastos dobles. La documentación también indica que los valores de las notas están acotados por 2^{64}-1.

Se describen las rutas de conversión entre ambos modelos (depósito en notas de Phoenix, retiro de vuelta a cuentas de Moonlight), pero me quedé atascado con las asunciones de seguridad exactas que se mantienen durante esas transferencias. Se dice que los circuitos garantizan la validez, pero no pude encontrar una declaración clara sobre si una conversión malformada podría afectar el conjunto global de nullifiers o los saldos transparentes en los que se apoyan los contratos inteligentes.

Eso me planteó una pregunta más amplia sobre la descentralización: si la mayor parte del valor termina viviendo en notas de Phoenix, ¿cuánta capacidad de gobernanza práctica permanece en la capa de cuentas transparente que realmente ven los contratos y las oráculos?

¿Se considera definitiva la configuración actual de los circuitos y el límite de valor 2^{64}-1, o todavía hay parámetros abiertos sobre la generación de notas, la profundidad del árbol de Merkle y la unicidad de los nullifiers en los que la comunidad sigue iterando?

Agradecería cualquier orientación de personas que hayan profundizado en las pruebas.

#dusk $DUSK