Linha do Tempo da Tecnologia ZK Revela Marcos Importantes

A16z Cripto publicou um infográfico de Claire Kart descrevendo a história das provas Zero-Knowledge (ZK). Ela olhou para trás até 2019, quando tudo era pequeno e com poucos recursos. Ela está ciente de 80 por cento da linha do tempo até 2025, o que ressalta o desenvolvimento pessoal e da indústria.

Fundamentos Iniciais: 1985–2007

GM85 foi o primeiro exemplo de provas ZK, e foi neste trabalho que GM propôs provas interativas de zero-conhecimento. O protocolo de verificação de soma também permitiu a verificação de computação em escala em 1990. Em 2007, provas estruturadas de posse (PoPs) melhoraram a privacidade e precondicionaram o aparecimento de aplicações práticas.

Em 2010, os SNARKs também se tornaram baseados no compromisso polinomial KZG. Em 2013, os primeiros SNARKs eram eficientes e permitiam o uso de blockchain. Em 2016, os SNARKs recursivos foram introduzidos, o que permite compor e escalar provas. O Zcash (2017-2018) introduziu zk-SNARKs, que utilizam informações de transação para ocultar os dados, e isso se tornou a primeira aplicação do mundo real.

Provas Transparentes e Rollups

Com FRI, Bulletproofs e Ligero, o compromisso polinomial transparente também foi apresentado em 2019. A recursão Halo (20192020) reduziu os custos de configuração e melhorou a eficiência. As soluções de escalabilidade na Ethereum também se desenvolveram como rollups de validade (20192022), que foram adotados pelo StarkNet. SNARKs profissionais, como Plonk, Marlin e zkDSLs, como Circom e Halo(2), tornaram o desenvolvimento de ZKs mais acessível a um público mais amplo.

Avanços Modernos: 2023+

Até 2023, a tecnologia ZK mudou para SNARKs usando verificação de soma baseada em zkVMs em conjuntos de instruções padrão, como RISC-V. Isso melhorou a interoperabilidade e permitiu a computação em blockchain de propósito geral. Houve um aumento no acesso a recursos educacionais, como guias 0xPARC e zk-learning.org, por parte dos desenvolvedores. O processo de ZK rollups processa bilhões de transações Ethereum, aumentando a escalabilidade e reduzindo custos. Claire começou em 2019, tendo que manobrar em uma pequena sociedade com recursos limitados. Em 2025, ela está familiarizada com 80 por cento dos desenvolvimentos ZK. Ela ensina as pessoas a ler questões difíceis que literalmente derretem seu rosto e enfatiza a persistência e a curiosidade.