#dusk $DUSK pasé la noche pasada releyendo la sección del whitepaper de la dusk sobre plonk y algo encajó que me había perdido...

dos primeras veces.
el esquema de prueba no solo oculta valores: separa lo que se prueba de lo que se revela. las entradas públicas van por un lado, las privadas se quedan.

bloqueadas y el verificador solo aprende si la afirmación es verdadera.
tienen que cumplirse tres propiedades para que eso signifique algo: completitud. solidez. cero.

conocibilidad. si saltas una, la afirmación de privacidad se desmorona.
lo interesante es que esto no está añadido a la función de transición del estado como algo posterior.

es nativo del rusk vm. cada ruta de ejecución puede llevar una

prueba de corrección sin exponer la computación en sí.
no puedo resolver del todo cómo escala el costo de generación de pruebas a medida que el lógica del contrato se vuelve más compleja.

complejo, aunque. esa es la parte a la que sigo volviendo.
me da curiosidad si alguien más ha investigado la configuración de la clave del verificador aquí??

#dusk @Dusk $DUSK