Un banco no necesita tu saldo exacto. Un banco necesita pruebas de que es suficiente. Dusk incorpora esa distinción directamente en el protocolo.
Asumí que el cumplimiento on-chain significaba revelar el número completo a cualquiera que lo verifique. Entonces descubrí cómo funciona realmente la prueba.
Un usuario puede generar una prueba de conocimiento cero que indique que un saldo supera un umbral requerido, lo suficiente para un margin call, una verificación de colateral, una regla de tenencia mínima, sin revelar cuál es el saldo en realidad. La prueba responde una sola pregunta de sí o no. No sale nada más del monedero.
Financieramente, esto reemplaza el estándar actual, un extracto completo de la cuenta entregado para demostrar solvencia, por una única prueba limitada exactamente a lo que se pidió. La contraparte aprende "suficiente". Nunca "cuánto".
Esta es la misma primitiva a la que apuntan los propios documentos técnicos de Dusk cuando explican qué separa el diseño del simple ocultamiento de transacciones: demostrar un hecho, no ocultar un número, ha sido parte central del modelo desde el principio.
Lo que no se aborda: si dos contrapartes que necesitan probar dos umbrales distintos a partir del mismo saldo pueden reutilizar una sola prueba, o si cada una necesita generar la suya desde cero.
@Dusk $DUSK #dusk $HEMI $MUBARAK
Asumí que el cumplimiento on-chain significaba revelar el número completo a cualquiera que lo verifique. Entonces descubrí cómo funciona realmente la prueba.
Un usuario puede generar una prueba de conocimiento cero que indique que un saldo supera un umbral requerido, lo suficiente para un margin call, una verificación de colateral, una regla de tenencia mínima, sin revelar cuál es el saldo en realidad. La prueba responde una sola pregunta de sí o no. No sale nada más del monedero.
Financieramente, esto reemplaza el estándar actual, un extracto completo de la cuenta entregado para demostrar solvencia, por una única prueba limitada exactamente a lo que se pidió. La contraparte aprende "suficiente". Nunca "cuánto".
Esta es la misma primitiva a la que apuntan los propios documentos técnicos de Dusk cuando explican qué separa el diseño del simple ocultamiento de transacciones: demostrar un hecho, no ocultar un número, ha sido parte central del modelo desde el principio.
Lo que no se aborda: si dos contrapartes que necesitan probar dos umbrales distintos a partir del mismo saldo pueden reutilizar una sola prueba, o si cada una necesita generar la suya desde cero.
@Dusk $DUSK #dusk $HEMI $MUBARAK
