"ZK Track Active Project Sharing" (em inglês). 🙌 Há muito tempo que penso no que escrever, e meus amigos que me conhecem sabem que sempre me interessei por zk. Vamos dar uma olhada nos projetos ZK que têm estado muito ativos recentemente (com atividades de incentivo em andamento) e gradualmente ativos (com atividades de incentivo futuras). Este artigo analisa sistematicamente os cinco projetos mais ativos e de alto perfil na atual trilha ZK: @NexusLabs, @RiscZero @boundless_xyz, @SuccinctLabs, @zerobasezk e @Zypher_Network. Será compartilhado sob a perspectiva da introdução do projeto, arquitetura técnica (principais produtos funcionais), atividades e incentivos recentes e compartilhamento de autores. A tabela abaixo fornece um breve resumo das principais informações de cada projeto para facilitar a comparação visual, e os tweets encadeados detalharão cada item. Vamos dar uma olhada rápida em ZK, VM e zkVM zk (Zero-Knowledge): refere-se a "zero-knowledge", que é um conceito amplo em criptografia, o que significa que uma parte (o provador) pode provar a verdade de uma declaração para a outra parte (verificador) sem revelar nenhuma informação adicional durante a interação. Uma máquina virtual (VM) é um sistema de computador simulado por software e capaz de executar sistemas operacionais e aplicativos como um computador físico real. Simplificando, uma máquina virtual é como criar um "computador virtual" em seu computador, no qual você pode instalar diferentes sistemas operacionais (como Windows, Linux, etc.) e executar software sem afetar seu sistema host real. As principais características das máquinas virtuais são isolamento e virtualização. Por que você precisa de máquinas virtuais (VMs) para o desenvolvimento de blockchain? 1⃣️ Ambiente de execução determinística Blockchain é uma rede descentralizada mantida em conjunto por muitos nós. Para garantir a consistência da rede, todos os nós devem chegar a um consenso sobre o resultado da execução do contrato inteligente. As máquinas virtuais fornecem um ambiente de execução padronizado que garante que o mesmo código e entrada produzirão exatamente a mesma saída em qualquer nó. Essa "certeza" é a base para a operação do blockchain. 2⃣️ Segurança Os contratos inteligentes geralmente envolvem ativos valiosos, como criptomoedas ou tokens, portanto, a segurança é fundamental. A máquina virtual usa a tecnologia de sandbox para isolar o código do contrato e evitar que códigos mal-intencionados prejudiquem nós ou redes. Por exemplo, a máquina virtual no Ethereum usa o mecanismo "gás" para limitar o consumo de recursos do contrato e evitar loops ou ataques infinitos. 3⃣️ Portabilidade As máquinas virtuais permitem que os desenvolvedores escrevam código de contrato inteligente uma vez e o executem em qualquer nó que suporte a máquina virtual, sem se preocupar com diferenças no hardware ou sistema operacional subjacente. Isso simplifica muito o processo de desenvolvimento e implantação. 4⃣️ Padronização As máquinas virtuais fornecem um conjunto unificado de conjuntos de instruções e modelos de execução, permitindo que os desenvolvedores confiem em uma plataforma padronizada para criar contratos inteligentes. Essa padronização promove a colaboração na comunidade de desenvolvedores e um ecossistema próspero. 5⃣️ Flexibilidade e escalabilidade As máquinas virtuais oferecem suporte a uma variedade de linguagens e ferramentas de programação, permitindo que os desenvolvedores escrevam código de uma maneira com a qual estejam familiarizados. Ao mesmo tempo, o design das máquinas virtuais pode ser atualizado à medida que a tecnologia avança, adicionando novos recursos ou otimizando o desempenho. Simplificando, as máquinas virtuais fornecem um ambiente operacional seguro, consistente e portátil para blockchains e são tecnologias-chave para a execução de contratos inteligentes. Por exemplo, EVM é a abreviação de "Ethereum Virtual Machine", que também é a infraestrutura de 90% das cadeias públicas nesta fase. zkVM: É uma combinação de uma VM e um ZK: ele pode executar um programa (como uma máquina virtual) e gerar uma "prova de conhecimento zero" que prova que o programa está sendo executado corretamente enquanto protege a privacidade. O zkVM é particularmente útil no espaço blockchain e suas vantagens incluem: · Proteção de privacidade: Em transações financeiras, o zkVM pode provar que uma transação é válida (por exemplo, o saldo da conta é suficiente), mas não divulga o valor específico ou as informações da conta. · Escalabilidade: Na Camada 2, o zkVM pode verificar a exatidão de milhares de transações e, em seguida, armazenar apenas uma breve prova na cadeia principal, em vez dos detalhes de cada transação. Isso permite que o blockchain processe mais transações, reduzindo custos e encargos. #Nexus, #RiscZero e #Succinct pertencem à trilha zkVM. O próximo passo será analisar cada um por um.