Escalabilidade recursiva

O que é escalabilidade recursiva no universo cripto?

Escalabilidade recursiva é um método de escalabilidade de blockchain que usa provas criptográficas recursivas para comprimir muitas transações, cálculos ou resultados de provas em uma prova final menor.No universo cripto, a escalabilidade recursiva está mais frequentemente relacionada a provas de conhecimento zero, ZK-rollups, agregação de provas, zkVMs, blockchains sucintas e sistemas blockchain modulares.A ideia principal é que uma prova pode verificar outra prova, e essa nova prova pode, por sua vez, ser verificada por outra prova.Essa composição repetida de provas permite representar uma grande quantidade de trabalho por meio de uma prova final compacta.Uma forma simples de entender a escalabilidade recursiva é pensar nela como uma maneira de escalar provando provas, em vez de verificar cada ação individualmente.Em vez de obrigar uma blockchain a verificar milhares de transações ou várias provas separadas diretamente, um sistema recursivo pode combiná-las em um único processo de verificação.

A documentação da Ethereum sobre ZK-rollups descreve as provas recursivas como provas de provas que podem aumentar significativamente a capacidade de processamento dos ZK-rollups.

Isso torna a escalabilidade recursiva importante para blockchains que buscam processar mais transações sem enfraquecer os pressupostos de confiança.Ela também contribui para o objetivo mais amplo do universo cripto de transferir cálculos pesados para off-chain e, ao mesmo tempo, manter uma verificação final segura e eficiente on-chain.

Por que a escalabilidade recursiva é importante

A escalabilidade recursiva é importante porque as blockchains públicas têm espaço nos blocos, capacidade de execução e largura de banda de verificação limitados.Se cada nó precisasse executar todas as transações e verificar todos os cálculos diretamente, a rede ficaria mais lenta e cara à medida que o uso aumentasse.Os rollups Layer 2 ajudam ao transferir a execução para fora da blockchain base e enviar resultados comprimidos de volta para ela.A escalabilidade recursiva aprimora esse modelo ao tornar a própria verificação de provas mais eficiente.Um rollup pode gerar provas para vários lotes pequenos e, em seguida, combiná-las recursivamente em uma prova final.A blockchain base pode então verificar a prova final, em vez de verificar cada prova menor separadamente.Isso pode reduzir os custos de verificação, aumentar a capacidade de processamento e tornar aplicativos cripto em larga escala mais viáveis.A escalabilidade recursiva é especialmente valiosa porque pode preservar fortes garantias criptográficas.A rede não precisa simplesmente confiar que um operador processou as transações corretamente.Ela pode verificar uma prova de que o processamento seguiu as regras.Por isso, a escalabilidade recursiva é frequentemente considerada uma parte essencial do crescimento de blockchains com menos dependência de confiança.

Como funciona a escalabilidade recursiva

A escalabilidade recursiva funciona colocando a verificação de provas dentro de outro sistema de provas.Primeiro, um provador cria uma prova para um pequeno conjunto de transações, cálculos ou mudanças de estado.Depois, outro provador cria uma nova prova que verifica a primeira.Esse processo pode continuar por várias camadas.No final, o sistema produz uma prova que representa a correção de muitas provas anteriores.Essa prova final pode ser enviada para uma blockchain, um contrato verificador, um cliente leve ou outro sistema de provas.A blockchain não precisa repetir todos os cálculos originais.Ela só precisa verificar a prova recursiva final.Isso cria um forte efeito de compressão, pois a verificação pode continuar pequena mesmo quando a quantidade de trabalho comprovado se torna grande.A escalabilidade recursiva não significa que os dados das transações, os saldos dos usuários ou os pressupostos de segurança desapareçam.Significa que a correção pode ser verificada por meio de uma cadeia compacta de provas.

Escalabilidade recursiva e ZK-rollups

Os ZK-rollups são um dos casos de uso mais claros da escalabilidade recursiva.Um ZK-rollup processa muitas transações fora da blockchain base e envia uma prova de validade de que a transição de estado do rollup está correta.

A documentação da Ethereum sobre ZK-rollups explica que os ZK-rollups transferem o processamento e o armazenamento de estado para off-chain, enquanto enviam provas de validade para a camada base.

A escalabilidade recursiva pode tornar os ZK-rollups mais eficientes ao agregar várias provas de validade em uma só.Por exemplo, um rollup pode criar provas separadas para vários lotes de transações.Uma prova recursiva pode então verificar essas provas dos lotes e combiná-las em uma única prova para a liquidação.Isso pode reduzir o custo da verificação final na blockchain base.Também pode permitir que a geração de provas ocorra em paralelo em diferentes máquinas ou com diferentes provadores.Para os usuários, isso pode viabilizar taxas menores, processos de liquidação mais rápidos e maior capacidade para os aplicativos.Para os desenvolvedores, isso pode permitir volumes maiores de transações sem exigir que cada prova seja liquidada separadamente.

Escalabilidade recursiva e agregação de provas

Agregação de provas é o processo de combinar várias provas em menos provas ou em uma prova final.A escalabilidade recursiva é uma das formas mais eficazes de criar agregação de provas.Em vez de verificar várias provas de forma independente, o sistema verifica uma prova que já verificou as provas anteriores.Isso é útil quando muitos usuários, aplicativos ou lotes de rollups geram provas ao mesmo tempo.

A documentação do Starknet SHARP descreve o SHARP como um agregador de provas que usa recursão para reduzir custos e melhorar a eficiência da geração de provas.

A agregação de provas pode reduzir os custos de liquidação porque menos verificações de provas precisam ser realizadas on-chain.Também pode aprimorar o design do sistema, pois provas pequenas podem ser criadas de forma independente e combinadas mais tarde.Isso dá suporte à geração paralela de provas, à infraestrutura compartilhada de geração de provas e a arquiteturas de rollup mais escaláveis.A agregação recursiva de provas é especialmente importante para sistemas de alta capacidade de processamento que precisam processar muitos lotes sem criar um gargalo na verificação final.

Escalabilidade recursiva e redes Layer 3

A escalabilidade recursiva também pode dar suporte a designs de redes Layer 3.Um rollup Layer 2 pode liquidar suas operações em uma blockchain base, enquanto uma rede Layer 3 pode liquidá-las em uma Layer 2.As provas recursivas podem ajudar a conectar essas camadas, permitindo que uma camada prove suas transições de estado para outra com eficiência.Por exemplo, uma cadeia de aplicativos Layer 3 poderia gerar provas de sua própria atividade.Essas provas poderiam ser agregadas em uma prova Layer 2.A prova Layer 2 poderia então ser liquidada na blockchain base.Isso cria uma estrutura recursiva na qual cada camada comprime a atividade antes de enviar uma prova para a camada superior.A vantagem é que muitos ambientes específicos de aplicativos podem escalar sem obrigar a blockchain base a processar diretamente todas as ações.O risco é que cada camada adicional aumenta a complexidade do design.Usuários e desenvolvedores ainda precisam entender a disponibilidade dos dados, os processos de saque, a segurança dos verificadores, os pressupostos das bridges e os controles de atualização.

Escalabilidade recursiva e blockchains sucintas

A escalabilidade recursiva não é útil apenas para rollups.Ela também pode dar suporte a blockchains sucintas, nas quais os usuários verificam uma prova compacta da validade da cadeia, em vez de baixar e conferir um grande histórico.

A documentação sobre recursão da Mina explica que a Mina usa provas recursivas lineares para comprimir uma blockchain que cresce indefinidamente a um tamanho constante.

Esse objetivo de escalabilidade é diferente de simplesmente aumentar o número de transações por segundo.O foco é tornar a verificação mais leve para os usuários e seus dispositivos.Se a verificação continuar simples, mais participantes poderão conferir a rede de forma independente, sem precisar de hardware potente.Isso pode favorecer a descentralização, pois os usuários não precisam depender apenas de grandes provedores de infraestrutura para saber se a cadeia é válida.Assim, a escalabilidade recursiva pode ampliar tanto a execução de transações quanto o acesso à verificação.Esse segundo tipo de escalabilidade é importante porque uma blockchain não promove verdadeiramente a autonomia dos usuários se apenas alguns operadores conseguem verificá-la.

Escalabilidade recursiva e zkVMs

Uma zkVM é uma máquina virtual de conhecimento zero que prova a execução correta de programas.A escalabilidade recursiva pode ajudar as zkVMs a lidar com programas grandes, dividindo a execução em segmentos menores.Cada segmento pode gerar sua própria prova.Depois, o sistema pode combinar recursivamente as provas dos segmentos em uma prova final da execução completa do programa.Isso permite provar cálculos maiores sem gerar uma única prova enorme de uma só vez.Também ajuda a distribuir o trabalho de geração de provas entre várias máquinas ou provadores.No universo cripto, isso pode dar suporte à execução de rollups, jogos verificáveis, cálculos off-chain, aplicativos privados e coprocessadores de blockchain.Um coprocessador é um sistema off-chain que realiza cálculos pesados e retorna uma prova de que o resultado está correto.A escalabilidade recursiva torna esse modelo mais viável, pois muitos fragmentos de provas podem ser combinados em uma prova final.

Escalabilidade recursiva vs. provas ZK recursivas

A escalabilidade recursiva e as provas ZK recursivas estão estreitamente relacionadas, mas não são exatamente a mesma coisa.Uma prova ZK recursiva é a ferramenta criptográfica que permite que uma prova verifique outra.A escalabilidade recursiva é a estratégia de escalabilidade mais ampla que usa essa ferramenta para aumentar a capacidade de uma blockchain ou reduzir os custos de verificação.Em outras palavras, as provas ZK recursivas são o mecanismo, enquanto a escalabilidade recursiva é o objetivo do design do sistema.Uma entrada de glossário sobre provas ZK recursivas explica o objeto criptográfico.Uma entrada sobre escalabilidade recursiva explica como as blockchains usam esse objeto para escalar o processamento de transações, a agregação de provas, os rollups, os clientes leves e a computação verificável.Os dois termos se sobrepõem, mas não são sinônimos.A escalabilidade recursiva se concentra mais nos resultados da infraestrutura, enquanto as provas ZK recursivas se concentram mais na construção das provas.

Escalabilidade recursiva vs. escalabilidade horizontal

Escalabilidade horizontal significa adicionar mais máquinas, nós, cadeias ou ambientes de execução para processar mais trabalho.Escalabilidade recursiva significa comprimir a verificação de provas para que mais trabalho possa ser verificado com menos verificações finais.Os dois métodos podem ser usados em conjunto.Uma rede de rollups pode usar vários provadores para gerar provas em paralelo, o que é uma forma de escalabilidade horizontal.Depois, pode agregar essas provas recursivamente, o que é escalabilidade recursiva.Essa combinação é poderosa porque distribui a carga de trabalho, mantendo compacta a liquidação final.A escalabilidade horizontal ajuda a gerar mais provas.A escalabilidade recursiva ajuda a verificar mais provas com eficiência.Uma arquitetura blockchain robusta pode precisar das duas abordagens para atender a um grande número de usuários.

Escalabilidade recursiva vs. sharding

Sharding é um método de escalabilidade que divide o trabalho ou os dados da rede entre várias partes chamadas shards.A escalabilidade recursiva não divide a blockchain em shards como principal estratégia.Ela comprime a verificação do trabalho usando provas recursivas.No entanto, a escalabilidade recursiva e o sharding podem se complementar.Diferentes shards, rollups ou cadeias de aplicativos podem gerar suas próprias provas.A agregação recursiva pode então combinar essas provas para permitir liquidação ou verificação eficiente.Isso significa que a escalabilidade recursiva pode conectar vários ambientes de execução a uma única camada final de verificação.Ela é especialmente útil em designs de blockchain modulares, nos quais a execução, a liquidação, o consenso e a disponibilidade de dados podem ser tratados por camadas diferentes.

Escalabilidade recursiva e disponibilidade de dados

A escalabilidade recursiva não elimina a necessidade de disponibilidade de dados.Uma prova pode demonstrar que uma transição de estado foi válida, mas os usuários ainda podem precisar acessar os dados das transações para reconstruir saldos, verificar saques e acompanhar o sistema de forma independente.

A documentação da Ethereum sobre disponibilidade de dados explica que os rollups reduzem custos ao processar transações off-chain e publicar dados de transação comprimidos em lotes.

Isso é importante porque validade e disponibilidade de dados resolvem problemas diferentes.As provas de validade mostram que o cálculo seguiu as regras.A disponibilidade de dados mostra que as informações necessárias para conferir ou reconstruir o estado foram publicadas.Uma prova recursiva pode baratear a verificação, mas não ajuda os usuários a recuperar o estado se os dados necessários estiverem ocultos.Por isso, a escalabilidade recursiva precisa ser acompanhada por um plano sólido de disponibilidade de dados.Um sistema que ignora a disponibilidade de dados pode parecer escalável no papel, mas ser inseguro na prática.

Escalabilidade recursiva e verificação on-chain

A verificação on-chain é o processo de verificar uma prova diretamente em uma blockchain ou em um contrato inteligente.A escalabilidade recursiva pode reduzir o trabalho de verificação on-chain ao comprimir várias provas em uma prova final.Isso pode reduzir os custos de gas e a quantidade de cálculos que a camada base precisa realizar.Também pode tornar mais viável o compartilhamento de um processo de agregação de provas entre vários aplicativos.No entanto, o verificador final precisa ser correto e eficiente.Se houver um erro no contrato verificador, todo o sistema de provas recursivas poderá ficar em risco.Se o verificador for caro demais, o benefício de escalabilidade poderá ser menor.Se um pequeno grupo puder atualizar o verificador sem salvaguardas, os usuários poderão ficar expostos a riscos de governança ou de chave administrativa.A escalabilidade recursiva depende não apenas da matemática das provas, mas também de um design seguro de contratos inteligentes.

Escalabilidade recursiva e redes de provadores

A escalabilidade recursiva geralmente depende de provadores que geram provas para transações, lotes, programas ou provas anteriores.Uma rede de provadores pode incluir provadores centralizados, autorizados, sem permissão ou comunitários, além de provedores de hardware especializado.A agregação recursiva pode tornar as redes de provadores mais eficientes, pois diferentes provadores podem trabalhar em tarefas menores de geração de provas.Depois, os resultados podem ser combinados em uma prova maior.Isso pode reduzir gargalos e aumentar a capacidade de processamento.No entanto, a descentralização dos provadores não é automática.Se a geração de provas exigir hardware caro ou infraestrutura fechada, apenas um pequeno número de participantes poderá participar.Isso pode criar riscos operacionais caso o principal provador falhe ou sofra censura.Um sistema robusto de escalabilidade recursiva deve considerar provadores de contingência, participação aberta, monitoramento e processos de recuperação claros.

Benefícios da escalabilidade recursiva

O primeiro grande benefício da escalabilidade recursiva é uma maior capacidade de processamento.Mais transações ou cálculos podem ser representados por menos provas finais.O segundo benefício é a redução dos custos de verificação.Uma blockchain base pode verificar uma prova agregada em vez de várias provas individuais.O terceiro benefício é uma paralelização mais eficiente.Provadores diferentes podem trabalhar em partes distintas da carga de trabalho antes da combinação dos resultados.O quarto benefício é uma verificação mais leve para os usuários.Sistemas de provas sucintas podem permitir que os usuários verifiquem históricos extensos ou sistemas complexos com provas pequenas.O quinto benefício é uma modularidade maior.Rollups, cadeias de aplicativos, zkVMs, bridges e serviços de provas podem se conectar por meio de agregação compartilhada de provas.O sexto benefício é uma maior redução da dependência de confiança.Os usuários podem confiar na verificação criptográfica das provas, em vez de confiar apenas que os operadores relatem resultados corretos.

Limitações da escalabilidade recursiva

A escalabilidade recursiva é poderosa, mas tecnicamente complexa.Sistemas de provas recursivas podem ser difíceis de projetar, implementar, auditar e manter.O circuito precisa verificar corretamente a prova interna.As entradas e saídas públicas precisam ser conectadas com segurança entre as camadas de provas.O sistema de provas precisa usar pressupostos seguros e escolhas de implementação confiáveis.A geração recursiva de provas também pode causar latência se o sistema precisar aguardar várias camadas de provas antes da liquidação final.A geração de provas pode exigir hardware especializado ou software otimizado.A disponibilidade de dados ainda precisa ser tratada separadamente.Os usuários não devem presumir que um sistema é seguro apenas porque usa provas recursivas.Toda a arquitetura precisa ser analisada, incluindo contratos, provadores, sequenciadores, camadas de dados, bridges e controles de atualização.

Riscos de segurança da escalabilidade recursiva

O maior risco de segurança é provar a afirmação errada.Se uma prova recursiva verificar uma prova interna, mas não vincular corretamente essa prova ao estado público adequado, a prova final poderá ser enganosa.Outro risco são erros no verificador.Um erro no verificador pode afetar todas as provas que dependem dele.Outro risco é a baixa disponibilidade dos dados.Uma prova válida não ajuda os usuários se eles não puderem acessar os dados necessários para reconstruir o estado do sistema.Outro risco é a centralização dos provadores.Se apenas uma parte conseguir gerar provas, o sistema poderá depender excessivamente dela para continuar operando.Outro risco é a possibilidade de atualização insegura.Se um verificador, contrato de rollup ou sistema de provas puder ser alterado com facilidade, os usuários poderão ficar expostos a riscos de governança ocultos.A escalabilidade recursiva reduz a carga de verificação, mas não elimina a necessidade de uma engenharia de segurança cuidadosa.

Casos de uso comuns da escalabilidade recursiva

A escalabilidade recursiva é usada em ZK-rollups para agregar provas antes da liquidação final.É usada em blockchains sucintas para manter a verificação pequena à medida que o histórico cresce.É usada em zkVMs para provar a execução de programas grandes por meio de segmentos menores de provas.É usada em mercados de provas, nos quais vários provadores produzem partes de uma carga de trabalho maior.É usada em designs de bridge nos quais uma cadeia precisa de evidências compactas do estado de outra.É usada em sistemas de privacidade nos quais várias ações privadas precisam ser verificadas sem revelar dados confidenciais.Também pode ser usada em sistemas de identidade, jogos, leilões, provas de conformidade e computação off-chain verificável.À medida que a infraestrutura cripto se torna mais modular, a escalabilidade recursiva se torna mais útil porque muitos sistemas diferentes precisam de uma forma comum de comprimir a verificação.

Boas práticas para desenvolvedores

Os desenvolvedores devem definir exatamente o que cada prova recursiva deve demonstrar.Devem vincular cuidadosamente as entradas públicas, raízes de estado, dados dos lotes, saídas das provas e pressupostos do verificador.Devem usar sistemas de provas bem avaliados e evitar criptografia personalizada, a menos que a equipe tenha ampla experiência.Devem testar provas inválidas, entradas malformadas, casos extremos e transições de estado incorretas.Devem separar a validade das provas da disponibilidade de dados no design do sistema.Devem documentar os requisitos dos provadores, os contratos verificadores, os controles de atualização, os pressupostos de configuração confiável e os procedimentos de recuperação.Devem monitorar o tempo de geração das provas, as taxas de falha, a latência de liquidação e a concentração dos provadores.Devem solicitar auditorias independentes de equipes que entendam tanto de contratos inteligentes quanto de sistemas de provas de conhecimento zero.Também devem explicar o modelo de segurança em linguagem simples para que os usuários entendam quais são os pressupostos de confiança.

Boas práticas para usuários

Os usuários devem entender que a escalabilidade recursiva pode melhorar a eficiência, mas não torna um protocolo livre de riscos.Devem verificar se o projeto explica seu sistema de provas, o modelo de disponibilidade de dados, os contratos verificadores e o processo de saque.Devem procurar auditorias, código aberto, documentação pública e políticas claras de atualização.Devem entender se o sistema depende de um único provador, de um pequeno grupo de provadores ou de uma rede mais ampla.Devem ter cautela quando um projeto usa termos avançados de ZK sem explicar os riscos práticos.Devem lembrar que taxas menores e maior capacidade de processamento só são valiosas se o sistema continuar seguro e utilizável em momentos de estresse.A escalabilidade recursiva é uma ferramenta técnica robusta, mas a segurança dos usuários ainda depende do design completo do protocolo.

Perguntas frequentes

O que significa escalabilidade recursiva no universo cripto?

Escalabilidade recursiva significa usar provas recursivas para comprimir várias transações, cálculos ou provas em uma prova final menor e mais fácil de verificar.

Escalabilidade recursiva é o mesmo que provas ZK recursivas?

Não. As provas ZK recursivas são a ferramenta criptográfica, enquanto a escalabilidade recursiva é a estratégia mais ampla de escalabilidade de blockchain que utiliza essa ferramenta.

Por que a escalabilidade recursiva é útil para ZK-rollups?

Ela ajuda os ZK-rollups a agregar várias provas de lotes em uma prova final, o que pode reduzir os custos de verificação e aumentar a capacidade de processamento.

A escalabilidade recursiva torna as transações privadas?

Não automaticamente. Ela pode dar suporte a sistemas de privacidade, mas não oculta dados a menos que o sistema de provas e o aplicativo sejam projetados para isso.

A escalabilidade recursiva substitui a disponibilidade de dados?

Não. A escalabilidade recursiva aprimora a verificação de provas, enquanto a disponibilidade de dados garante que os usuários possam acessar as informações necessárias para reconstruir e verificar o estado.

A escalabilidade recursiva pode reduzir as taxas de blockchain?

Ela pode ajudar a reduzir os custos de verificação e liquidação, mas as taxas reais também dependem da demanda, dos custos de disponibilidade de dados, dos custos dos provadores e do design do protocolo.

O que é agregação de provas?

Agregação de provas é o processo de combinar várias provas em menos provas ou em uma prova final para permitir uma verificação mais eficiente.

A escalabilidade recursiva pode ser usada fora dos rollups?

Sim. Ela pode ser usada em blockchains sucintas, zkVMs, bridges, mercados de provas, sistemas de privacidade, sistemas de identidade e computação verificável.

Qual é o principal risco da escalabilidade recursiva?

O principal risco é que um sistema de provas complexo, um verificador, uma conexão de entradas públicas ou um design de disponibilidade de dados contenha uma falha ou um pressuposto inseguro.

Por que a escalabilidade recursiva é importante para blockchains modulares?

Ela ajuda vários ambientes de execução, rollups, cadeias de aplicativos e sistemas de provas a comprimir seu trabalho em camadas finais de verificação eficientes.

Conclusão

A escalabilidade recursiva é uma estratégia de escalabilidade cripto que usa provas recursivas para tornar a verificação mais eficiente.Ela permite representar várias transações, cálculos ou provas por meio de uma prova final compacta.Isso a torna especialmente importante para ZK-rollups, agregação de provas, zkVMs, blockchains sucintas, clientes leves, bridges e sistemas blockchain modulares.O principal benefício é permitir que as blockchains verifiquem mais trabalho sem executar ou conferir diretamente on-chain cada parte desse trabalho.Isso pode viabilizar maior capacidade de processamento, custos menores de verificação, geração paralela de provas e uma infraestrutura que dependa menos de confiança.A escalabilidade recursiva não é o mesmo que simplesmente aumentar o tamanho dos blocos ou adicionar mais servidores.Ela escala comprimindo a correção em camadas de provas.No entanto, ainda depende de circuitos seguros, verificadores corretos, disponibilidade confiável dos dados, controles sólidos de atualização e infraestrutura prática para os provadores.A maneira mais simples de entender a escalabilidade recursiva é que ela permite que sistemas cripto cresçam verificando provas de provas, em vez de verificar cada ação separadamente.À medida que a infraestrutura de conhecimento zero amadurece, a escalabilidade recursiva continuará sendo um dos caminhos mais importantes para aplicativos blockchain mais rápidos, baratos e verificáveis.