Satoshi en relación a la prueba de conocimiento cero propuesta para Bitcoin

Este es un tema muy interesante. Si se encontrara una solución, sería posible una implementación mucho mejor, más fácil y más conveniente de Bitcoin.

Originalmente, una moneda puede ser solo una cadena de firmas. Con un servicio de sellado de tiempo, los antiguos podrían ser eliminados eventualmente antes de que haya demasiado retroceso, o las monedas podrían ser guardadas individualmente o en denominaciones. La necesidad de comprobar la ausencia de doble gasto es lo que requiere un conocimiento global de todas las transacciones.

El reto es, ¿cómo probar que no existen otros gastos? Parece que un nodo debe conocer todas las transacciones para poder verificarlo. Si solo conoce el hash de los puntos de entrada/salida, no puede comprobar las firmas para ver si un punto de salida ha sido gastado antes. ¿Tienes alguna idea sobre esto?

Es difícil pensar en cómo aplicar las pruebas de conocimiento cero en este caso.

Estamos tratando de probar la ausencia de algo, lo que parece requerir el conocimiento de todo y la comprobación de que el algo no está incluido.

https://bitcointalk.org/index.php?topic=770.msg8637#msg8637

#zkp #bitcoin

#Ztips: ¿Qué es la Prueba de conocimiento cero?

La prueba de conocimiento cero (ZKP) es un protocolo criptográfico, se puede usar como método de autenticación para demostrar que tienes conocimiento sobre un secreto sin tener que revelar el secreto.

En este proceso participan dos partes; el “Probador” del argumento, y el “Verificador” del mismo.

La idea es probar inequívocamente que el “Probador” conoce el secreto sin revelarlo, el "Verificador" toma la información del “Probador” y aplica el protocolo. De esta manera, el “Verificador” puede saber si es cierta la información en todo momento.

Zcash fue la primera en aplicar zk-SNARK, un tipo de criptografía de conocimiento cero que, garantiza la veracidad de las transacciones protegidas y cifradas en la cadena de bloques sin revelar datos.

Con la actualización NU5 llegó el protocolo de pago blindado Orchard, este usa el sistema de conocimiento cero Halo 2 que elimina el viejo problema de configuración confiable (La Ceremonia) y también mejora el rendimiento y la escalabilidad de los pagos digitales.

Más información:
- ¿Qué es Zero Knowledge Protocol (ZKP)?
- ¿Qué son los zk-SNARK?

#Zcash #ZKP #Halo2

Messari habla de ZKP

➡️ https://twitter.com/MessariCrypto/status/1592322099640958976

#zcash #zkp