La línea de tiempo de la tecnología ZK revela hitos importantes

A16z Cripto publicó una infografía de Claire Kart que describe la historia de las pruebas de Zero-Knowledge (ZK). Ella miró hacia atrás hasta 2019, cuando todo era pequeño con pocos recursos. Ella es consciente del 80 por ciento de la línea de tiempo para 2025, lo que subraya el desarrollo personal y de la industria.

Fundaciones Tempranas: 1985–2007

GM85 fue el primer ejemplo de pruebas ZK, y fue en este trabajo donde GM propuso pruebas interactivas de conocimiento cero. El protocolo de verificación de suma también permitió la verificación de computaciones a gran escala en 1990. En 2007, las pruebas estructuradas de posesión (PoPs) mejoraron la privacidad y prepararon el terreno para la aparición de aplicaciones prácticas.

En 2010, los SNARKs también se basaron en el compromiso polinómico KZG. Para 2013, los primeros SNARKs eran eficientes y permitieron el uso de blockchain. En 2016 se introdujeron los SNARKs recursivos, que permiten componer y escalar pruebas. Zcash (2017-2018) introdujo zk-SNARKs, que utilizan información de transacciones para ocultar los datos, y esta se convirtió en la primera aplicación del mundo real.

Pruebas Transparentes y Rollups

Con FRI, Bulletproofs y Ligero, el compromiso polivalente transparente también se presentó en 2019. La recursión Halo (20192020) redujo los costos de configuración y mejoró la eficiencia. Las soluciones de escalado en Ethereum también se desarrollaron como rollups de validez (20192022), que fueron adoptados por StarkNet. Los SNARKs profesionales como Plonk, Marlin y zkDSLs como Circom y Halo(2) hicieron que el desarrollo de ZKs fuera más accesible a un público más amplio.

Avances Modernos: 2023+

Para 2023, la tecnología ZK se trasladó a SNARKs utilizando una verificación de suma basada en zkVMs en conjuntos de instrucciones estándar como RISC-V. Esto mejoró la interoperabilidad y permitió la computación de blockchain de propósito general. Hay un mayor acceso a recursos educativos como las guías de 0xPARC y zk-learning.org por parte de los desarrolladores. Los rollups ZK procesan miles de millones de transacciones de Ethereum, mejorando la escalabilidad y reduciendo costos. Claire comenzó en 2019, teniendo que maniobrar en una pequeña sociedad con recursos limitados. En 2025, está familiarizada con el 80 por ciento de los desarrollos ZK. Ella enseña a las personas a leer temas difíciles que literalmente derriten tu cara, y enfatiza la persistencia y la curiosidad.