Espero que possamos nos tornar o Chainlink deste campo, onde os usuários não precisam perceber nossa existência, mas os clientes podem construir suas pilhas de tecnologia que fazem a transição perfeita da Web2 para a Web3 com nossa assistência. A ideia de Vitalik Buterin de fundar o Ethereum foi desencadeada por um personagem amado de "World of Warcraft" que a Blizzard alterou, e ainda representa a intenção original dessa indústria: como efetivamente quebrar o medo de servidores centralizados em aplicativos de alta concorrência amplamente populares (como jogos).

Como ele afirmou em seu discurso mais recente na Token2049, existem dois caminhos errados: sacrificar a usabilidade pela descentralização ou tornar-se um ecossistema que só atrai a si mesmo. No entanto, "não estamos destinados a ficar presos a essas duas escolhas; podemos equilibrar descentralização e usabilidade."

Para alcançar isso, toda a indústria de blockchain passou por mudanças significativas ao longo da última década, evoluindo de blockchains monolíticos para blockchains modulares, de Camada 1 para Camada 2, com aumento de TPS e volumes de transações. No entanto, ainda não vimos uma verdadeira adoção em massa, deixando muitos praticantes confusos.

Vamos pegar os rollups, por exemplo. Os rollups atuais tendem a se concentrar na compatibilidade extrema com os aplicativos de blockchain existentes, ao mesmo tempo em que alcançam uma expansão exponencial da capacidade de transação. Isso parece equilibrar a descentralização e a usabilidade. No entanto, com a infraestrutura configurada, muitas soluções de Camada 2 se tornaram 'cidades fantasmas'. Por que isso acontece?

Uma razão é que a suposição subjacente da infraestrutura de rollup atual é que a usabilidade e a atratividade das blockchains existentes são suficientes para atrair aplicações e desenvolvedores de nível Web2. No entanto, no ranking de 2023 do GitHub das linguagens de programação, a popularidade de linguagens como Solidity, Cairo e Move nem sequer chega às duas primeiras páginas. Para os usuários, a fragmentação entre diversas soluções de Camada 2, os longos tempos de espera para confirmação da finalidade e os problemas de centralização decorrentes da governança por comitês têm sido amplamente discutidos na indústria, portanto, não há necessidade de elaborar mais.

Imagine um cenário em que os desenvolvedores podem usar suas linguagens de programação mais familiares, seja Rust, C++ ou Go, para criar os jogos que desejam, sem precisar de nenhum conhecimento extra de criptografia, com base na lógica de desenvolvimento que já entendem. Os usuários não precisariam incorrer em tempo e custos monetários adicionais para gerenciar seus ativos e dados do jogo, não se preocupando mais que uma entidade centralizada a quilômetros de distância possa eliminar anos de evolução com apenas um clique ou mudar arbitrariamente as regras. Como os desenvolvedores e usuários escolheriam em tal cenário?

Isso não é um sonho impossível; é exatamente o que o protagonista deste artigo, Delphinus Lab, juntamente com vários outros projetos zkVM, está trabalhando.

Por que zkVM?

“O futuro do Ethereum será multi-cadeia - semelhante à visão multi-cadeia do Cosmos, mas com a Camada 1 fornecendo disponibilidade de dados e segurança compartilhada.” —Vitalik Buterin

O mundo futuro pertence a soluções multi-cadeia. Assim como toda empresa hoje tem um site, no futuro, toda empresa ou projeto terá um rollup dedicado conectado ao Ethereum (ou outra rede de valor descentralizada). As operações do usuário dentro deste projeto serão empacotadas e enviadas para o Ethereum mainnet para verificação, com o rollup dedicado garantindo a experiência ideal para os usuários, enquanto a rede Ethereum será responsável pela segurança geral, armazenamento de dados principais e, mais crucialmente, serviços de liquidação.

No entanto, como mencionamos anteriormente, a visão atual de várias cadeias não é amigável para os desenvolvedores e aplicativos mais populares deste mundo. Os dados mostram que os desenvolvedores Web3 representam apenas cerca de 0,07% de todos os desenvolvedores em todo o mundo, e o número de desenvolvedores Solidity é ainda menor. Isso torna improvável aumentar significativamente o número de desenvolvedores por meio de zkEVMs competindo pelos recursos existentes de desenvolvedores Solidity ou atrair desenvolvedores para dominar uma nova linguagem de curva de aprendizado íngreme. Por outro lado, os aplicativos desenvolvidos usando linguagens tradicionais da Web2 não podem ser executados nativamente como contratos nativos de blockchain, o que bloqueia uma via crucial para dimensionar aplicativos on-chain.

Precisamos de uma solução de escalonamento win-win que possa acomodar ambientes de desenvolvimento tradicionais e integrar aplicativos de maneira transparente ao ecossistema atual de blockchain de forma confiável.

Atualmente, a tecnologia ZK é reconhecida como a abordagem mais comum para integrar programas em blockchains de forma confiável. No entanto, muitas pessoas ainda percebem ZK como 'difícil de aprender' e 'difícil de implementar'. Isso ocorre porque, nos primeiros dias da tecnologia ZK, os desenvolvedores costumavam usar linguagens ZK especializadas como Cairo e Noir para desenvolver aplicativos ZK, que na verdade são mais desafiadores para os programadores utilizarem flexivelmente em comparação com linguagens de desenvolvimento de blockchain como Solidity.

Com o rápido desenvolvimento da tecnologia ZK nos últimos anos, esse problema gradualmente tem sido enfrentado, e desenvolver um zkVM de propósito geral já não é mais um sonho inatingível. Em 2022, a Delphinus Lab lançou o primeiro zkVM de código aberto com suporte a WASM, marcando um passo crítico em seus esforços para alcançar a integração confiável de aplicações. Os leitores podem consultar o artigo intitulado ZAWA: Um emulador ZKSNARK WASM” por Sinka Gao e seus colegas publicado na IEEE para detalhes técnicos. Conforme declarado neste artigo, “…propusemos e implementamos a primeira máquina virtual ZKSNARK Wasm que suporta a especificação Wasm, capaz de gerar provas de conhecimento zero concisas de correção para resultados de execução. Além disso, ao fornecer ZAWA, programas existentes compilados para Wasm podem atender aos requisitos emergentes de privacidade e confiança na computação em nuvem e na computação de borda sem modificações.”

Para leitores não familiarizados com o que é o Wasm, trata-se de um bytecode suportado pelos principais navegadores web mainstream. Ele fornece um alvo de compilação eficiente para linguagens de origem como C, C++ e Rust, que podem ser compiladas em seu navegador para serem executadas em velocidade quase nativa em sua CPU. Em 2019, foi oficialmente aceito como o quarto novo padrão da web pela W3C, possuindo um potencial revolucionário significativo de desempenho.

Quanto ao que é o zkWASM, recomendamos a leitura do Guia final para zkWASMpor Sandeep, co-fundador da Polygon. Neste post do blog, Sandeep afirma ousadamente que zkWASM combina a flexibilidade da programação tradicional com provas de conhecimento zero focadas na privacidade, trazendo novos casos de uso para a tecnologia descentralizada, garantindo segurança, privacidade e interoperabilidade robustas. Ele tem o potencial de perturbar a indústria blockchain.

Por que Sandeep faz tal afirmação? Primeiro, o Wasm, como um formato de instrução binária, foi originalmente projetado para ser portátil e de alto desempenho, suportando quase todas as linguagens de programação que você pode imaginar, incluindo C++, Rust, Python, Go, Java, JavaScript, Ruby, Swift e muito mais. Como quase todos os navegadores da Web têm intérpretes Wasm integrados, isso significa que os desenvolvedores podem escolher a linguagem mais adequada com base em suas preferências e necessidades do projeto, melhorando a eficiência do desenvolvimento e a qualidade do código. Com a adição da tecnologia ZK, o zkWASM torna-se ainda mais poderoso. Os desenvolvedores podem escrever aplicativos de privacidade em suas linguagens de programação preferidas sem qualquer conhecimento prévio de provas de conhecimento zero. Pode-se dizer que o zkWASM oferece uma combinação de segurança, escalabilidade, interoperabilidade e proteção de privacidade. Ele não apenas aborda as questões de blockchain e dApps, mas também acelera a implementação de ZK-ML e ML on-chain, representando uma "forte sinergia" ideal.

Mantenha-se otimista, mas não de forma cega.

Devido ao rápido progresso dos zkVMs nos últimos anos, alguns otimistas no espaço zkVM, como Bobbin Threadbare da Polygon Miden, acreditam até mesmo que:

"A solução ideal nas circunstâncias atuais é construir um zkVM baseado em WASM ou RISC-V, idealmente suportando linguagens como Rust, Go, C++, e até Solidity. Se um zkVM de propósito geral existisse, seria um ataque de redução de dimensionalidade nos zkEVMs."

No entanto, como criador da máquina virtual de código aberto zkWASM, o Delphinus Lab adota uma abordagem mais cautelosa. Em seu roteiro previsto para 2022, embora o zkWASM seja o adesivo mais crítico na estratégia geral, está longe de ser suficiente para apoiar o grande plano de "ligar aplicativos da Web2 de forma confiável à Web3." A razão está na seguinte fórmula:

"Disposição do desenvolvedor = Incentivos econômicos"Maturidade da Ferramenta"Volume de Código Reutilizável" - Sinka Gao, Fundador do Delphinus Lab

Pelo lado direito da fórmula, podemos ver que uma máquina virtual geral não tem um peso significativo para incentivar os desenvolvedores. Assim como o kernel do Linux requer dispositivos, drivers e APIs POSIX fortes para demonstrar seu valor, os zkVMs não apenas devem ser robustos, mas também aproveitar plataformas maduras, uma base de código da comunidade sólida e efeitos econômicos estabelecidos para alcançar um ciclo positivo de negócios e tecnologia.

Para os leitores que buscam mais compreensão sobre zkVMs, eles descobrirão que, além do zkWASM do Delphinus Lab, muitas outras equipes e soluções de primeira linha estão ativas neste espaço, como RISC-ZERO, SP1 da Succinct, Valida e Nexus (que adotou o Jolt na versão 2.0). Atualmente, a principal métrica competitiva para essas máquinas virtuais é o número de instruções que podem ser comprovadas em um determinado período de tempo. Por exemplo, os dados de desempenho do RISC-ZERO de meados de 2024 indicam que ele pode provar um milhão de instruções RiscV em uma GPU 4090 em cerca de 10 a 12 segundos. Enquanto isso, o Delphinus Lab também está fazendo esforços contínuos para otimizar o desempenho do zkWASM. Atualmente, o zkWASM suporta um conjunto de instruções de 64 bits, exigindo 15 segundos para provar um milhão de instruções em uma GPU 4090, consumindo 64 GB de memória.

2024 Mapa de Mercado da ZK Capital Elétrico: Infraestrutura Principal

Mas será que o desempenho pode determinar tudo? Podemos voltar para as classificações anuais das linguagens de programação no GitHub, onde as três principais linguagens - JavaScript, Python e Java - são precisamente as linguagens de script com menor desempenho.

O desempenho é apenas uma métrica "habilitadora" para a infraestrutura digital; não é um fator decisivo, nem deve ser distorcido em um objetivo final, levando a uma corrida armamentista desconectada dos casos práticos de uso. Nossa intenção original sempre foi criar aplicações assassinas mais incrementais. Se previrmos que os problemas de "habilitação" serão eventualmente resolvidos, então o desempenho dos backends ZK (como STARK, GKR, Jolt, KZG + dobramento, etc.) acabará se alinhando com a Lei de Moore por meio de engenharia e otimização de hardware. Então, além do desempenho, o que mais permanece do lado certo da equação?

Como Charlie Munger disse, precisamos pescar onde os peixes são abundantes. Para a adoção em massa do Web3, esse "terreno fértil para a pesca" será o navegador. Nesta fase, não podemos dizer definitivamente qual zkVM sairá vitorioso, ou se uma infinidade de soluções florescerá. No entanto, a Delphinus Lab acredita que a adoção do Web3 ainda começará com mini programas, e o navegador é a origem robusta desses mini programas. Seja a versão inicial do navegador do ChatGPT ou várias plataformas de CMS como Shopify e WordPress que estão disponíveis primeiramente em navegadores, a web é de fato a única plataforma verdadeiramente universal acessível em qualquer dispositivo. Além disso, as aplicações web estão em constante evolução, indo desde funções antes simples como pesquisar e enviar e-mails até agora suportar jogos, edição de vídeo, produção musical e muito mais.

WASM foi especificamente projetado para navegadores. Alguns pesquisadores compararam o WASM a um motor mágico, permitindo a execução imediata de aplicativos da web em qualquer lugar com apenas um clique, sem a necessidade de download ou instalação. zkWASM herda essa vantagem, permitindo que os usuários interajam com esses aplicativos no navegador, assim como fariam com aplicativos comuns, sem a necessidade de hardware ou software especial.

Só pode haver benefícios económicos quando existem casos de utilização e utilizadores. O que o zkWASM pretende resolver é o problema da "última milha" para inúmeras aplicações Web2 de pequeno e médio porte que buscam entrar no mundo Web3. Em comparação com o JavaScript tradicional, o WASM oferece a capacidade de rodar de forma eficiente em navegadores, desbloqueando o potencial de trazer muitos outros aplicativos para os terminais do navegador. O zkWASM facilitará ainda mais a entrada desses aplicativos no reino Web3, servindo como um catalisador para a adoção em larga escala do Web3.

Mapa de roteiro do Delphinus Lab

Uma Visão para Ecossistemas Colaborativos

"Espero que possamos nos tornar o Chainlink deste campo, onde os usuários não precisam estar cientes de nossa presença, mas os clientes podem construir suas próprias pilhas de tecnologia, fazendo a transição perfeita do Web2 para o Web3 com nossa ajuda." \
— Sinka Gao, Fundador do Delphinus Lab

Quando a tecnologia passa do laboratório para o mercado, simplesmente discutir a tecnologia não é suficiente. A capacidade de engenhar a tecnologia em produtos utilizáveis, juntamente com abordagens estratégicas de ecossistema, desempenhará um papel significativo na determinação do sucesso ou fracasso dessa tecnologia.

Desde o início, a Delphinus Lab adotou uma abordagem pragmática focada em servir de coração os clientes de pequeno e médio porte. Em sua colaboração com Blade Games, a Delphinus Labs não só ajudou a introduzir o zkWASM para validar seu jogo de defesa de torres, mas também co-desenvolveu a primeira solução da indústria que permite que jogos verificáveis sejam criados diretamente a partir do Unity. Os desenvolvedores de jogos podem usar a familiar linguagem de programação C# em vez de Solidity, Rust ou Cairo, eliminando a necessidade de esforços demorados e intensivos em trabalho para unificar a renderização e animação do mecanismo Unity com o código de lógica de jogo Solidity/Cairo baseado em Mud/Dojo.

Usando essa solução de desenvolvimento colaborativo como base, a Blade Games e vários estúdios de jogos desenvolveram vários jogos verificáveis em cadeia, como Fábrica de Dunas, Craftpunk, e o jogo estratégico recentemente testado em beta 0xPioneer. Isso os torna os primeiros na indústria a aproveitar uma pilha de tecnologia ZK modular para criar uma infraestrutura de mecanismo de jogo totalmente on-chain.

A colaboração com a MineMatrix é semelhante. A indústria tem lutado há muito tempo com o problema de a maioria dos benefícios do airdrop serem reivindicados por bots, deixando os usuários reais com recompensas mínimas. Com base na tecnologia zkWASM, a MineMatrix desenvolveu um modelo de jogo digital que permite aos usuários provar sua autenticidade resolvendo problemas envolventes NP-hard sem revelar sua identidade, garantindo assim a distribuição justa de airdrops. Esse modelo é totalmente flexível e aberto, permitindo que os projetos ajustem enredos, modifiquem mecânicas de jogo ou integrem NFTs de acordo com seu estilo ou necessidades. O mecanismo baseado em zkWASM fornece aos clientes soluções prontas para uso a qualquer momento.

Esta sempre foi a posição do Delphinus Lab. Além de trazer desenvolvedores Web2 para a Web3 para construir aplicações verificáveis, é ainda mais importante capacitar o ecossistema. "Espero que nossos clientes possam desenvolver suas próprias pilhas de tecnologia com nossa assistência, em vez de nos transformarem em sua única dependência tecnológica", diz Sinka Gao.

Por outro lado, ao colaborar com clientes pequenos e médios, muitas vezes adotam uma abordagem excessivamente abrangente, fornecendo apenas soluções embaladas, o que não permite que esses clientes ampliem suas capacidades.

O compartilhamento de capacidades é um aspecto, mas compartilhar lucros é um desafio muito mais difícil. A relação entre Delphinus Lab e seus validadores é de benefício mútuo, ao invés de uma simples relação fornecedor-cliente. Tome a colaboração entre Delphinus Lab, zkCross e a Rede Gevolut como exemplo. Na intuitiva plataforma ZKCross Playground, desenvolvedores podem escrever código online, compilá-lo em bytecode compatível com zkWasm, assiná-lo com suas chaves privadas e, em seguida, enviá-lo para um nó ZKCross. O nó lida com as tarefas restantes, como armazenamento de prova e armazena a transação e a prova na camada de disponibilidade de dados (DA) de uma blockchain modular (como Avail), além de encaminhar a prova gerada para a Rede Gevolut.

Durante todo esse processo, qualquer pessoa pode executar um nó e compartilhar as recompensas de validação, bem como incentivos futuros de airdrop potenciais. Desde junho deste ano, a Delphinus Lab abriu permissões de operação de nó para terceiros. Qualquer pessoa interessada em se tornar um nó zkWASM externo pode se juntar e ganhar um incentivo de recompensa de 3% durante o período de teste.

Existem muitas colaborações semelhantes de ganha-ganha, como o lançamento conjunto do compilador zkGo com ETH Storage e Hyper Protocol, que marca a primeira vez na indústria que o código Go convencional foi compilado em código Wasm compatível com o protocolo ZK. Além disso, há a parceria com Pi Squared para integrar provas zkWASM com sua Camada de Liquidação Universal (CLU), e colaboração com a ferramenta de desenvolvimento de código aberto Spin para ajudar seus usuários a construir e executar aplicativos verificáveis usando zkWASM.

O Delphinus Lab também leva em consideração as perspectivas de todos os participantes da indústria, considerando como cada elo na cadeia de valor pode obter recompensas razoáveis para promover um desenvolvimento saudável. Por exemplo, na indústria de jogos, eles compartilharam insights em um artigo previamente publicado intituladoO Dilema e Soluções do Jogo Web3.Eles propuseram construir cadeias de aplicativos rollup por meio de um SDK de mini-rollup, oferecendo uma plataforma de empréstimo com um clique para permitir que os usuários peguem emprestado tokens de jogos, resolvendo assim os desafios de financiamento inicial para os usuários de jogos. Essa abordagem também serve efetivamente como uma ponte nativa entre cadeias para ativos de jogos, permitindo que parte do valor gerado a partir de derivativos de jogos seja capturada pelo próprio jogo.

Nesta fase, os empreendedores Web3 precisam se concentrar não em como dividir uma torta limitada, mas em como fazer a torta crescer juntos. Somente quando os portões forem largos o suficiente e os caminhos estiverem claros, um grande número de desenvolvedores e usuários poderá entrar. Com um influxo contínuo de novos participantes, o Web3 pode evitar a armadilha de se tornar uma câmara de eco isolada ou cair nas armadilhas do niilismo cripto.

Muitos acreditam que o atual ciclo cripto é um ciclo de nada, com o mercado reduzido a um jogo de altos e baixos dependentes das ações dos EUA. No entanto, inovações fundamentais genuínas estão surgindo nas margens, longe do escrutínio público. Como Vitalik afirmou: 'Não estamos nas fases iniciais da indústria de criptomoedas, mas sim nas fases iniciais das criptomoedas realmente utilizáveis.' Os verdadeiros construtores desta indústria devem prever com confiança que o mercado eventualmente retornará a um 'ciclo de aplicação' caracterizado por receitas reais, monopólios genuínos e casos de uso autênticos. Como esperamos, nos próximos cinco anos, o zkWASM se provará um projeto capaz de circulação econômica sustentável, ajudando as aplicações Web2 a darem o salto crítico para a Web3 e se tornando uma força motriz crucial no crescimento da indústria.

Declaração:

1. Este artigo é reproduzido a partir de [TechFlow], os direitos autorais pertencem ao autor original [Laboratório Dolphin], se você tiver qualquer objeção à reprodução, por favor entre em contato comEquipe Gate Learn, a equipe irá lidar com isso o mais breve possível de acordo com os procedimentos relevantes.

2. Aviso Legal: As visões e opiniões expressas neste artigo representam apenas as visões pessoais do autor e não constituem qualquer conselho de investimento.

3. As traduções do artigo para outros idiomas são feitas pela equipe Gate Learn. Salvo indicação em contrário, copiar, distribuir ou plagiar os artigos traduzidos é proibido.