He estado sentado pensando en cómo, últimamente, las transacciones de Phoenix se verifican realmente en @Dusk , y la mayoría de las personas aún se imagina el proceso habitual de "mirar los datos y aprobar".
Lo que pasa es que el verificador nunca recibe al remitente, al destinatario ni el importe. Lo que llega es una prueba PLONK. Esa prueba codifica las reglas que importan: el que gasta realmente era propietario de las notas que se están gastando, los importes se equilibran correctamente y no se reutiliza nada. La comprobación simplemente confirma que las cuentas se cumplen. Nunca reconstruye ni inspecciona la transacción oculta en sí.
Ese es un cambio real en lo que significa incluso verificar. El sistema confirma que una afirmación matemática es verdadera sin ver nunca lo que la hizo verdadera.
La limitación es que, cuando algo sale mal, la misma invisibilidad que protege la privacidad también dificulta depurarlo a simple vista.
Aun así, el diseño parece intencional. Rechazar mirar los datos es parte del modelo de seguridad aquí.
¿Te sientes cómodo con una verificación que funciona sin ver nunca aquello que se está verificando?
#dusk $DUSK
Lo que pasa es que el verificador nunca recibe al remitente, al destinatario ni el importe. Lo que llega es una prueba PLONK. Esa prueba codifica las reglas que importan: el que gasta realmente era propietario de las notas que se están gastando, los importes se equilibran correctamente y no se reutiliza nada. La comprobación simplemente confirma que las cuentas se cumplen. Nunca reconstruye ni inspecciona la transacción oculta en sí.
Ese es un cambio real en lo que significa incluso verificar. El sistema confirma que una afirmación matemática es verdadera sin ver nunca lo que la hizo verdadera.
La limitación es que, cuando algo sale mal, la misma invisibilidad que protege la privacidad también dificulta depurarlo a simple vista.
Aun así, el diseño parece intencional. Rechazar mirar los datos es parte del modelo de seguridad aquí.
¿Te sientes cómodo con una verificación que funciona sin ver nunca aquello que se está verificando?
#dusk $DUSK