En Resumen
- Esta semana resurgió en Twitter un video de Hal Finney, un desarrollador y pionero de Bitcoin, explicando las pruebas de conocimiento cero hace 25 años.
- Finney elogió a Cramer y Damgard por inventar las pruebas de conocimiento cero, fundamentales en la seguridad y escalabilidad de blockchain.
- Hal Destacó la diferencia entre rollups optimistas y zk-rollups en el contexto de la escalabilidad de blockchain y su aplicación en las criptomonedas.
Esta semana resurgió en Twitter, un video del desarrollador de software estadounidense y pionero de Bitcoin, Hal Finney, explicando las pruebas de conocimiento cero hace 25 años.
Las imágenes son tomadas de la 18ª Conferencia Internacional de Criptología en la Universidad de California, Santa Bárbara en 1998, también conocida como "Crypto '98".
"Quiero demostrarte que conozco un mensaje que tiene un valor hash dado utilizando el hash SHA-1. No quiero revelarte nada sobre el mensaje. Es una prueba de conocimiento cero, y he escrito un programa para hacer esto que te contaré", comienza Finney.
📽️ NEW: Bitcoin legend Hal Finney discusses Zero-Knowledge Proofs in a newly unearthed presentation, made 25 years ago at Crypto '98 in Santa Barbara.
Have you ever heard @halfin's voice before? 🤯 pic.twitter.com/HdddworTsg
— Trust Machines (@trustmachinesco) September 20, 2023
Más adelante en la charla, acredita a Ronald Cramer e Ivan Damgard por haber inventado el sistema de prueba de conocimiento cero que está demostrando y lo elogia. "Lo presentaron este jueves en esta conferencia, 'Pruebas de conocimiento cero para aritmética de campo finito'", dijo Finney, calificándolo de "muy eficiente y bastante flexible".
En el mundo de las criptomonedas, las pruebas de conocimiento cero son un tipo de protocolo utilizado para ayudar a asegurar y escalar una red blockchain. Se utilizan principalmente en rollups.
Los rollups son un tipo de solución de escalado que "agrupa" múltiples transacciones juntas. La transacción final se presenta a la blockchain como una sola transacción.
Existen dos tipos principales de rollups: Optimistas y Pruebas de Conocimiento Cero. Los rollups optimistas asumen que toda la información agrupada es válida, permitiendo a los observadores impugnar cualquier transacción y enviarla a los validadores de la red Ethereum para confirmar y corregir cualquier error.
Por otro lado, los rollups de conocimiento cero (zk-rollups) se basan en la criptografía de pruebas de conocimiento cero, que permite demostrar matemáticamente un detalle clave, como la edad de una persona, sin revelar información adicional, como la fecha de nacimiento de esa persona.
Hal Finney: el pionero de Bitcoin
Harold Thomas Finney II nació en California en 1956 y murió en Arizona en 2014 a causa de complicaciones causadas por la enfermedad de la neurona motora. Fiel a sus ideales futuristas, su cuerpo ha sido criopreservado por la Fundación Alcor Life Extension.
El 11 de enero de 2009, Finney tuiteó que estaba "ejecutando Bitcoin", lo que, de ser cierto, podría significar que fue la segunda persona en ejecutar el software después de su creador pseudónimo Satoshi Nakomoto.
Al día siguiente, recibió 10 BTC de Nakomoto, esta se convirtió en la primera transacción de Bitcoin concluida. Dada la escasez de detalles sobre la identidad de Nakomoto, algunos dentro de la comunidad de Bitcoin creen actualmente que es probable que Finney fuera Satoshi, o al menos uno de un grupo de desarrolladores detrás del seudónimo.
Al final del año pasado, la cuenta de Twitter de Finney volvió a la vida después de una década de inactividad: "Soy Fran Finney", tuiteó la viuda de Finney bajo su nombre de usuario de Twitter. "Estoy tuiteando en nombre de Hal para evitar que su cuenta sea eliminada por Elon".
Finney también se refirió por primera vez a los NFT dos décadas antes de que se hicieran realidad.