『ZK é o fim do jogo？Uma imagem para entender: como a prova de conhecimento zero muda a blockchain』 Recentemente, uma onda de projetos coletivamente trocando avatares e se juntando ao pequeno pinguim tomou conta das redes sociais, fazendo com que as pessoas se perguntassem se algo grande estava por vir. Lembro-me de que a última vez que isso aconteceu foi com "ZK é o fim do jogo", onde cada pessoa do Web3, de alguma forma, conhece ou já ouviu falar de ZK. Para que os amigos possam entender melhor o estágio atual da pista ZK, organizei a evolução da prova de conhecimento zero x blockchain ao longo de dez anos. O projeto ZK que mais me entusiasma atualmente é o @boundless_xyz. Vamos começar! 🗓️ A evolução da prova de conhecimento zero no campo da blockchain 🔹Fase 1: 2014~2016: A primeira combinação do ZKP com a blockchain 2014: O ZKP começa a ser notado Vitalik Buterin e outros começam a explorar as possibilidades do zk-SNARKs no Ethereum; zk-SNARKs é um sistema de prova de conhecimento zero que elimina a necessidade de interação usando números aleatórios públicos ou funções hash. É mais adequado para cenários de blockchain. O ZKP é visto como uma tecnologia de privacidade potencial. 2016: Lançamento do Zcash (momento histórico) O Zcash é o primeiro projeto a realmente usar zk-SNARK na mainnet. Ele permite transações completamente anônimas (endereços e valores invisíveis). Depende de uma configuração confiável (Trusted Setup). 🔹Fase 2: 2017~2019: Abertura do código do ZKP e otimização de desempenho Começam a surgir frameworks de prova de conhecimento zero: Bibliotecas de código aberto como libsnark, Bellman, etc. são lançadas; mais projetos pesquisam como gerar provas mais rapidamente e verificar mais barato. Os projetos começam a experimentar aplicações de segunda camada: StarkWare, Aztec, ZKSync, etc. começam a pesquisar zkRollup; StarkWare lança zk-STARK, que não depende de configurações confiáveis e é resistente a ataques quânticos; Bulletproofs é adotado pelo Monero para transações de privacidade mais compactas. 🔹Fase 3: 2020~2021: A utilidade do ZKP e a explosão do zkRollup O zkRollup se torna uma rota popular de escalabilidade: o zkRollup move uma grande quantidade de cálculos para fora da cadeia, colocando apenas as provas na cadeia; alcançando "segurança + baixo custo + alta capacidade de processamento". Projetos representativos: ZKSync: baseado em zk-SNARK, suporta transferências e transações; Loopring: suporta DEX zkRollup; StarkEx: motor zkRollup de alto desempenho lançado pela StarkWare; Aztec 2.0: constrói um sistema de contratos inteligentes de privacidade usando ZKP. 🔹Fase 4: 2022~2023: zkEVM e computação geral O zkEVM surge: traz a máquina virtual Ethereum (EVM) para o ZKP O zkEVM permite que os desenvolvedores continuem a usar Solidity para escrever contratos; cada instrução executada na EVM pode ser "provada". Rotas principais do zkEVM: Polygon zkEVM: altamente compatível com Solidity ZKSync Era: alto desempenho, compatibilidade em aumento gradual Scroll: compatibilidade máxima com clientes Ethereum Taiko: equivalência total (meta) Outras inovações: zkVM (como Risc Zero): combina computação geral e ZKP; zkWASM: WebAssembly + ZKP, expande aplicações Web3. 🔹Estágio atual: 2024~2025: Engenharia ZKP, modularização e fusão com IA Diversos ZKDSL (Circom, Noir, Leo, Juvix) amadurecem; a cadeia de ferramentas ZKP suporta linguagens principais como Rust, C, Solidity, etc.; em combinação com IA: fornece provas ZK confiáveis para inferência de modelos e entrada de dados; Caso representativo: Boundless @boundless_xyz: comercialização e mercantilização da prova de conhecimento zero, construindo uma rede de incentivos de computação descentralizada #Kaito #Boudless @blockTVBee @sanyi_eth_ @wenxue600 @0xNing0x