Autor original: Zeke, pesquisador da YBB Capital

TLDR

  • O Coprocessador ZK (Coprocessador ZK) pode ser considerado um plug-in de computação off-chain derivado do conceito modular. Sua função é semelhante à GPU em nossos computadores tradicionais que compartilha tarefas de computação gráfica para a CPU, ou seja, compartilhar computação. em cenários específicos.

  • Pode ser usado para processar cálculos complexos e dados pesados, reduzir taxas de gás e expandir funções de contratos inteligentes;

  • A diferença do Rollup: o coprocessador ZK não tem estado, pode ser usado em cadeias e é adequado para cenários de computação complexos;

  • O coprocessador ZK é difícil de desenvolver, possui sobrecarga de alto desempenho e carece de padronização. O hardware exige muitos custos. Embora a pista esteja muito mais madura do que há um ano, ainda está em seus estágios iniciais;

  • Depois que a infraestrutura entrou na era modular da expansão fractal, o blockchain caiu em vários problemas, como falta de liquidez, usuários dispersos, falta de inovação e interoperabilidade entre cadeias, e formou um paradoxo com L1 de expansão vertical. O coprocessador ZK pode fornecer um bom reforço para os dois no futuro, permitindo-lhes sair de problemas, fornecer suporte de desempenho para aplicativos antigos e aplicativos novos e importantes e trazer narrativas mais recentes.

1. Outro ramo da infraestrutura modular, coprocessador ZK

1.1 Visão geral do coprocessador ZK

O Coprocessador ZK (Coprocessador ZK) pode ser considerado um plug-in de computação off-chain derivado do conceito modular. Sua função é semelhante à GPU em nossos computadores tradicionais que compartilha tarefas de computação gráfica para a CPU, ou seja, compartilhar computação. em cenários específicos. O processador da tarefa. Sob esta estrutura de design, tarefas de “dados pesados” e “lógica de cálculo complexa” nas quais a cadeia pública não é boa podem ser calculadas por meio do coprocessador ZK. A cadeia só precisa receber os resultados do cálculo retornados, e sua correção é garantida pelo ZK. como prova, cálculos off-chain confiáveis ​​para tarefas complexas são finalmente realizados.

Atualmente, aplicações populares como AI, SocialFi, DEX e GameFi têm necessidades urgentes de alto desempenho e controle de custos. Em soluções tradicionais, essas “aplicações pesadas” que exigem alto desempenho geralmente escolhem a forma de ativos on-chain + off-chain. aplicativos, ou Projete uma cadeia de aplicativos separadamente para o aplicativo. No entanto, ambos têm alguns problemas inerentes. Por exemplo, o primeiro tem uma caixa negra, e o último tem problemas como elevados custos de desenvolvimento, separação da ecologia da cadeia original e fragmentação da liquidez. Além disso, a máquina virtual da cadeia principal também apresenta grandes restrições ao desenvolvimento e operação de tais aplicações (como a falta de padrões de camada de aplicação e linguagens de desenvolvimento complexas).

A existência do coprocessador ZK é para resolver tais problemas. Para dar um exemplo mais detalhado, podemos considerar o blockchain como um terminal que não pode ser conectado à Internet (telefone celular, computador, etc.). alguns aplicativos mais simples, como Uniswap e outros aplicativos DeFi, podem ser executados completamente on-chain. Mas quando surgirem aplicativos mais complexos, como a execução de aplicativos como o ChatGPT, o desempenho e o armazenamento da cadeia pública serão completamente insuficientes e o gás explodirá. No caso do Web2, o mesmo acontece quando executamos o ChatGPT. Os próprios terminais comuns não conseguem lidar com modelos de linguagem grandes como GPT-4. Precisamos comunicar o problema ao servidor OpenAI através da Internet. resultados, nós Você receberá a resposta diretamente. O coprocessador ZK é semelhante ao servidor remoto do blockchain. No entanto, para diferentes tipos de projetos, o design de diferentes projetos de coprocessador pode ter pequenos desvios, mas a lógica subjacente não será muito diferente. cálculo + prova ZK ou provas de armazenamento. Tomando a implantação do Bonsai do Rise Zero como exemplo, podemos entender que a lógica dessa arquitetura é muito simples. O projeto é perfeitamente integrado ao próprio zkVM do Rise Zero. Os desenvolvedores precisam apenas de duas etapas simples para usar o Bonsai como uma etapa de coprocessador.

  • Escreva um aplicativo zkVM para lidar com a lógica do aplicativo;

  • Escreva um contrato do Solidity que solicite ao Bonsai que execute seu aplicativo zkVM e processe os resultados.

Qual é a diferença entre 1.2 e Rollup?

Na definição acima, descobriremos que o Rollup parece ter um alto grau de sobreposição com o coprocessador ZK, independentemente de sua lógica ou objetivos de implementação. Mas, na verdade, Rollup é mais parecido com a versão multi-core da cadeia principal. As diferenças específicas entre os dois são as seguintes:

1. Objetivo principal:

  • Rollup: Melhore o rendimento das transações blockchain e reduza as taxas de transação.

  • Coprocessador ZK: Expande o poder de computação dos contratos inteligentes para que possam processar lógicas mais complexas e maiores quantidades de dados.

2. Princípio de funcionamento:

  • Rollup: Resuma as transações da cadeia e transfira-as para a cadeia principal por meio de prova de fraude ou prova ZK.

  • Coprocessador ZK: semelhante ao ZK Rollup, exceto que os cenários de aplicação dos dois são diferentes. O ZK Rollup é limitado pela forma e pelas regras da cadeia e não é adequado para o trabalho do coprocessador ZK.

3. Gerenciamento de status:

  • Rollup: Precisa manter seu próprio estado e sincronizar regularmente com a cadeia principal.

  • Coprocessador ZK: não mantém estado persistente e cada cálculo não tem estado.

4. Cenários de aplicação:

  • Rollup: Principalmente para o lado C, adequado para negociação de alta frequência.

  • Coprocessador ZK: principalmente para o lado B, adequado para cenários que exigem cálculos complexos, como modelos financeiros avançados, análise de big data, etc.

5. Relacionamento com a cadeia principal:

  • Rollup: pode ser visto como uma extensão da cadeia principal, geralmente focando em uma rede blockchain específica.

  • Coprocessador ZK: pode fornecer serviços para vários blockchains e não está limitado a uma cadeia principal específica, portanto também pode fornecer serviços para Rollup.

Portanto, os dois não são mutuamente exclusivos por natureza e são até complementares. Mesmo que exista um Rollup na forma de uma cadeia de aplicativos, o coprocessador ZK ainda pode fornecer serviços.

1.3 Casos de uso

Teoricamente falando, o coprocessador ZK tem uma gama de aplicações muito ampla e pode basicamente cobrir projetos em várias faixas de blockchain. A existência do coprocessador ZK pode tornar a função do Dapp mais próxima da função do aplicativo centralizado Web2. A seguir estão alguns casos de uso de demonstração coletados da Internet:

Desenvolvimento de DApp baseado em dados

O coprocessador ZK permite que os desenvolvedores criem DApps baseados em dados que aproveitam dados históricos de toda a cadeia e realizam cálculos complexos sem suposições de confiança adicionais. Isso traz possibilidades sem precedentes para o desenvolvimento de DApps, como:

  • Análise avançada de dados: funções de análise de dados on-chain semelhantes ao Dune Analytics.

  • Lógica de negócios complexa: implemente algoritmos complexos e lógica de negócios em aplicativos centralizados tradicionais.

  • Aplicativos entre cadeias: crie DApps entre cadeias com base em dados de várias cadeias.

Programa VIP Trader da DEX

Um cenário típico de aplicação é implementar um programa de desconto de taxas baseado no volume de transações em uma bolsa descentralizada (DEX), ou seja, o “Programa de Fidelidade VIP Trader”. Este tipo de esquema é comum em exchanges centralizadas (CEX), mas raro em DEX.

Usando o coprocessador ZK, o DEX pode:

  • Rastreie o volume histórico de transações dos usuários

  • Calcule o nível VIP do usuário

  • Ajuste dinamicamente as taxas de transação com base no nível

Esse recurso pode ajudar o DEX a melhorar a retenção de usuários, aumentar a liquidez e, em última análise, aumentar a receita.

Aprimoramento de dados para contratos inteligentes

O coprocessador ZK pode servir como um middleware poderoso para fornecer serviços de captura, cálculo e verificação de dados para contratos inteligentes, reduzindo assim custos e melhorando a eficiência. Isso permite que contratos inteligentes:

  • Acesse e processe grandes quantidades de dados históricos

  • Execute cálculos complexos fora da cadeia

  • Implemente uma lógica de negócios mais avançada

Tecnologia de ponte entre cadeias

Algumas tecnologias de ponte de cadeia cruzada baseadas em ZK, como Herodotus e Lagrange, também podem ser consideradas como uma aplicação do coprocessador ZK. Estas tecnologias concentram-se principalmente na extração e verificação de dados, fornecendo uma base de dados confiável para comunicação entre cadeias.

O coprocessador 1.4 ZK não é perfeito

Embora tenhamos listado muitas vantagens, o estágio atual do coprocessador ZK não é perfeito e ainda precisa enfrentar muitos problemas. Eu pessoalmente resumi os seguintes pontos:

1. Desenvolvimento: O conceito de ZK é difícil de entender para muitos desenvolvedores. O desenvolvimento também requer conhecimento relevante de criptografia e domínio de linguagens e ferramentas de desenvolvimento específicas;

2. Os custos de hardware são altos: o hardware ZK usado para computação fora da cadeia precisa ser totalmente suportado pelo próprio projeto. O hardware ZK é caro e ainda está em rápido desenvolvimento e iteração, e o hardware provavelmente será eliminado a qualquer momento. Se isso pode formar um ciclo fechado na lógica de negócios também é uma questão que vale a pena considerar;

3. A pista está lotada: Na verdade, não haverá grande diferença na implementação técnica. No final, é provável que seja semelhante ao padrão atual da Camada 2. Existem vários projetos pendentes, mas a maioria deles é ignorada;

Circuito 4.zk: A execução de cálculos fora da cadeia no coprocessador zk requer a conversão de programas de computador tradicionais em circuitos zk. Escrever circuitos personalizados para cada aplicação é muito complicado, e usar zkvm para escrever circuitos em máquinas virtuais causa diferentes modelos de computação. .

2. Peças-chave do quebra-cabeça que levam à aplicação em larga escala

(Este capítulo é altamente subjetivo e representa apenas as opiniões pessoais do autor)

Este ciclo é dominado pela infra-estrutura modular. Se o caminho da modularização estiver correcto, então este ciclo poderá ser o último passo para a aplicação em larga escala. No entanto, no estágio atual, todos temos um sentimento comum: por que só podemos ver alguns vinhos antigos com novas aplicações? Por que há muito mais cadeias do que aplicações? Por que novos padrões de tokens, como inscrições, podem ser considerados a maior inovação disso? redondo?

A razão pela qual existe tanta falta de narrativas novas é que a infra-estrutura modular actual não é suficiente para suportar super aplicações, especialmente a falta de alguns pré-requisitos (interoperabilidade de cadeia completa, limites de utilizador, etc.), o que contribuiu para o maior desenvolvimento na história do blockchain disfarçado de separação. O rollup, como núcleo da era modular, é rápido, mas também traz muitos problemas. Ou seja, a fragmentação da liquidez, a dispersão do usuário, a cadeia ou a própria máquina virtual que enfatizamos repetidamente acima ainda limitam a inovação de aplicativos. Por outro lado, Celestia, outro “homem-chave” da modularidade, foi o pioneiro na ideia de que o DA não precisa estar no Ethereum. Essa ideia intensifica ainda mais a fragmentação. Quer comece pela ideologia ou pelo custo do DA, o resultado é que o BTC é forçado a fazer DA, e outras cadeias públicas têm que fazer DA com melhor relação custo-benefício. Projetos da camada 2 em cada cadeia pública. Finalmente, todas as partes do projeto de infraestrutura e ecológico estudaram profundamente a jogabilidade de matar dragões (OpenSea) iniciada por Blur (Tieshun), exigindo que os usuários penhorem Tokens no projeto. Este tipo de matar três coelhos com uma cajadada só (juros, ETH). para as baleias Ou a ascensão do BTC e do modelo free-token Token), comprimindo ainda mais a liquidez na cadeia.

No mercado altista passado, os fundos fluíam apenas em algumas a uma dúzia de cadeias públicas, e poderia até dizer-se que estavam concentrados apenas em Ethereum. Mas os fundos de hoje estão espalhados por centenas de cadeias públicas e comprometidos em milhares de projetos que são todos iguais. A prosperidade na cadeia não existe mais, e mesmo a Ethereum não tem atividades na cadeia. Portanto, os jogadores orientais estão fazendo PVP no ecossistema BTC, e os jogadores ocidentais não têm escolha a não ser fazer PVP em Solana. Portanto, o que mais me preocupa neste momento é como promover a agregação de liquidez em toda a cadeia e como apoiar o nascimento de novas jogabilidades e superaplicações. No caminho da interoperabilidade de cadeia completa, vários projetos líderes tradicionais tiveram um desempenho insatisfatório. Eles ainda se parecem mais com pontes de cadeia cruzada tradicionais. A nova solução de interoperabilidade também foi discutida em nosso relatório de pesquisa anterior, principalmente por agregar múltiplas cadeias em uma única cadeia. Atualmente, estamos trabalhando em AggLayer, Superchain, Elastic Chain, JAM, etc., que não serão discutidos aqui.

Em suma, agregar toda a cadeia é um obstáculo que deve ser superado na estrutura modular, mas esse obstáculo ainda levará muito tempo. O coprocessador ZK é uma peça do quebra-cabeça mais crítica no estágio atual. Além de fortalecer a Camada 2, também pode fortalecer a Camada 1. É possível escapar temporariamente dos dois problemas da cadeia completa e do paradoxo do triângulo? Primeiro implementar algumas aplicações atuais em alguma Camada 1 ou Camada 2 que tenham ampla liquidez? Afinal, a narrativa atual do aplicativo blockchain está realmente faltando. Por outro lado, para alcançar a diversificação da jogabilidade, o controle do gás, o surgimento de aplicações em grande escala e até mesmo cross-chain, reduzindo o limite do usuário, a integração de uma solução de coprocessador será uma solução mais ideal do que depender da centralização.

3. Lista de Projetos

A faixa do coprocessador ZK surgiu basicamente por volta de 2023 e está relativamente madura no estágio atual. Segundo a classificação de Messari, os projetos existentes na pista podem ser divididos em três grandes áreas verticais (computação geral, interoperabilidade e cross-chain, IA e treinamento de máquinas), com 18 projetos. A maioria desses projetos é apoiada por VCs principais. Selecionamos alguns projetos em diferentes campos verticais para descrição abaixo.

3.1 Humano

Giza é um protocolo zkML (aprendizado de máquina de conhecimento zero) implantado na Starknet e oficialmente apoiado pela StarkWare, com foco em permitir que modelos de inteligência artificial sejam usados ​​de forma verificável em contratos inteligentes de blockchain. Os desenvolvedores podem implantar modelos de IA na rede Gizé, que então verifica a exatidão do raciocínio do modelo por meio de provas de conhecimento zero e fornece os resultados para uso por contratos inteligentes de maneira não confiável. Isso permite que os desenvolvedores criem aplicativos on-chain que incorporam recursos de IA, mantendo a descentralização e a verificabilidade do blockchain.

Giza conclui o fluxo de trabalho executando as três etapas a seguir:

  • Conversão de modelo: Giza converte modelos de IA no formato ONNX comumente usados ​​em um formato que pode ser executado em sistemas à prova de conhecimento zero. Isso permite que os desenvolvedores treinem modelos usando ferramentas familiares e depois os implantem na rede Giza.

  • Inferência fora da cadeia: quando um contrato inteligente solicita inferência do modelo de IA, Giza realiza os cálculos reais fora da cadeia. Isso evita o alto custo de execução de modelos complexos de IA diretamente no blockchain.

  • Verificação de conhecimento zero: Giza gera prova ZK para cada inferência de modelo para provar que o cálculo foi realizado corretamente. Essas provas são verificadas on-chain, garantindo a exatidão dos resultados da inferência sem a necessidade de repetir todo o processo de cálculo on-chain.

A abordagem de Giza permite que os modelos de IA sirvam como fontes de entrada confiáveis ​​para contratos inteligentes, sem depender de oráculos centralizados ou ambientes de execução confiáveis. Isso abre novas possibilidades para aplicações blockchain, como gerenciamento de ativos baseado em IA, detecção de fraudes e preços dinâmicos. É um dos poucos projetos lógicos de circuito fechado no atual Web3 x AI e também é um uso maravilhoso de coprocessamento no campo de IA.

3.2 Aquecimento Zero

Risc Zero é um projeto de coprocessador apoiado por vários VCs líderes e é líder na área. O projeto se concentra em permitir que cálculos arbitrários sejam executados de forma verificável em contratos inteligentes de blockchain. Os desenvolvedores podem escrever programas em Rust e implantá-los na rede RISC Zero, em seguida, verificam a exatidão da execução do programa por meio de provas de conhecimento zero e fornecem os resultados para contratos inteligentes de maneira confiável. Isso permite que os desenvolvedores criem aplicativos complexos na cadeia, mantendo a descentralização e a verificabilidade do blockchain.

Falamos brevemente sobre a implantação e o processo de trabalho acima e aqui falaremos detalhadamente sobre os dois componentes principais:

Bonsai: Bonsai do RISC Zero é o componente do coprocessador do projeto. Ele está perfeitamente integrado ao zkVM da arquitetura do conjunto de instruções RISC-V, permitindo que os desenvolvedores integrem rapidamente provas de conhecimento zero de alto desempenho no Ethereum e L1 dentro de um. Alguns dias depois, Blockchain, cadeia de aplicativos Cosmos, rollups L2 e dApps fornecem chamadas diretas para contratos inteligentes, cálculos fora da cadeia verificáveis, interoperabilidade entre cadeias e funções de rollup universais, ao mesmo tempo que adotam um design de arquitetura distribuída descentralizada, combinada com recursos recursivos. provas, compiladores de circuitos personalizados, continuação de estado e algoritmos de prova continuamente aprimorados, permitindo que qualquer pessoa gere provas de conhecimento zero de alto desempenho para uma variedade de aplicações.

zKVM: zkVM é um computador verificável que funciona como um microprocessador RISC-V real incorporado. Esta máquina virtual é baseada na arquitetura do conjunto de instruções RISC-V, permitindo que os desenvolvedores usem uma variedade de linguagens de programação como Rust, C++, Solidity, Go e outras linguagens de programação de alto nível para escrever programas que podem gerar zero -provas de conhecimento. Suporta mais de 70% das caixas Rust populares. Ele alcança a combinação perfeita de computação geral e provas de conhecimento zero e pode gerar provas eficientes de conhecimento zero para cálculos de qualquer complexidade, enquanto mantém a privacidade do cálculo. processo e a verificabilidade dos resultados. zkVM adota STARKs e SNARKs, incluindo a tecnologia ZK que realiza geração e verificação eficientes de provas por meio de componentes como Recursion Prover e STARK-to-SNARK Prover, suportando execução fora da cadeia e modos de verificação na cadeia.

Risc Zero integrou-se a vários sistemas ETH Camada 2 e demonstrou vários casos de uso de Bonsai, o mais interessante deles é Bonsai Pay. A demonstração usa prova de serviço zkVM e Bonsai do RISC Zero para permitir que os usuários enviem ou retirem ETH e tokens no Ethereum usando uma conta do Google. Ele demonstra como o RISC Zero pode integrar perfeitamente aplicativos on-chain com OAuth 2.0 (o padrão usado pelos principais provedores de identidade como o Google), um caso de uso de integração que reduz a barreira de entrada de usuários Web3 em aplicativos Web2 tradicionais, além de exemplos baseado em aplicativos como DAO.

3,3 = zero;

= zero; É investido por projetos e instituições conhecidas como Mina, Polychain, Starkware e Blockchain Capital. Vale ressaltar que partes de projetos com tecnologias zk de ponta, como Mina e Starkware, também estão entre eles, indicando que. o reconhecimento técnico do projeto ainda é elevado. =nil; Também é um projeto mencionado em nosso relatório de pesquisa “Computing Power Market”. Naquela época, ele estava focado principalmente no Mercado de Provas de =nil; (mercado descentralizado de geração de provas). Na verdade, o projeto também tinha um subproduto, zkLLVM.

zkLLVM é um compilador de circuito inovador desenvolvido pela =nil Foundation. Ele pode converter automaticamente códigos de aplicativos escritos em linguagens de desenvolvimento convencionais, como C++ e Rust, em circuitos comprováveis ​​​​eficientes no Ethereum, sem usar campos especializados de conhecimento zero. DSL), simplificando bastante o processo de desenvolvimento e reduzindo o limite de desenvolvimento. Ao mesmo tempo, melhora o desempenho ao não envolver zkVM (máquina virtual de conhecimento zero). Suporta aceleração de hardware para acelerar a geração de provas. , pontes entre cadeias, vários cenários de aplicação ZK, como oráculos, aprendizado de máquina e jogos, e estão totalmente integrados ao Proof Market da =nil Foundation, fornecendo aos desenvolvedores suporte de ponta a ponta, desde a criação do circuito até a geração de provas;

3.4 Brevis

Este projeto é um subprojeto da Celer Network. Bervis é um coprocessador inteligente de conhecimento zero (ZK) para blockchain que permite que dApps acessem, calculem e utilizem vários blockchains de maneira totalmente confiável. Como outros coprocessadores, Brevis também possui uma ampla gama de casos de uso, como DeFi baseado em dados, zkBridges, aquisição de usuários on-chain, zkDID e abstração de contas sociais.

A arquitetura de Brevis consiste principalmente em três partes:

  • zkFabric: zkFabric é um repetidor para a arquitetura Brevis. Sua principal tarefa é coletar e sincronizar informações de cabeçalho de bloco de todos os blockchains conectados e, finalmente, gerar provas de consenso para cada cabeçalho de bloco coletado por meio do circuito cliente ZK light.

  • zkQueryNet: zkQueryNet é um mercado aberto de mecanismo de consulta ZK que pode aceitar diretamente consultas de dados de contratos inteligentes na cadeia e também pode gerar resultados de consulta e certificados de consulta ZK correspondentes por meio do circuito do mecanismo de consulta ZK. Esses mecanismos variam desde altamente especializados (como calcular o volume de transações em um DEX durante um período de tempo específico) até abstrações de índice de dados altamente gerais e linguagens de consulta de alto nível que atendem a uma variedade de necessidades de aplicativos.

  • zkAggregatorRollup: atua como camada de agregação e armazenamento para zkFabric e zkQueryNet. Ele verifica as provas de ambos os componentes, armazena os dados atestados e compromete sua raiz de estado à prova de ZK em todos os blockchains conectados, permitindo que os dApps acessem diretamente o atestado na lógica de negócios de seu resultado de pesquisa de contratos inteligentes na cadeia.

Através desta arquitetura modular, a Brevis pode fornecer acesso confiável, eficiente e flexível a contratos inteligentes em todas as cadeias públicas suportadas. Este projeto também é adotado na versão V4 do UNI e integrado com Hooks no protocolo (sistema que integra lógica customizada para diversos usuários) para facilitar a leitura de dados históricos do blockchain, reduzir taxas de gás e garantir a descentralização das propriedades. Este é um exemplo do coprocessador zk conduzindo DEX.

3,5Lagrange

Lagrange é um protocolo de coprocessador zk interoperável liderado por 1kx e Founders Fund. O principal objetivo do protocolo é fornecer interoperabilidade entre cadeias sem confiança e apoiar a inovação de aplicações que exigem cálculos complexos de big data. Ao contrário das pontes de nós tradicionais, a interoperabilidade entre cadeias de Lagrange é alcançada principalmente através dos seus inovadores mecanismos ZK Big Data e do Comité Estadual.

ZK Big Data: Este produto é o núcleo do Langrange e é o principal responsável pelo processamento e verificação de dados entre cadeias e pela geração de certificados ZK relevantes. Este componente inclui um coprocessador ZK altamente paralelo para realizar cálculos complexos fora da cadeia e gerar provas de conhecimento zero. Um banco de dados verificável especialmente projetado suporta slots de armazenamento ilimitados e consultas SQL diretas para contratos inteligentes. Funcionalidade integrada e com tempo de prova que permite aos desenvolvedores acessar dados históricos usando consultas SQL diretamente de contratos inteligentes sem escrever circuitos complexos, juntos formam um sistema de processamento e verificação de dados blockchain em grande escala.

Comitê Estadual: Este componente é uma rede de verificação descentralizada composta por vários nós independentes, cada nó oferece ETH como garantia. Esses nós servem como clientes leves ZK e são dedicados a verificar o status de rollups de otimização específicos. O Comitê Estadual integra-se ao AVS da EigenLayer, usa um mecanismo de promessa pesado para aumentar a segurança, apoia a participação de um número ilimitado de nós e alcança um crescimento de segurança superlinear. Ele também fornece um “modo rápido” que permite aos usuários realizar operações entre cadeias sem esperar pela janela do desafio, melhorando muito a experiência do usuário. A combinação dessas duas tecnologias permite que Lagrange processe dados em grande escala com eficiência, execute cálculos complexos e transmita e verifique resultados com segurança entre diferentes blockchains, fornecendo suporte para o desenvolvimento de aplicações complexas entre cadeias.

Lagrange está atualmente integrado com EigenLayer, Mantle, Base, Frax, Polymer, LayerZero, Omni, AltLayer, etc., e também estará vinculado ao ecossistema Ethereum como o primeiro ZK AVS.

Referências

1.ABCDE: Um mergulho profundo no coprocessador ZK e seu futuro: https://medium.com/@ABCDE.com/en-abcde-a-deep-dive-into-zk-coprocessor-and-its-future-1d1b3f33f946

2. “ZK” é tudo que você precisa: https://medium.com/@gate_ventures/zk-is-all-you-need-238886062c 52 

3. Risco zero: https://www.risczero.com/bonsai

4.Lagrange: https://www.lagrange.dev/blog/interoperability-for-modular-blockchains-the-lagrange-thesis

5.AxiomBlog: https://blog.axiom.xyz/

6. O nitrogênio acelera! Como o coprocessador ZK quebra as barreiras de dados de contratos inteligentes: https://foresightnews.pro/article/detail/48239