Se você estiver operando uma aplicação on-chain, um coprocessador ZK é uma ferramenta essencial para permitir que você dimensione sua lógica on-chain enquanto mantém baixos os custos do gás. Nesta postagem, revisamos o que é um coprocessador, por que ele é importante e como você pode usar a arquitetura do coprocessador Bonsai ZK para dimensionar seu aplicativo.

Limitações computacionais de aplicativos on-chain

Ter seu aplicativo executado inteiramente no EVM traz desvantagens. Tarefas que exigem computação pesada ou grandes armazenamentos de dados exigem taxas de gás tão altas que o uso do seu aplicativo pode rapidamente se tornar um custo proibitivo. Isso significa que certos recursos não são realisticamente possíveis no EVM, limitando o potencial de suas aplicações.

O truque é mover a computação para fora da cadeia, reduzindo drasticamente as taxas de gás e tornando seu aplicativo mais atraente para os usuários. Tradicionalmente, isto exigiria confiar na computação executada num servidor centralizado, sacrificando o ecossistema verificável do Ethereum em nome da poupança de custos. Felizmente, as provas ZK fornecem uma maneira de verificar com segurança esses resultados fora da cadeia, ao mesmo tempo que mantêm os valores fundamentais da descentralização e por uma fração dos custos dentro da cadeia.

Entrando no Chat: Coprocessador Bonsai ZK

A arquitetura do coprocessador Bonsai ZK amplia os recursos de aplicativos on-chain com computação off-chain programável e verificável. Em vez de criar sua própria infraestrutura ZK, você pode fazer upload do programa e solicitar que o Bonsai gere provas sob demanda.

A arquitetura do coprocessador Bonsai ZK é alimentada pela conexão de nosso zkVM e Bonsai com Ethereum usando nosso ETH Relay. Isso nos permite estender a funcionalidade dos contratos inteligentes Ethereum, permitindo que os aplicativos portem a lógica para o Rust e executem a lógica fora da cadeia no Bonsai.

Bonsai: um coprocessador ZK para Ethereum

Construído por RISC Zero, usando o RISC Zero zkVM

Aproveitando o ZK para tornar suas aplicações on-chain mais enxutas e baratas

– RISC Zero (@RiscZero) 7 de julho de 2023

Uma observação importante é que o Bonsai não está restrito ao Ethereum. Qualquer blockchain que possua uma camada de execução e consenso pode aproveitar o coprocessador Bonsai para deslocar a execução ou a computação fora da cadeia.

Alguns exemplos incluem:

• Camada 2 otimista, como otimismo e arbitragem
• ZK Camada 2, como Starkware e ZKSync
• EVM Camada 1, incluindo Avalanche e Polygon
• Camada 1 não EVM, abrangendo Solana e Aptos
• Cosmos inter-cadeados

O que é um coprocessador?

Um coprocessador serve como companheiro de um processador, permitindo a computação de descarregamento em um sistema com recursos limitados. Por exemplo, executar um modelo de IA como o ChatGPT no seu celular seria inviável. Seu telefone é lento, tem armazenamento limitado, você está pagando para baixar o modelo enorme e a duração da bateria é limitada. No entanto, quando você faz uma pergunta ao ChatGPT, ela é enviada para um servidor dedicado, onde pode ser executada de maneira barata e eficiente e, em seguida, enviar uma resposta. Dessa forma, os servidores do ChatGPT atuam como um coprocessador de IA para os recursos limitados do seu celular.

Por outro lado, o EVM funciona como uma plataforma versátil capaz de executar diversas operações. Análogo a um dispositivo pessoal, o EVM pode realizar diversas tarefas, mas nem sempre pode ser o mais eficiente para operações de alto volume. E o zkVM, assim como um computador em nuvem ou mainframe, foi projetado para tarefas de uso geral, mas se destaca em velocidade e economia.

Arquitetura do coprocessador Bonsai ZK

Chame Bonsai, especificando qual programa e entradas executar. Você pode chamar Bonsai de duas maneiras:

• Ligue para Bonsai do Ethereum: ligue para o contrato BonsaiRelay do seu contrato inteligente.

• Chame Bonsai fora da cadeia: chame Bonsai usando a API REST.

O Bonsai executa seu programa fora da cadeia no zkVM com as entradas que você forneceu.

O Bonsai envia uma prova do programa executado de volta ao BonsaiRelay.

A prova é verificada por um verificador on-chain.

Seu contrato recebe o resultado verificado.

O Bonsai reduz enormemente as taxas de gás e expande os recursos dos aplicativos on-chain – eliminando as barreiras de preços para seus usuários e, ao mesmo tempo, oferecendo aos desenvolvedores oportunidades mais amplas. Essa arquitetura permite que você mova as partes caras do seu aplicativo, até mesmo toda a lógica, de seus contratos inteligentes do Solidity para um programa Rust que é executado fora da cadeia.

Casos de uso para coprocessadores ZK

Muitas aplicações, como jogos on-chain ou livros de pedidos com limite central, precisam de computação fora da cadeia para serem econômicas. No entanto, qualquer lógica de aplicação que exija mais de 250K de gás pode potencialmente reduzir custos com coprocessadores ZK.

Os DAOs são um exemplo perfeito de atividade coletiva na cadeia, envolvendo muitos atores e múltiplos contratos inteligentes e levando a uma computação pesada. Os coprocessadores ZK para governança DAO garantem computação fora da cadeia para gás mais barato e verificação de dados na cadeia entre as partes. Com o governador do Bonsai DAO, os membros do DAO conseguiram reduzir suas taxas de gás em mais de 50% (de US$ 6 a 9 para apenas US$ 2 a 3 por voto durante 23 de julho) movendo a computação para fora da cadeia. Em breve divulgaremos mais sobre como construímos o Governador Bonsai!

Outro caso de uso notável inclui verificação de Web2 para Web3. Por exemplo, Bonfire Wallet permite aos usuários criar uma carteira gravadora usando WebAuthn, enquanto o Bonsai ZK Coprocessor lida com computação fora da cadeia.

Bonsai: um coprocessador ZK para Ethereum

Construído por RISC Zero, usando o RISC Zero zkVM

Aproveitando o ZK para tornar suas aplicações on-chain mais enxutas e baratas

– RISC Zero (@RiscZero) 7 de julho de 2023

Construa com Bonsai

Para usar o Bonsai como coprocessador para Ethereum, tudo que você precisa fazer é:

Escreva um aplicativo zkVM que lide com a lógica do seu aplicativo

Escreva um contrato do Solidity que peça ao Bonsai para executar seu aplicativo zkVM e o que fazer com os resultados

Em seguida, siga as instruções no guia de implantação.

O Bonsai pode ajudar se você deseja retirar cálculos pesados da cadeia ou precisa gerar provas para seu software verificável e confiável. Em caso de dúvidas, entre em contato com nossa equipe no Discord!

Isenção de responsabilidade:

1. Este artigo foi reimpresso de [risczero]. Todos os direitos autorais pertencem ao autor original [KAYLEI ATCHLEY]. Se houver objeções a esta reimpressão, entre em contato com a equipe do Gate Learn e eles cuidarão disso imediatamente.
2. Isenção de responsabilidade: As opiniões e pontos de vista expressos neste artigo são exclusivamente do autor e não constituem qualquer conselho de investimento.
3. As traduções do artigo para outros idiomas são feitas pela equipe do Gate Learn. A menos que mencionado, é proibido copiar, distribuir ou plagiar os artigos traduzidos.