『ZK é o fim do jogo? Entendendo em uma imagem: como as provas de conhecimento zero estão mudando as blockchains Recentemente, as partes do projeto de todas as esferas da vida mudaram coletivamente seus avatares para se juntar à onda de pequenos pinguins, o que tem que fazer as pessoas terem a sensação de fazer coisas juntas. Lembre-se de que a última vez que isso aconteceu foi provavelmente "ZK é o jogo final", e todos na Web3 já conheceram/ouviram falar mais ou menos de ZK. Para que você entenda melhor o status atual da trilha ZK, resolvi o processo de desenvolvimento da prova de conhecimento zero x blockchain por dez anos, e o projeto da trilha ZK sobre o qual estou mais otimista nesta fase é @boundless_xyz Vamos começar! 🗓️ A história das provas de conhecimento zero no espaço blockchain 🔹Fase 1: 2014 ~ 2016: ZKP e blockchain foram combinados pela primeira vez 2014: ZKP começou a ganhar força Vitalik Buterin et al. começaram a explorar as possibilidades de zk-SNARKs no Ethereum; zk-SNARKs são sistemas à prova de conhecimento zero que eliminam 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 em potencial. 2016: Lançamentos da Zcash (Momento Histórico) Zcash é o primeiro projeto a realmente usar zk-SNARKs para mainnet. Transações completamente anônimas são alcançadas (endereços, valores não são visíveis). Depende da configuração confiável. 🔹Fase 2: 2017 ~ 2019: Otimização de código aberto e desempenho da tecnologia ZKP Estruturas à prova de conhecimento zero estão começando a surgir: Bibliotecas de código aberto, como libsnark e Bellman, foram lançadas; Mais projetos analisam como gerar provas de forma mais rápida e barata para verificar. O projeto começou a experimentar aplicativos de Camada 2: StarkWare, Aztec, ZKSync e outros começaram a trabalhar no zkRollup; A StarkWare lançou o zk-STARK, que não depende de configurações confiáveis e é resistente a ataques quânticos; Bulletproofs foram adotados pelo Monero para transações de privacidade mais compactas. 🔹Fase 3: 2020 ~ 2021: ZKP é prático e zkRollup está explodindo O zkRollup tornou-se uma rota popular para dimensionamento: o zkRollup move um grande número de cálculos para fora da cadeia e apenas coloca provas na cadeia; Alcançou "segurança + baixo custo + alto rendimento". Projetos Representativos: ZKSync: baseado no zk-SNARK, suporta transferências e transações; Loopring: suporta zkRollup DEX; StarkEx: O mecanismo zkRollup de alto desempenho da StarkWare; Aztec 2.0: Construindo um sistema de contrato inteligente de privacidade com ZKP. 🔹 Fase 4: 2022~2023: zkEVM e Computação Geral Surge o zkEVM: Trazendo a Ethereum Virtual Machine (EVM) para o ZKP O zkEVM permite que os desenvolvedores continuem a usar o Solidity para escrever contratos; Todas as instruções executadas no EVM podem ser "comprovadas". Principais rotas zkEVM: Polygon zkEVM: Altamente compatível com Solidity ZKSync Era: Alto desempenho e compatibilidade gradualmente aprimorada Scroll: Compatível com clientes Ethereum, tanto quanto possível Taiko: Equivalência Exata (Alvo) Outras inovações: zkVM (por exemplo, Risc Zero): Combina computação de uso geral com ZKP; zkWASM: WebAssembly + ZKP para expandir aplicativos Web3. 🔹 Estágio: 2024~2025: Engenharia ZKP, modularização e integração de IA Vários ZKDSL (Circom, Noir, Leo, Juvix) maduros; O conjunto de ferramentas ZKP suporta linguagens convencionais, como Rust, C e Solidity; Combinado com IA: Forneça provas ZK confiáveis para inferência de modelo e entrada de dados; Caso representativo: Boundless @boundless_xyz: Comercialização e comercialização de provas de conhecimento zero, construindo uma rede de incentivo de computação descentralizada #Kaito #Boudless @blockTVBee @sanyi_eth_ @wenxue600 @0xNing0x