La cronología de la tecnología ZK revela hitos importantes

A16z Crypto publicó una infografía de Claire Kart que describe la historia de las pruebas de conocimiento cero (ZK). Ella remonta hasta 2019, cuando todo era pequeño y con pocos recursos. Para 2025, domina el 80 % de la cronología, lo que resalta tanto el desarrollo personal como el de la industria.

6 years ago, when i first started working in zk, it was a tiny community of cryptographers and i understood nothing

plus there were no resources to learn

today, i read this and understood 80% of it

go find the thing that literally melts your face and try to understand it pic.twitter.com/QrPr4boloK

— Claire Kart (@clairekart) October 23, 2025

Fundaciones tempranas: 1985–2007

GM85 fue el primer ejemplo de pruebas ZK, y en este trabajo GM propuso las pruebas interactivas de conocimiento cero. El protocolo sum-check también permitió la verificación de cálculos a gran escala en 1990. En 2007, las pruebas estructuradas de posesión (PoPs) mejoraron la privacidad y prepararon 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 permitían el uso de blockchain. En 2016 se introdujeron los SNARKs recursivos, que permiten componer y escalar pruebas. Zcash (2017–2018) introdujo los zk-SNARKs, que usan información de transacciones para ocultar los datos, convirtiéndose en la primera aplicación real en el mundo.

Pruebas transparentes y Rollups

Con FRI, Bulletproofs y Ligero, también se presentó el compromiso polinómico transparente en 2019. La recursión Halo (2019–2020) redujo los costos de implementación y mejoró la eficiencia. Las soluciones de escalado en Ethereum también se desarrollaron como validity rollups (2019–2022), adoptados por StarkNet. 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 usando sum-check basado en zkVMs sobre conjuntos de instrucciones estándar como RISC-V. Esto mejoró la interoperabilidad y permitió cálculos blockchain de propósito general. El acceso a recursos educativos como las guías de 0xPARC y zk-learning.org ha aumentado para los desarrolladores. Los ZK rollups procesan miles de millones de transacciones de Ethereum, mejorando la escalabilidad y reduciendo costos.

Claire comenzó en 2019, moviéndose en una pequeña comunidad con recursos limitados. Para 2025, domina el 80 % de los desarrollos ZK. Enseña a las personas a abordar problemas complejos que literalmente desafían la comprensión, y enfatiza la persistencia y la curiosidad.