A prova de conhecimento zero nasceu em 1985 e, ao longo dos últimos 40 anos, tem sido zombada como uma tecnologia misteriosa de "matemática lunar", mas agora ela está saindo do laboratório e indo para a vanguarda da economia digital. Ao revisar a trajetória de desenvolvimento de todo o setor de ZK, uma conclusão clara pode ser dada: ZK não é mais um remendo de privacidade opcional, mas sim a base de confiança da próxima geração da internet. Este ano, muitos projetos relacionados a ZK surgiram, e os irmãos podem classificá-los como projetos do setor de ZK, mas eu gostaria de dizer que eles são mais segmentados do que imaginamos. Podemos dividi-los pelo ciclo de vida de geração de provas → verificação em lote → confirmação em várias cadeias. Sunccinct e Boundless se posicionam na fase de geração de provas, mas esse setor ainda enfrenta um problema estrutural, que é o gargalo da verificação. Recentemente, o zkVerify @ZKVProtocol apresentou algumas soluções nessa área. O zkVerify é um projeto lançado pela @HorizenLabs, que lançou a primeira cadeia de aplicativos de privacidade no ecossistema Base, e o zkVerify é a primeira cadeia de verificação de provas dedicada. Qual é o significado da eficiência de verificação? É como a fábrica da BMW em Tiexi, Shenyang; embora a capacidade de produção seja impressionante, a logística não acompanha, então não conseguem entregar rapidamente os modelos 3 e 5 aos usuários. No final, eles construíram uma ferrovia que liga diretamente a fábrica ao porto. Para o setor de ZK, também é necessário melhorar o "sistema logístico" da produtividade. Se apenas falarmos de conceitos, as pessoas podem não entender quão sérios são os problemas de desempenho que a verificação enfrenta. Para se ter uma ideia, no Ethereum, o custo de verificar uma prova Gorth16 em períodos de pico chega a 60U. Em 2024, os protocolos ZK queimaram 55 milhões de Gas no Ethereum, e o pior é que o Ethereum só pode processar no máximo 15 verificações de provas por segundo. Como isso pode permitir o desenvolvimento do setor? O zkVerify, como a primeira cadeia de verificação de provas dedicada do mundo, suporta compatibilidade com vários sistemas de provas, como STARKs, Plonky2 e SP1, podendo reduzir os custos em até 90%. O seu design mais central é desacoplar a geração de provas da verificação de provas, um design que realmente foi feito para o ecossistema ZK atual. No futuro, quem se especializa em gerar provas pode se concentrar nisso, enquanto ele se encarrega da verificação. Como um novo sistema de verificação, o zkVerify também está explorando uma narrativa mais ampla, que é a fusão de AI x ZK. Atualmente, há muitos projetos falando sobre AI, e eu acho que um ponto muito valioso do zkVerify é que eles valorizam muito a comunidade de desenvolvedores, realmente fazendo coisas concretas. Eu dei uma olhada no que eles atualizaram no blog e no YouTube no último ano, compartilhando muitas histórias de colaboração, e é possível ver como eles estão construindo passo a passo. Na próxima semana, no dia 30 de setembro, eles farão o TGE. A partir da economia de tokens, também é possível ver a intenção da equipe; todas as taxas de verificação geradas pelo projeto serão pagas com $VFY, e a participação da comunidade é de 37,31%, a maior. Agora ainda há oportunidades de participação; eles criaram um jogo chamado ZK Space Invaders, e as recompensas do jogo podem ser trocadas pelo token principal $VFY no dia do TGE. Como uma cadeia de provas dedicada, projetada para modelos de AI, o zkVerify, se compararmos a Succinct e Boundless como usinas de energia ZK, eu diria que o zkVerify é a rede elétrica de ZK, que realmente abrirá o teto para o crescimento do ZK.