Se está a operar uma aplicação em cadeia, um ZK Coprocessor é uma ferramenta fundamental para lhe permitir dimensionar a sua lógica na cadeia, mantendo os custos do gás baixos. Neste post, analisamos o que é um coprocessador, porque é que é importante e como pode usar a arquitetura do coprocessador Bonsai ZK para dimensionar a sua aplicação.

Limitações computacionais das aplicações em cadeia

Ter a sua aplicação totalmente executada no EVM traz desvantagens. Tarefas que exigem computação pesada ou grandes armazenamentos de dados exigem taxas de gás tão altas que usar a sua aplicação pode rapidamente tornar-se proibitivo em termos de custos. Isto significa que certas funcionalidades não são realisticamente possíveis no EVM, limitando o potencial das suas aplicações.

O truque é mover a computação fora da cadeia, reduzindo drasticamente as taxas de gás e tornando a sua aplicação mais atraente para os utilizadores. Tradicionalmente, isso exigiria confiar no cálculo executado 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, mantendo os valores fundamentais da descentralização e a uma fração dos custos na cadeia.

Entrando no Chat: Bonsai ZK Coprocessador

A Arquitetura do Coprocessador Bonsai ZK estende as capacidades das aplicações em cadeia com computação off-chain verificável & programável. Em vez de criar a sua própria infraestrutura ZK, pode carregar o programa e solicitar que o Bonsai gere provas a pedido.

A Arquitetura do Coprocessador Bonsai ZK é alimentada pela conexão do nosso zKVM e Bonsai com Ethereum usando o nosso relé ETH. Isto permite-nos estender a funcionalidade dos contratos inteligentes Ethereum, permitindo que as aplicações 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 pelo RISC Zero, usando o RISC Zero ZKVM

Aproveitar o ZK para tornar as suas aplicações na cadeia mais magras e mais baratas

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

Uma chamada importante é que o Bonsai não se restringe 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:

• Optimistic Layer 2, como Optimismo e Arbitrum
• ZK Layer 2, como Starkware e ZKSync
• EVM Layer 1, incluindo Avalanche e Polygon
• Camada 1 não EVM, abrangendo Solana e Aptos
• Cosmos intercadeias

O que é um coprocessador?

Um coprocessador serve como um companheiro de um processador, permitindo descarregar a computação num sistema com recursos limitados. Por exemplo, executar um modelo de IA como o ChatGPT no seu telemóvel seria inviável. O seu telemóvel está lento, tem armazenamento limitado, está a pagar para descarregar o modelo massivo e a duração da sua bateria é limitada. No entanto, quando faz uma pergunta ao ChatGPT, é enviado para um servidor dedicado onde pode funcionar de forma barata e eficiente e, em seguida, enviar de volta uma resposta. Desta forma, os servidores do ChatGPT estão a funcionar como um coprocessador de IA para os recursos limitados do seu telemóvel.

Por outro lado, o EVM serve como uma plataforma versátil capaz de executar várias operações. Analogamente a um dispositivo pessoal, o EVM pode lidar com diversas tarefas mas pode nem sempre ser o mais eficiente para operações de alto volume. E o zKVM, muito parecido com um computador na nuvem ou mainframe, foi concebido para tarefas de uso geral mas destaca-se em velocidade e rentabilidade.

Arquitetura do Coprocessador Bonsai ZK

Ligue para o Bonsai, especificando qual programa e entradas executar. Pode ligar para o Bonsai de duas maneiras:

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

• Ligue para o Bonsai fora da cadeia: ligue para o Bonsai usando a API REST.

O Bonsai executa o seu programa fora da cadeia no zKVM com as entradas que forneceu.

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

A prova é verificada por um verificador em cadeia.

O seu contrato recebe o resultado verificado.

O Bonsai reduz maciçamente as taxas de gás e expande as capacidades das aplicações em cadeia — cortando as barreiras de preço para os seus utilizadores enquanto proporciona aos programadores oportunidades mais amplas. Esta arquitetura permite-lhe mover as partes caras da sua aplicação, mesmo toda a lógica, dos seus contratos inteligentes Solidity e para um programa Rust que executa fora da cadeia.

Casos de uso para coprocessadores ZK

Muitas aplicações, como jogos na cadeia 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 os custos com os coprocessadores ZK.

Os DAOs são um exemplo perfeito de atividade coletiva em cadeia que envolve muitos atores e vários contratos inteligentes e levam 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 em cadeia entre as partes. Com o Governador do DAO Bonsai, os membros do DAO conseguiram reduzir as suas taxas de gás em mais de 50% (de 6-9 dólares, para apenas 2-3 dólares por voto durante 23 de julho) movendo a computação fora da cadeia. Vamos divulgar mais sobre como construímos o Governador de Bonsai em breve!

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

Bonsai: Um coprocessador ZK para Ethereum

Construído pelo RISC Zero, usando o RISC Zero ZKVM

Aproveitar o ZK para tornar as suas aplicações na cadeia mais magras e mais baratas

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

Construir com Bonsai

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

Escreva uma aplicação zKVM que lida com a sua lógica de aplicação

Escreva um contrato Solidity que peça ao Bonsai para executar a sua aplicação zKVM e o que fazer com os resultados

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

O bonsai pode ajudar se pretende tirar cálculos pesados fora da cadeia ou precisa gerar provas para o seu software confiável e verificável. Para qualquer dúvida, contacte a nossa equipa no Discord!

Isenção de responsabilidade：

1. Este artigo foi reimpresso de [risczero]. Todos os direitos de autor pertencem ao autor original [KAYLEI ATCHLEY]. Se houver objeções a esta reimpressão, contacte a equipa do Gate Learn, e eles tratarão disso imediatamente.
2. Isenção de responsabilidade: As opiniões e opiniões expressas neste artigo são exclusivamente do autor e não constituem nenhum conselho de investimento.
3. As traduções do artigo para outras línguas são feitas pela equipa do Gate Learn. A menos que mencionado, é proibido copiar, distribuir ou plagiar os artigos traduzidos.