O que é um coprocessor?

Mo Dong, o co-fundador da Celer Network e Brevis, acredita que, em termos simples, um coprocessador é uma ferramenta que "dá aos contratos inteligentes a capacidade do Dune Analytics."

Em termos simples, os contratos inteligentes gerais atuais não podem acessar dados históricos. Por exemplo, ao trabalhar em um Protocolo de Gerenciamento de Liquidez, eu precisava de dados de preços históricos para calcular com que frequência e a que custo os provedores de liquidez excediam a faixa de preços em uma AMM. Tivemos que depender de um serviço de índice hospedado na cadeia como o The Graph’s API GraphQL, porque a agregação, pesquisa e filtragem de tarefas não podem ser realizadas apenas através da interação do contrato. De fato, até a indexação dos dados padrão da transação blockchain é desafiadora, para não falar na leitura de dados mais complexos do que informações básicas.

Em relação aos protocolos de gestão de liquidez, avaliar o desempenho histórico dos pools de teste existentes ou dos pools de usuários ainda requer o uso da API de um serviço de índice hospedado na cadeia. Esses dados são então calculados manualmente no Excel. Existe um serviço capaz de simplificar esse processo, fornecendo contratos inteligentes dapp com a capacidade de agregar, filtrar e analisar esses dados diretamente? Os coprocessadores são projetados para resolver o problema.

Por que é chamado de coprocessor?

Nos primeiros sistemas de computador, o processador da CPU muitas vezes só podia realizar operações básicas. Precisava ser pareado com um "coprocessador" dedicado para realizar tipos específicos de tarefas de computação, como operações de ponto flutuante, para melhorar o desempenho.

Agora, podemos pensar no Ethereum como um supercomputador gigante. Os contratos inteligentes em todo o mundo só podem acessar dados on-chain do bloco atual, não dados históricos, incluindo registros de transações e mudanças de saldo de conta. Isso ocorre porque o design do Ethereum não oferece uma forma para os contratos inteligentes acessarem esses dados históricos.

Acesso a dados históricos para garantir sua confiabilidade requer um método criptográfico que vincule registros históricos ao bloco atual. No entanto, calcular e verificar essa prova em um contrato inteligente diretamente pode ser demorado e caro. Alternativamente, consultas através de nós de armazenamento podem ser feitas, mas contratos inteligentes não podem interagir diretamente com eles, e há uma questão de confiança. Então, como podemos resolver esse problema de confiança e permitir a computação verificável? Em outras palavras, como podemos permitir que um terceiro verifique diretamente os resultados da computação quanto à correção, sem precisar reexecutar a própria computação? A solução pode estar nos coprocessadores, que são semelhantes aos primeiros sistemas de computador. Eles podem ampliar o poder computacional de contratos inteligentes no Ethereum, dando-lhes a nova capacidade de acessar dados históricos e realizar cálculos complexos.

Como um coprocessador geralmente funciona?

Em geral, o fluxo de trabalho principal de um coprocessador que verifica os dados do Ethereum é o seguinte:

1. Consulte os dados históricos e faça cálculos relevantes em um ambiente off-chain por meio de um serviço;

2. O serviço gerará algum tipo de prova para comprovar que sua operação é confiável;

3. O dapp do desenvolvedor interagirá com o contrato do coprocessor implantado no Ethereum para verificar a prova;

4. Após interagir com o contrato do coprocessador e verificar o resultado, o dapp pode acessar diretamente os dados históricos de que precisa sem confiança.

Projetos no Espaço de Coprocessador ou Computação Verificável Larga

Esta seção analisa principalmente as pilhas técnicas-chave e as vantagens competitivas dos principais players no espaço de coprocessador.

Axioma

Um pioneiro no espaço de coprocessadores, Axiom está construindo infraestrutura de dados on-chain para simplificar a interação de contratos inteligentes com dados on-chain. Axiom também é creditado por introduzir o conceito de coprocessadores. Vamos aprofundar mais sobre como o coprocessador deles funciona mais tarde neste artigo, usando Axiom como exemplo.

Lagrange

Lagrange foca em provas de estado entre cadeias e técnicas de processamento paralelo. Suas provas podem alcançar verificação entre cadeias sem depender de protocolos de mensagens entre cadeias como zkBridge ou IBC. O Provador Paralelo da Lagrange é adequado para produtos que envolvem re-empilhamento, solidificando sua posição no ecossistema de RaaS (Rollup as a Service).

Ao contrário das provas sequenciais, as provas paralelas podem distribuir sua carga de trabalho por milhares de threads simultaneamente. Além disso, o re-staking na EigenLayer pode garantir sua segurança. Em outras palavras, essa abordagem de computação paralela e prova paralela permite uma melhor escalabilidade horizontal.

Um caso de uso do mundo real é a aplicação de Lagrange na AltLayer. AltLayer oferece serviços de verificação ativa para Restaked Rollup, ajudando os desenvolvedores a implementar sequenciamento descentralizado e verificar a correção do estado do Rollup de forma eficiente. Em março de 2024, Lagrange se associou à AltLayer para utilizar provadores paralelos para co-processamento de Rollup. Isso garante dados e resultados de computação verificáveis e confiáveis na cadeia para os clientes de RaaS da AltLayer.

Heródoto

Estreitamente ligado ao ecossistema Starkware/Starknet, Herodotus se associa a projetos como Snapshot. Eles chamam seu sistema de coprocessador de “Prova de Armazenamento,” que pode ser combinado com provas de conhecimento zero para permitir acesso de dados entre camadas cruzadas entre diferentes camadas Ethereum.

Fonte: Site de Heródoto

O sistema de prova de armazenamento é composto por três componentes:

1. Provas de Inclusão: Confirme que os dados realmente existem dentro da estrutura de dados do Ethereum.
2. Provas de Computação: Verificar a validade de fluxos de trabalho de vários passos, especialmente aqueles envolvendo conversão de dados ou outras operações.
3. Provas ZK: Permitem que contratos inteligentes confirmem a validade das provas sem processar todos os dados subjacentes. Qualquer dado on-chain em um nó de arquivo Ethereum pode ser comprovado usando o sistema de prova de armazenamento.

Como outros coprocessadores, o sistema de prova de armazenamento é gerado off-chain e verificado on-chain, minimizando o consumo de recursos on-chain. Também reduz a transferência de dados entre camadas Ethereum, enviando apenas o hash do bloco ou raiz do acumulador para verificação.

Brevis

Desenvolvido pela Celer Network, Brevis é uma infraestrutura para a construção de vários serviços de dados on-chain, incluindo coprocessadores ZK. A Celer Network, um protocolo de interoperabilidade fundado por Mo Dong e Qingkai Liang, arrecadou $4 milhões em um IEO (Oferta Inicial de Exchange) em 2019.

A Celer Network implantou umContrato Brevison-chain. Este contrato verifica provas de solicitações de coprocessador e retransmite os resultados de volta para o contrato dapp por meio de uma função de retorno de chamada. Os desenvolvedores podem aproveitar o Brevis SDK para permitir que os dapps acessem dados históricos on-chain com facilidade. O SDK abstrai circuitos complexos, eliminando a necessidade de os desenvolvedores terem conhecimento prévio de provas de ZK. O Brevis SDK é construído no framework gnark desenvolvido pela equipe Consensys Linea. Além disso, o Brevis suporta o cliente leve ZK do Ethereum, permitindo que ele funcione com dados on-chain de qualquer blockchain compatível com EVM do Ethereum.

Fonte: Documentação Brevis

Celer Network está atualmente em desenvolvimentocoChain, uma blockchain focada no ecossistema RaaS, usando Brevis como base. coChain é uma blockchain baseada no algoritmo de consenso Proof-of-Stake (PoS) e pode fornecer serviços de staking e slashing do Ethereum. Slashing refere-se ao processo de penalizar validadores que violam as regras no ecossistema PoS do Ethereum, incluindo multas e mudanças de estado. Historicamente, a taxa de slashing no ecossistema de staking do Ethereum tem sido muito baixa, comdados sugerindoque apenas cerca de 0.04% dos validadores foram punidos.

A característica única da coChain é vincular a geração de resultados de coprocessador às recompensas e punições do Ethereum staking. Aqui está o processo:

1. O contrato inteligente submete um pedido de coprocessador, e o mecanismo de consenso PoS gera o resultado do coprocessador;
2. O resultado gerado pelo PoS é submetido à blockchain como uma 'proposta' que pode ser 'contestada' por uma prova de conhecimento zero (ZK);
3. Se o desafio de prova ZK for bem-sucedido, indicando conduta do validador durante o staking, a participação correspondente do validador será reduzida diretamente no Ethereum. Por outro lado, se o resultado gerado pelo PoS não for contestado, o dapp pode utilizar diretamente o resultado do coprocessador sem incorrer no custo de provas ZK. Essa abordagem "otimista" para desafios de prova, similar ao Optimism, mantém os custos mais baixos.

No geral, a abordagem da coChain combina os incentivos de confiança/verificação dos coprocessadores com o ecossistema de staking do Ethereum. No futuro, ela se integrará com a EigenLayer para reduzir o custo de prova dos coprocessadores ZK.

Nexus

Nexus zkVM permite a verificação de qualquer resultado de computação on-chain. Sua característica única é a capacidade de verificar provas ZK com base em técnicas de dobramento. Fundada em 2022, a Nexus é mais um player no espaço zkVM. Embora os detalhes ainda não tenham sido amplamente divulgados, o fundador, Daniel Marin (formado em Stanford com experiência anterior no Google), publicoupapeis de pesquisa iniciaisatravés do Stanford Blockchain Club.

A tecnologia de dobragem ZK é considerada um ramo promissor dentro das soluções zkVM. O Nexus zkVM suporta a verificação de ambas as provas de dobragem e esquemas de acumulação. O objetivo é ser um zkVM escalável, modular e de código aberto. Sua pilha técnica inclui mecanismos de agregação de prova paralelizados em grande escala com base em Computação Verificável Incremental (IVC) e vários esquemas de dobragem como Nova, CycleFold, SuperNova e HyperNova. Eles também estão desenvolvendo a Rede Nexus, uma rede de mineração de prova paralelizada em grande escala construída no Nexus zkVM.

Fonte: Documentação do Nexus, Arquitetura do Nexus zkVM

Tabela de Comparação de Abordagens Técnicas e Vantagens Competitivas na Pista de Coprocessador

Como você pode ver, diferentes projetos escolheram pilhas técnicas diferentes com base em ecossistemas diferentes (Ethereum EVM, RaaS, intercadeia, Ethereum cross-layer), diferentes métodos de prova (Rollup vs ZK) ou diferentes soluções dentro das provas ZK (zk-SNARK, provas de dobra, esquemas de acumulação, etc.). Cada um tem seus pontos fortes e fracos em relação às vantagens competitivas e, em última análise, apresentam formas de produto diferentes: contratos interativos on-chain, SDKs e redes projetadas para diversos propósitos, como redes de verificação de staking e redes de verificação em grande escala.

Fonte: Pelo Autor

Operação específica dos coprocessadores: O Caso do Axiom

Por que escolher Axiom?

Axiom é um coprocessador de prova ZK construído para Ethereum. Ele permite que contratos inteligentes acessem dados históricos on-chain e garante a confiança da computação off-chain através da tecnologia de prova ZK. Axiom foi fundada por Jonathan Wang e Yi Sun em 2022. Em 25 de janeiro de 2024, Axiomanunciado no Twitterque havia levantado $20 milhões em financiamento da Série A liderado pela Paradigm e Standard Crypto. É o primeiro projeto a propor o conceito de “coprocessor” e também um dos projetos com maior apoio de capital de risco no espaço.

Origem: Conta Oficial Axiom X

História do Axiom

Em 2017, Yi Sun recebeu um PhD em matemática do MIT e também trabalhou por um período em uma empresa de negociação de alta frequência. Ele começou a se aprofundar no campo das criptomoedas e percebeu que a prova ZK é a chave para a escalabilidade blockchain. No entanto, na época, ele acreditava que a tecnologia ZK ainda estava em seus estágios iniciais, então optou por continuar observando o espaço. Foi só no final de 2021 que a tecnologia ZK começou a decolar, com infraestrutura e ferramentas de desenvolvimento gradualmente amadurecendo. Além disso, Yi Sun encontrou problemas ao acessar dados históricos nos contratos inteligentes que ele escreveu ao construir protocolos DeFi. Todos esses fatores levaram ao surgimento da Axiom.

Que tecnologia de prova ZK Axiom usa?

A Axiom atualmente usa o sistema de prova SNARK baseado nos back-ends Halo2 e KZG e ferramentas de prova ZK, como tabelas de pesquisa (LUTs). No passado, as provas ZK eram complexas e difíceis de auditar. As tabelas de pesquisa são um conjunto de valores pré-calculados que permitem que o provador prove de forma mais eficiente ao verificador que o valor existe.

Como o Axiom V2 funciona

Em janeiro de 2024, Axiom V2 foi lançado na mainnet do Ethereum, oferecendo suporte ao acesso a transações, recibos, armazenamento de contratos, cabeçalhos de bloco e outros dados de contratos inteligentes. Isso significa que agora oferece suporte ao acesso a todos os dados históricos na mainnet do Ethereum.

Usando as ferramentas SDK desenvolvidas pela Axiom, os desenvolvedores podem escrever circuitos Axiom em Typescript para emitir solicitações de dados e personalizar cálculos. A Axiom está à frente da curva porque torna muito fácil para contratos inteligentes acessar dados on-chain:

1. Os desenvolvedores usam o Axiom Typescript SDK para escrever circuitos Axiom e emitir solicitações de computação de verificação ZK para dados históricos do Ethereum;

2. Axiom realiza o cálculo solicitado e gera uma prova de conhecimento zero, comprovando a correção dos dados e dos resultados do cálculo;

3. Os desenvolvedores implementam uma função de retorno no contrato inteligente para verificar e executar os dados enviados da Axiom com o resultado da prova ZK;

4. Consultas de axioma enviando uma transação na cadeia, e o resultado retornado é criptografado por prova de conhecimento zero para garantir sua credibilidade.

No entanto, ao contrário de Heródoto, Axiom atualmente não suporta a consulta de dados históricos de outras redes Ethereum EVM ou redes L2 e foca apenas na rede principal do Ethereum. O suporte futuro para recursos relacionados não está descartado.

Aplicações do Axiom V2

Na camada de aplicação, Axiom pode ajudar os dapps a implementar as seguintes funções:

• Fornecer recompensas e programas de fidelidade com base nos registros de atividades on-chain dos usuários
• Implementar responsabilidade com base no comportamento dos usuários na cadeia
• Estabeleça oráculos que possam ser personalizados de acordo com as necessidades de identidade, governança e liquidação

Conclusão

O líder atual no espaço de coprocessador, Axiom, tem uma relação complementar com projetos de nó leve como o Succinct. O Succinct tenta provar o próprio consenso do Ethereum, enquanto o Axiom prova quaisquer dados históricos on-chain com base no consenso, assumindo que o resultado do consenso é aceito.

O campo da prova ZK está se desenvolvendo rapidamente com inovações como provas dobráveis, esquemas de acumulação e grandes tabelas de pesquisa. Esse crescimento tem chamado a atenção para projetos como o Nexus, que apoiam os avanços mais recentes na tecnologia de prova ZK. Enquanto as provas ZK estão se tornando mainstream, outros projetos como Lagrange também estão sendo notados por fornecer provas para Rollup através de provadores paralelos, preenchendo assim uma lacuna de mercado.

O avanço contínuo da tecnologia impulsionou o desempenho de várias provas de conhecimento, reduzindo seu tamanho e custos de verificação. Isso amplia o potencial de uso. Nesse contexto, a flexibilidade proporcionada pela modularização está ganhando reconhecimento, especialmente no espaço de coprocessamento.