Prova de validade

O que é uma Prova de validade?

Uma Prova de validade é uma prova criptográfica que demonstra que um cálculo, lote de transações ou transição de estado de uma blockchain foi executado corretamente.

No mercado cripto, as Provas de validade são mais frequentemente discutidas em ZK-rollups, Validiums, Volitions, zkVMs, zkEVMs e outros sistemas de escalabilidade que processam transações off-chain e comprovam o resultado on-chain.

A documentação oficial da Ethereum sobre ZK-rollups explica que ZK-rollups enviam provas de validade para finalizar lotes de transações off-chain na Ethereum.

Uma Prova de validade permite que um verificador confirme que o novo estado está correto sem reexecutar todas as transações uma por uma.

Isso é poderoso porque uma blockchain pode verificar uma prova pequena em vez de processar diretamente uma grande quantidade de cálculos.

As Provas de validade são um dos principais motivos pelos quais sistemas modernos de camada 2 podem reduzir custos, mantendo importantes garantias de segurança herdadas de uma camada de liquidação.

Para iniciantes, a definição mais simples é: uma Prova de validade é um comprovante criptográfico compacto que prova que um lote de atividade off-chain seguiu as regras.

Por que as Provas de validade são importantes no mercado cripto

As Provas de validade são importantes porque blockchains precisam escalar sem abrir mão da correção.

Uma camada base como a Ethereum é segura, mas o espaço em bloco e a capacidade computacional são limitados.

Se cada ação de usuário precisar ser totalmente executada por todos os nós da camada base, as taxas podem aumentar e a capacidade de processamento pode continuar limitada.

As Provas de validade ajudam a resolver isso ao mover a execução para off-chain, mantendo a verificação on-chain.

Um rollup ou Validium pode processar muitas transações fora da camada base, gerar uma prova e enviar essa prova para um contrato inteligente.

Se a prova for verificada, a camada de liquidação aceita a atualização de estado.

Isso pode reduzir o custo de swaps, transferências, atividade de NFTs, pagamentos, ações em jogos e outras operações on-chain.

O glossário da L2BEAT define uma prova de validade como o resultado de um sistema criptográfico de prova que atesta a correção de um cálculo.

Isso significa que as Provas de validade não são apenas detalhes técnicos.

Elas são uma parte central de como sistemas de escalabilidade tentam preservar a segurança com minimização de confiança, melhorando ao mesmo tempo a experiência do usuário.

Como uma Prova de validade funciona

Uma Prova de validade geralmente começa com a execução off-chain.

Um sequenciador, operador, rede de provadores ou ambiente de execução recebe transações de usuários e calcula o estado resultante.

O sistema começa a partir de uma raiz de estado antiga.

Ele aplica um lote de transações de acordo com as regras do protocolo.

Ele produz uma nova raiz de estado.

Em seguida, um sistema de prova gera uma prova de que a transição da raiz de estado antiga para a nova raiz de estado foi válida.

A prova é enviada a um verificador, geralmente um contrato inteligente na camada de liquidação.

O verificador analisa a prova de forma muito mais barata do que reexecutar todo o cálculo original.

Se a prova for aceita, a atualização de estado se torna válida no sistema de liquidação.

Se a prova for rejeitada, a atualização inválida não deve ser aceita.

Essa estrutura permite que a blockchain base imponha a correção sem realizar todo o trabalho por conta própria.

Provas de validade e transições de estado

Uma transição de estado é a mudança de um estado válido de blockchain para outro estado válido de blockchain.

Por exemplo, se um usuário envia tokens a outro usuário, o saldo do remetente diminui e o saldo do destinatário aumenta.

Se um usuário faz swap de tokens por meio de um aplicativo descentralizado, os saldos, reservas do pool e taxas podem mudar.

Em um rollup, muitas dessas ações podem ser agrupadas em um lote.

A Prova de validade mostra que o lote completo alterou o estado corretamente.

Por isso, as Provas de validade às vezes são descritas como provas de correção da execução.

Elas não afirmam apenas que as transações existiram.

Elas provam que as transações foram processadas segundo as regras do sistema.

Isso as torna importantes para bridges, saques, saldos, chamadas de contratos inteligentes e segurança de aplicativos.

Uma prova que verificasse um estado incorreto seria catastrófica; por isso, a segurança do sistema de provas e a correção do verificador são essenciais.

Provas de validade vs. provas de conhecimento zero

As Provas de validade são frequentemente criadas usando tecnologia de provas de conhecimento zero, mas os dois termos nem sempre são idênticos.

Uma prova de conhecimento zero pode demonstrar que uma afirmação é verdadeira sem revelar todas as informações subjacentes.

Uma Prova de validade demonstra que um cálculo ou transição de estado é válido.

Muitos rollups usam sistemas de provas de conhecimento zero, como SNARKs ou STARKs, para criar Provas de validade.

No entanto, em sistemas de escalabilidade, a finalidade principal geralmente é a verificação sucinta, e não a privacidade.

Isso significa que um ZK-rollup pode usar tecnologia de prova de conhecimento zero sem ocultar todas as transações dos usuários da visualização pública.

O termo “ZK” pode causar confusão porque, em discussões sobre rollups, ele frequentemente significa “baseado em provas de validade”.

A página da Ethereum sobre ZK-rollups explica que ZK-rollups usam provas de validade para comprovar a execução de transações off-chain.

Para os usuários, o ponto principal é simples.

Uma Prova de validade comprova a correção, enquanto a privacidade depende do desenho específico do protocolo.

Provas de validade vs. provas de fraude

Provas de validade e Provas de fraude são duas formas diferentes de proteger atualizações de estado em camada 2.

Uma Prova de validade demonstra que um lote está correto antes de ele ser aceito.

Uma Prova de fraude é usada para contestar um lote após ele ter sido publicado de forma otimista.

A documentação da Ethereum sobre Optimistic Rollups explica que rollups otimistas presumem que transações off-chain são válidas e não publicam provas de validade para todos os lotes.

Sistemas otimistas geralmente têm uma janela de contestação durante a qual atualizações incorretas de estado podem ser contestadas.

Sistemas com provas de validade não precisam do mesmo período de espera para provas de fraude quanto à correção, porque a prova deve ser verificada antes da aceitação.

Isso pode permitir finalidade mais rápida para saques e atualizações de estado quando o sistema de prova funciona corretamente.

No entanto, gerar Provas de validade pode ser caro e complexo.

Sistemas de prova de fraude podem ser mais simples em alguns aspectos, mas dependem de contestadores e janelas de disputa.

A escolha entre os dois é uma troca de projeto, e não uma simples comparação entre bom e ruim.

Provas de validade e ZK-rollups

ZK-rollups são o local mais comum em que os usuários encontram Provas de validade.

Um ZK-rollup processa transações off-chain, gera uma Prova de validade e envia essa prova para um contrato inteligente da blockchain base.

A blockchain base verifica a prova e aceita a nova raiz de estado se a prova for válida.

Isso permite que o rollup escale a execução enquanto usa a camada de liquidação para a verificação final.

ZK-rollups também publicam dados suficientes para que usuários e observadores reconstruam o estado do rollup.

Essa disponibilidade de dados é importante porque os usuários precisam acessar os dados de transação ou diferenças de estado para verificar saldos e sair com segurança.

A página de análise de riscos da L2BEAT explica que rollups publicam compromissos de estado na Ethereum e os validam por meio de Provas de validade ou mecanismos otimistas de contestação.

A segurança de um ZK-rollup depende do sistema de provas, contrato verificador, disponibilidade de dados, desenho da bridge e controles de atualização.

A Prova de validade é central, mas não é o único fator de risco.

Provas de validade e Validium

Sistemas Validium também usam Provas de validade, mas lidam com a disponibilidade de dados de forma diferente dos ZK-rollups.

Um Validium prova que a execução off-chain estava correta, mas não publica todos os dados de transação na camada de liquidação.

A documentação da Ethereum sobre Validium explica que Validiums usam provas de validade como ZK-rollups, mas mantêm os dados de transação fora da Ethereum.

Isso pode tornar um Validium mais barato que um rollup porque menos dados são publicados on-chain.

No entanto, cria um risco adicional de disponibilidade de dados.

Se os dados forem retidos, os usuários talvez não consigam reconstruir o estado nem sacar com segurança.

Essa é uma lição importante sobre Provas de validade.

Uma Prova de validade pode demonstrar que a transição de estado estava correta, mas não prova automaticamente que todos os usuários têm os dados de que precisam.

Execução correta e disponibilidade de dados são propriedades de segurança diferentes.

Um sistema de escalabilidade seguro precisa das duas.

Provas de validade e Volition

Volition é um desenho híbrido de disponibilidade de dados que permite a usuários ou aplicativos escolherem entre dados on-chain no estilo rollup e dados off-chain no estilo Validium.

A documentação da StarkEx sobre disponibilidade de dados explica que o Volition permite que usuários utilizem cofres ZK-Rollup e Validium no mesmo aplicativo.

As Provas de validade podem proteger ambos os modos porque a prova verifica a execução correta.

A diferença está em onde os dados são disponibilizados.

No modo rollup, os dados são publicados on-chain.

No modo Validium, os dados são mantidos off-chain por meio de um desenho externo de disponibilidade.

O Volition mostra que as Provas de validade são apenas uma parte de uma arquitetura de escalabilidade.

Dois sistemas podem usar tecnologia de provas semelhante e ainda oferecer garantias diferentes aos usuários porque suas escolhas de disponibilidade de dados são diferentes.

Isso é relevante para usuários que escolhem entre menor custo e garantias de saída mais fortes.

As Provas de validade são poderosas, mas devem ser entendidas juntamente com a disponibilidade de dados.

Provas de validade e disponibilidade de dados

Disponibilidade de dados é a garantia de que usuários e validadores podem acessar os dados necessários para verificar ou reconstruir o estado do sistema.

A documentação da Ethereum sobre disponibilidade de dados explica que a disponibilidade de dados garante que dados de bloco tenham sido publicados e estejam acessíveis aos participantes da rede.

Provas de validade e disponibilidade de dados resolvem problemas diferentes.

Uma Prova de validade demonstra que o cálculo foi realizado corretamente.

A disponibilidade de dados garante que os dados subjacentes estejam acessíveis.

Um sistema pode ter uma prova válida, mas dados indisponíveis.

Nesse caso, a transição de estado pode estar correta, mas os usuários ainda podem não conseguir verificar saldos de forma independente ou sair do sistema.

É por isso que rollups e Validiums têm premissas de confiança diferentes, mesmo quando ambos usam Provas de validade.

Os usuários nunca devem avaliar um sistema de escalabilidade apenas perguntando se ele possui provas ZK.

Também devem perguntar onde os dados ficam e como os usuários podem se recuperar se os operadores falharem.

Provas de validade e camadas de liquidação

Uma camada de liquidação é a rede ou sistema que verifica provas, armazena compromissos e finaliza atualizações de estado.

Para muitos sistemas Ethereum de camada 2, a Ethereum atua como camada de liquidação.

O rollup ou Validium envia uma raiz de estado e uma Prova de validade para um contrato inteligente na Ethereum.

O contrato da Ethereum verifica a prova e aceita a atualização se ela for válida.

Isso permite que o sistema de escalabilidade herde parte da segurança da Ethereum sem executar cada transação na própria Ethereum.

No entanto, a camada de liquidação impõe apenas aquilo que o contrato inteligente foi projetado para impor.

Se o contrato verificador tiver um bug, o sistema poderá falhar.

Se chaves de atualização puderem substituir instantaneamente o verificador, os usuários poderão enfrentar risco de governança ou administração.

Se contratos de bridge forem inseguros, os fundos poderão estar em risco mesmo que o sistema de Provas de validade seja robusto.

Portanto, a liquidação é uma questão de arquitetura completa, e não apenas uma questão de prova.

Provas de validade e provadores

Um provador é o sistema que gera uma Prova de validade.

Em um rollup, o provador recebe o lote de transações, rastro de execução ou transição de estado e cria uma prova criptográfica.

A geração de provas pode ser computacionalmente cara.

Esse é um dos motivos pelos quais sistemas ZK são difíceis de construir e operar.

Alguns projetos usam provadores centralizados inicialmente porque a infraestrutura de prova é complexa.

Outros trabalham para criar redes descentralizadas de provadores, nas quais muitas partes independentes podem gerar provas.

Um sistema de provadores robusto deve ser confiável, rápido e resistente à censura ou a falhas de um único operador.

Se as provas atrasarem, o sistema poderá continuar processando transações, mas a liquidação poderá atrasar.

Se o provador falhar completamente, saques e finalização poderão ser afetados.

Os usuários devem entender se um projeto depende de um provador, múltiplos provadores ou uma rede aberta de geração de provas.

Provas de validade e verificadores

Um verificador é o sistema que confere se uma Prova de validade está correta.

Em sistemas de escalabilidade da Ethereum, o verificador geralmente é um contrato inteligente na Ethereum.

O verificador não repete todo o cálculo off-chain.

Ele verifica a prova compacta em relação a entradas públicas, como raiz de estado antiga, nova raiz de estado e outros compromissos necessários.

Isso torna as Provas de validade úteis para escalabilidade.

A verificação deve ser muito mais barata do que a execução completa.

No entanto, a correção do verificador é essencial.

Se o verificador aceitar provas incorretas, estados inválidos poderão ser finalizados.

Se o verificador rejeitar provas válidas, o sistema poderá deixar de funcionar adequadamente.

Contratos verificadores devem ser auditados, testados, monitorados e protegidos por regras cuidadosas de atualização.

A prova só é útil se o verificador a impuser corretamente.

Provas de validade e SNARKs

SNARKs são uma família comum de sistemas de prova usada para criar Provas de validade.

SNARK significa Succinct Non-Interactive Argument of Knowledge.

Um SNARK pode produzir uma prova pequena e rápida de verificar.

Isso torna SNARKs atraentes para a escalabilidade de blockchains porque os custos de verificação on-chain são importantes.

No entanto, alguns sistemas SNARK exigem cerimônias de configuração confiável ou premissas criptográficas específicas.

Diferentes designs de SNARK têm diferentes trade-offs relacionados ao tamanho da prova, tempo de geração, custo de verificação, transparência, recursão e ferramentas para desenvolvedores.

Em discussões sobre rollups, uma Prova de validade baseada em SNARK é frequentemente usada para verificar que um lote de transações foi executado corretamente.

Os usuários não precisam entender todos os detalhes matemáticos para compreender o modelo de risco.

Devem saber que SNARKs podem tornar a verificação eficiente, mas a implementação e as premissas de configuração ainda são importantes.

Um projeto deve divulgar qual sistema de prova utiliza e como ele é protegido.

Provas de validade e STARKs

STARKs são outra importante família de sistemas de prova usados para Provas de validade.

STARK significa Scalable Transparent Argument of Knowledge.

STARKs são conhecidos pela transparência porque não exigem o mesmo tipo de configuração confiável usado por alguns sistemas SNARK.

A visão geral da StarkEx descreve a StarkEx como um mecanismo de escalabilidade que usa provas STARK e oferece suporte aos modos de disponibilidade de dados rollup, Validium e Volition.

STARKs podem ser atraentes para grandes cálculos e sistemas de escalabilidade.

Eles também podem ter tamanhos de prova maiores do que alguns designs SNARK, dependendo da implementação.

Assim como SNARKs, STARKs não são automaticamente privados apenas porque são usados em sistemas ZK.

O principal uso para escalabilidade é a prova de execução correta.

Uma Prova de validade baseada em STARK pode ajudar uma camada de liquidação a verificar eficientemente um grande cálculo off-chain.

Os trade-offs são técnicos, mas afetam custo, velocidade, premissas de segurança e desenho do ecossistema.

Provas de validade e zkEVMs

Uma zkEVM é um sistema de prova de conhecimento zero projetado para comprovar a execução de contratos inteligentes semelhantes aos da Ethereum ou de cálculos compatíveis com a EVM.

As Provas de validade são centrais para zkEVMs porque o sistema precisa provar que a execução da EVM foi realizada corretamente.

Isso é difícil porque a EVM não foi originalmente projetada para ser fácil de provar.

Uma zkEVM precisa lidar com opcodes, regras de gas, armazenamento, chamadas, logs, precompilações e atualizações de estado.

O objetivo é permitir que desenvolvedores implementem aplicativos no estilo Ethereum, obtendo os benefícios de escalabilidade de provas baseadas em validade.

Diferentes zkEVMs podem fazer diferentes trade-offs de compatibilidade e desempenho.

Algumas buscam uma equivalência próxima à EVM.

Outras otimizam a eficiência de geração de provas e as ferramentas de desenvolvimento.

Os usuários não devem presumir que todas as zkEVMs têm a mesma segurança, custo ou compatibilidade.

A Prova de validade comprova a execução apenas de acordo com as regras definidas pelo sistema.

Provas de validade e zkVMs

Uma zkVM é uma máquina virtual projetada para produzir provas de execução de programas.

Em vez de provar apenas um circuito especializado, uma zkVM pode provar que um programa mais amplo foi executado corretamente.

Isso pode tornar as Provas de validade mais flexíveis para appchains, rollups, bridges, coprocessadores e cálculos off-chain.

Uma zkVM pode ser usada para provar a execução de blocos de blockchain, lógica de contratos inteligentes, processamento de dados ou aplicativos especializados.

Isso é importante porque desenvolvedores podem querer sistemas de prova que ofereçam suporte a linguagens de programação conhecidas ou cálculos mais gerais.

No entanto, a generalidade pode ter custos de desempenho.

Um circuito personalizado pode ser mais rápido para uma tarefa específica.

Uma zkVM pode ser mais fácil de desenvolver, mas mais difícil de otimizar.

Provas de validade criadas com zkVMs fazem parte de uma tendência crescente de computação verificável além de simples transferências de tokens.

Isso pode expandir o que as blockchains podem verificar sem executar tudo diretamente.

Provas de validade e provas recursivas

Provas recursivas permitem que uma prova verifique outra prova.

Isso pode ser útil para agregar muitas Provas de validade em uma única prova menor.

Por exemplo, vários lotes de transações podem ter suas próprias provas.

Um sistema recursivo pode combinar essas provas em uma única prova que é mais barata de enviar ou verificar.

Isso pode melhorar a escalabilidade porque a camada de liquidação pode verificar uma prova agregada em vez de muitas provas separadas.

A geração recursiva de provas também pode apoiar arquiteturas multicamadas, verificação cross-chain e compressão de provas.

No entanto, a recursão adiciona complexidade.

O sistema de provas, verificador, lógica de agregação e premissas de segurança exigem revisão cuidadosa.

Provas de validade recursivas são poderosas porque podem tornar sistemas de prova mais escaláveis.

Elas também são avançadas e exigem forte disciplina de engenharia.

Provas de validade e bridges

As bridges são um dos locais mais importantes em que as Provas de validade afetam os fundos dos usuários.

Uma bridge de rollup pode bloquear ativos na Ethereum e creditar saldos correspondentes na camada 2.

Quando um usuário realiza um saque, a bridge precisa saber que a atualização de estado da camada 2 é válida.

Uma Prova de validade pode ajudar a bridge a verificar que um saque foi incluído em uma transição de estado correta.

Isso pode reduzir a dependência de um operador confiável.

No entanto, a segurança da bridge ainda depende do desenho do contrato inteligente, correção do verificador, controles de atualização, disponibilidade de dados e procedimentos de emergência.

Uma Prova de validade não protege automaticamente usuários contra todos os riscos de bridge.

Uma bridge ainda pode ser vulnerável se o contrato puder ser atualizado sem atraso, se chaves administrativas forem comprometidas ou se a lógica de saque tiver falhas.

Os usuários devem verificar a verificação das provas, custódia da bridge, regras de saída e risco de atualização antes de depositar grandes valores em qualquer sistema de escalabilidade.

Bridges baseadas em provas são poderosas, mas não são livres de riscos.

Provas de validade e velocidade de saque

As Provas de validade podem melhorar a velocidade de saque em comparação com sistemas que dependem de janelas de contestação de provas de fraude.

Em um rollup baseado em validade, quando a prova é gerada e verificada, a atualização de estado pode ser finalizada de acordo com as regras da camada de liquidação.

Isso pode reduzir a necessidade de longos períodos de espera.

No entanto, a velocidade de saque ainda depende do tempo de geração da prova, envio da prova, confirmação da camada de liquidação, desenho da bridge e condições de liquidez.

Um sistema baseado em validade ainda pode apresentar atrasos se o provador estiver congestionado ou se o protocolo agrupar saques em um cronograma.

Um projeto também pode adicionar atrasos de segurança extras por razões operacionais.

Os usuários não devem presumir que todo sistema de Provas de validade possui saques instantâneos.

A pergunta correta é quanto tempo a geração da prova, a verificação e a liberação pela bridge levam na prática.

As Provas de validade podem possibilitar uma liquidação mais rápida, mas os detalhes da implementação definem a experiência do usuário.

A documentação oficial de saque deve sempre ser consultada antes de movimentar fundos.

Provas de validade e finalidade

Finalidade significa que uma transação ou atualização de estado foi aceita e não pode ser revertida sob as regras normais do protocolo.

As Provas de validade podem melhorar a finalidade de atualizações de estado de rollups porque o contrato de liquidação aceita apenas transições de estado comprovadas.

Quando a prova é verificada e a camada de liquidação finaliza a transação, os usuários podem ter maior confiança de que a atualização de estado é válida.

No entanto, a finalidade ainda possui camadas.

Há a confirmação interna do rollup.

Há a geração de prova.

Há a verificação na camada de liquidação.

Há a finalidade da camada de liquidação.

Também podem existir riscos de atualização ou governança que afetem a finalidade prática.

Os usuários devem distinguir entre a confirmação rápida dentro de uma interface de camada 2 e a liquidação final na camada base.

Uma Prova de validade é uma parte essencial da liquidação final, mas nem sempre é a primeira coisa que um usuário vê no aplicativo.

Provas de validade e custos de gas

As Provas de validade podem reduzir os custos totais de gas ao permitir que uma blockchain verifique uma prova em vez de executar cada transação diretamente.

No entanto, a própria verificação da prova ainda custa gas.

Também podem existir custos para publicar dados, atualizar raízes de estado, processar saques e manter contratos de bridge.

Após as mudanças da Ethereum baseadas em blobs, os custos de dados para rollups podem ser menores do que em designs antigos baseados em calldata.

A documentação do roadmap de danksharding da Ethereum explica que o proto-danksharding introduziu blobs como um espaço de dados mais barato para rollups.

Isso afeta a economia da escalabilidade baseada em validade.

Verificação de provas, disponibilidade de dados e estratégia de agrupamento são fatores importantes para as taxas finais.

Um sistema com provas eficientes, mas publicação de dados cara, ainda pode enfrentar taxas altas.

Um sistema com dados baratos, mas geração lenta de provas, pode sofrer atrasos.

O custo de escalabilidade é um problema de todo o fluxo, e não apenas de provas.

Provas de validade e premissas de segurança

As Provas de validade reduzem algumas premissas de confiança, mas não eliminam todas elas.

Os usuários ainda dependem da solidez do sistema de provas.

Dependem da implementação correta do verificador.

Dependem de contratos inteligentes seguros.

Dependem da disponibilidade de dados.

Dependem de controles razoáveis de atualização.

Dependem de operadores ou sequenciadores para disponibilidade operacional, a menos que existam mecanismos robustos de contingência.

Dependem de carteiras e usuários assinando transações seguras.

É por isso que uma análise séria de camada 2 envolve mais do que a frase “usa provas de validade”.

A prova informa aos usuários que cálculos inválidos não devem ser aceitos.

Ela não garante que o sistema seja descentralizado, resistente à censura, barato, privado ou livre de risco de atualização.

Uma Prova de validade é um componente de segurança forte, e não um modelo completo de segurança por si só.

Provas de validade e risco de sequenciador

Um sequenciador ordena transações antes que elas sejam comprovadas e liquidadas.

Muitos sistemas baseados em validade usam sequenciadores para oferecer velocidade e melhor experiência ao usuário.

Um sequenciador pode criar blocos ou lotes rapidamente e fornecer pré-confirmações rápidas aos usuários.

No entanto, a centralização do sequenciador pode criar riscos.

Um sequenciador pode ficar offline.

Um sequenciador pode censurar transações.

Um sequenciador pode reordenar transações para MEV.

Um sequenciador pode atrasar saques até que um lote seja publicado e comprovado.

Uma Prova de validade pode demonstrar que o lote é válido, mas não obriga automaticamente o sequenciador a incluir imediatamente todas as transações dos usuários.

Mecanismos de inclusão forçada, sequenciamento descentralizado, modos de contingência e regras claras de disponibilidade operacional podem reduzir esse risco.

Os usuários devem verificar o desenho do sequenciador ao avaliar qualquer camada 2 baseada em validade.

Provas de validade e risco de atualização

O risco de atualização é uma das questões mais negligenciadas em sistemas de escalabilidade baseados em validade.

Um rollup pode usar Provas de validade e ainda depender de contratos atualizáveis.

Se uma equipe ou multisig puder substituir rapidamente o contrato verificador, os usuários precisarão confiar nesse processo de atualização.

Se uma bridge puder ser atualizada instantaneamente, os fundos dos usuários poderão ficar expostos ao risco administrativo.

Se não houver uma janela de saída significativa antes das atualizações, os usuários podem não ter tempo de reagir a mudanças perigosas.

As páginas de risco da L2BEAT geralmente avaliam atrasos de atualização, controles de governança e se os usuários podem sair antes que alterações arriscadas entrem em vigor.

Isso é importante porque um sistema de provas perfeito não ajuda se o contrato que o impõe puder ser alterado sem proteção aos usuários.

As Provas de validade devem ser combinadas com atualizações transparentes, auditorias, atrasos, monitoramento e governança confiável.

Um sistema é tão seguro quanto sua criptografia e sua estrutura de controle.

Provas de validade e privacidade

As Provas de validade são frequentemente associadas à tecnologia de conhecimento zero, então os usuários podem presumir que elas fornecem privacidade automaticamente.

Isso nem sempre é verdade.

Uma Prova de validade pode demonstrar execução correta enquanto os dados de transação permanecem públicos.

Muitos ZK-rollups publicam dados de transação para disponibilidade de dados, o que significa que a atividade do usuário ainda pode ser visível.

A privacidade exige escolhas adicionais de projeto, como estado criptografado, transações protegidas, sistemas privados de identidade ou protocolos especializados de privacidade.

Um sistema de provas pode ser de conhecimento zero no sentido matemático, enquanto o aplicativo ainda revela informações de transação por motivos de usabilidade ou disponibilidade de dados.

Os usuários não devem presumir que um ZK-rollup ou sistema baseado em validade é privado, a menos que a documentação explique claramente as garantias de privacidade.

Correção e privacidade são propriedades diferentes.

As Provas de validade tratam principalmente da correção em discussões sobre escalabilidade.

A privacidade deve ser avaliada separadamente.

Provas de validade e DeFi

As Provas de validade podem ser muito úteis para DeFi porque DeFi precisa de execução segura e taxas menores.

O guia oficial de DeFi da Ethereum explica que as finanças descentralizadas usam blockchains públicas e contratos inteligentes para fornecer serviços financeiros.

Aplicativos DeFi podem usar escalabilidade baseada em validade para swaps, empréstimos, derivativos, liquidação, pagamentos e gestão de portfólio.

Taxas menores podem tornar transações menores mais práticas.

Uma liquidação mais rápida pode melhorar a experiência do usuário.

As Provas de validade podem reduzir a confiança em cálculos off-chain porque transições de estado incorretas devem ser rejeitadas.

No entanto, usuários de DeFi ainda devem considerar liquidez, risco de oráculo, risco de liquidação, risco de bridge, risco de sequenciador e disponibilidade de dados.

Uma posição DeFi pode ser matematicamente válida e ainda gerar prejuízo devido ao risco de mercado.

Um rollup de baixo custo ainda pode apresentar risco de contrato ou governança.

As Provas de validade melhoram a integridade da execução, mas não eliminam o risco financeiro.

Provas de validade e NFTs

As Provas de validade podem ajudar plataformas de NFT a escalar minting, transferências, negociação e atividade de ativos de jogos.

Coleções de NFT podem envolver muitas transações, especialmente durante mints muito procurados ou eventos de jogos.

Um sistema de escalabilidade baseado em validade pode processar essas ações off-chain e comprovar o estado resultante on-chain.

Isso pode reduzir taxas e melhorar a capacidade de processamento.

O guia oficial de NFTs da Ethereum explica que NFTs podem representar a propriedade de itens exclusivos.

Se NFTs forem mantidos em um sistema baseado em validade, os usuários devem entender como a propriedade é comprovada, como os saques funcionam e onde os metadados são armazenados.

As Provas de validade podem comprovar que transferências de NFTs seguiram as regras do protocolo.

Elas não garantem automaticamente que os metadados de NFTs sejam permanentes ou que ativos off-chain estejam disponíveis.

Usuários de NFT devem verificar o desenho do contrato, regras da bridge, armazenamento de metadados e termos da coleção.

Uma transição de estado válida é importante, mas o valor de um NFT também depende de contexto off-chain.

Provas de validade e jogos

Jogos em blockchain podem se beneficiar das Provas de validade porque os jogos frequentemente precisam de muitas ações de baixo custo.

Um jogo pode exigir transferências de itens, atualizações de personagens, resultados de partidas, resgates de recompensas, negociações no marketplace ou ações de criação.

Executar tudo isso diretamente em uma camada base pode ser caro.

Um sistema baseado em validade pode processar ações do jogo off-chain e comprovar o resultado correto.

Isso pode apoiar jogos Web3 mais fluidos sem depender apenas de um banco de dados centralizado.

No entanto, usuários de jogos devem entender o que realmente é comprovado.

Uma Prova de validade pode demonstrar que transições de estado seguiram as regras de contrato inteligente do jogo.

Ela pode não provar que o desenho do jogo é justo, divertido, equilibrado ou livre de manipulação administrativa.

Ela pode não provar que ativos, servidores ou metadados de jogo off-chain durarão para sempre.

As Provas de validade podem melhorar a integridade técnica, mas a qualidade do jogo e a propriedade dos usuários ainda dependem de um desenho mais amplo.

Provas de validade e IA on-chain

As Provas de validade estão se tornando importantes além de transferências de tokens e rollups.

Elas também podem apoiar computação verificável para IA, processamento de dados e execução off-chain.

Um sistema pode querer provar que uma inferência de modelo, cálculo, verificação de risco ou transformação de dados foi realizada corretamente sem executar toda a carga de trabalho on-chain.

Essa área ainda está em desenvolvimento e pode envolver zkML, zkVMs, coprocessadores e projetos híbridos de verificação.

A ideia é semelhante à dos rollups.

Faça o trabalho caro off-chain.

Comprove o resultado on-chain.

No entanto, cargas de trabalho de IA podem ser muito mais difíceis de comprovar de forma eficiente do que transferências simples de tokens.

As Provas de validade podem ajudar a tornar a IA on-chain mais confiável, mas os usuários devem ter cuidado com alegações de desempenho.

A IA verificável é promissora, mas muitas implementações continuam experimentais.

Provas de validade e coprocessadores

Um coprocessador é um sistema de cálculo off-chain que ajuda contratos inteligentes a acessar resultados cuja computação direta on-chain seria cara demais.

As Provas de validade podem tornar coprocessadores mais confiáveis ao demonstrar que o cálculo off-chain estava correto.

Por exemplo, um contrato inteligente pode precisar de um grande cálculo histórico, consulta de dados ou modelo de risco complexo.

Em vez de executar tudo on-chain, o coprocessador calcula o resultado e envia uma prova.

O contrato inteligente verifica a prova antes de usar o resultado.

Isso pode ampliar o que aplicativos descentralizados podem fazer.

No entanto, coprocessadores introduzem seus próprios riscos.

Os usuários devem entender fontes de dados, cobertura da prova, disponibilidade operacional, latência e premissas do verificador.

Uma Prova de validade pode comprovar um cálculo, mas esse cálculo só é útil se os dados de entrada e a lógica do programa estiverem corretos.

Dados de entrada ruins ainda podem produzir resultados ruins, mesmo com uma prova válida.

Benefícios das Provas de validade

O primeiro benefício das Provas de validade é a correção da execução.

Elas demonstram que um cálculo ou transição de estado seguiu as regras.

O segundo benefício é a escalabilidade.

Elas permitem que blockchains verifiquem provas compactas em vez de executar cada transação diretamente.

O terceiro benefício é uma finalidade mais rápida em comparação com sistemas que dependem de longas janelas de contestação para provas de fraude.

O quarto benefício é uma segurança melhor de bridges quando a verificação de provas é implementada corretamente.

O quinto benefício é o suporte a aplicativos avançados, como rollups, Validiums, zkVMs, zkEVMs, coprocessadores e computação verificável.

O sexto benefício é a redução da confiança em operadores quanto à correção da execução.

O sétimo benefício é a composabilidade com camadas de disponibilidade de dados, provas recursivas e arquiteturas modulares de blockchain.

Esses benefícios explicam por que as Provas de validade são uma parte importante do roadmap de escalabilidade da Ethereum e da infraestrutura Web3 mais ampla.

Elas são uma das ferramentas mais fortes para tornar cálculos off-chain verificáveis.

Riscos e limitações das Provas de validade

O primeiro risco é a complexidade do sistema de provas.

Criptografia avançada é difícil de implementar com segurança.

O segundo risco é a centralização do provador.

Se apenas uma parte puder gerar provas, o sistema poderá depender dela para disponibilidade operacional.

O terceiro risco são bugs no verificador.

Um verificador defeituoso pode rejeitar provas válidas ou aceitar provas inválidas.

O quarto risco é a falha de disponibilidade de dados.

Uma prova pode verificar a execução correta sem disponibilizar os dados subjacentes aos usuários.

O quinto risco é o risco de atualização.

Contratos controlados por administradores podem enfraquecer a segurança de um sistema baseado em provas.

O sexto risco é o mal-entendido sobre privacidade.

Usuários podem presumir que sistemas baseados em ZK são privados quando estão apenas usando provas de validade.

O sétimo risco é a complexidade de bridges e saques.

Os fundos dos usuários ainda podem depender de lógica segura de bridge e mecanismos de saída.

O oitavo risco é o marketing enganoso.

Um projeto pode usar a expressão “prova de validade” sem explicar claramente o que é comprovado e o que não é comprovado.

Como avaliar um sistema de Provas de validade

Comece perguntando o que a prova realmente comprova.

Ela comprova uma transição de estado completa, um programa específico, um saque, uma mensagem de bridge ou apenas parte do sistema?

Em seguida, pergunte quem gera a prova.

O provador é centralizado, descentralizado, permissionado ou aberto a qualquer pessoa?

Pergunte onde a prova é verificada.

A verificação é realizada por um contrato inteligente da camada de liquidação, um verificador off-chain ou um serviço confiável?

Pergunte se o contrato verificador é público e auditado.

Pergunte se os contratos podem ser atualizados e se há atraso de tempo.

Pergunte onde os dados estão disponíveis.

Pergunte como os usuários podem sacar se os operadores falharem.

Pergunte se o projeto possui análise independente de riscos de fontes como a L2BEAT.

Um sistema real de Provas de validade deve deixar essas respostas claras.

Equívocos comuns sobre Provas de validade

Um equívoco comum é que as Provas de validade tornam automaticamente um sistema privado.

Elas não tornam, porque validade e privacidade são propriedades diferentes.

Outro equívoco é que as Provas de validade eliminam todas as premissas de confiança.

Elas reduzem a confiança na correção da execução, mas os usuários ainda precisam considerar disponibilidade de dados, atualizações, bridges e disponibilidade operacional.

Outro equívoco é que uma Prova de validade é igual a uma Prova de fraude.

Uma Prova de validade demonstra a correção antes da aceitação, enquanto uma Prova de fraude contesta alegações incorretas após uma aceitação otimista.

Outro equívoco é que todos os ZK-rollups têm segurança idêntica.

Diferentes sistemas de prova, contratos verificadores, escolhas de disponibilidade de dados, controles de atualização e desenhos de sequenciadores criam riscos diferentes.

Outro equívoco é que Validiums oferecem as mesmas garantias que ZK-rollups.

Ambos podem usar Provas de validade, mas Validiums mantêm dados off-chain e, portanto, adicionam premissas de disponibilidade de dados.

Outro equívoco é que a verificação de provas significa saques instantâneos.

A velocidade de saque ainda depende do tempo de geração da prova, desenho da bridge, confirmação de liquidação e regras do protocolo.

Prova de validade em termos simples

Uma Prova de validade é uma forma de provar que um sistema cripto realizou o cálculo correto.

Em vez de pedir a uma blockchain que repita milhares de transações, um sistema pode enviar uma única prova.

A blockchain verifica a prova.

Se a prova for válida, o novo estado poderá ser aceito.

Isso ajuda rollups e outros sistemas de escalabilidade a se tornarem mais baratos e rápidos.

As Provas de validade são mais comuns em ZK-rollups e Validiums.

Elas também estão se tornando importantes em zkVMs, zkEVMs, bridges, coprocessadores e computação verificável.

No entanto, uma Prova de validade não resolve tudo.

Os usuários ainda precisam verificar disponibilidade de dados, segurança da bridge, regras de saque, risco de sequenciador e controles de atualização.

Para iniciantes, a regra principal é simples.

Uma Prova de validade demonstra que a execução estava correta, mas todo o sistema ainda precisa ser projetado com segurança.

FAQ

O que é uma Prova de validade no mercado cripto?

Uma Prova de validade é uma prova criptográfica que demonstra que um cálculo ou transição de estado foi executado corretamente de acordo com as regras do protocolo.

Onde as Provas de validade são usadas?

As Provas de validade são usadas em ZK-rollups, Validiums, Volitions, zkEVMs, zkVMs, bridges, coprocessadores e outros sistemas de computação verificável.

Uma Prova de validade é igual a uma prova de conhecimento zero?

Não, uma Prova de validade comprova a execução correta, enquanto uma prova de conhecimento zero também pode fornecer privacidade dependendo do desenho.

Todas as Provas de validade fornecem privacidade?

Não, muitas Provas de validade em sistemas de escalabilidade são usadas para correção, e não para privacidade.

Qual é a diferença entre uma Prova de validade e uma Prova de fraude?

Uma Prova de validade demonstra que uma atualização de estado está correta antes da aceitação, enquanto uma Prova de fraude contesta uma atualização incorreta após a aceitação otimista.

Por que ZK-rollups usam Provas de validade?

ZK-rollups usam Provas de validade para demonstrar que lotes de transações off-chain foram executados corretamente antes que a blockchain base aceite o novo estado.

Validiums usam Provas de validade?

Sim, Validiums usam Provas de validade para a correção da execução, mas mantêm os dados de transação off-chain.

Uma Prova de validade resolve a disponibilidade de dados?

Não, uma Prova de validade demonstra a correção do cálculo, enquanto a disponibilidade de dados garante que usuários possam acessar os dados necessários para reconstruir o estado.

Uma Prova de validade pode ser verificada na Ethereum?

Sim, muitos sistemas de escalabilidade da Ethereum enviam Provas de validade para contratos inteligentes verificadores na Ethereum.

O que é um provador?

Um provador é o sistema que gera a Prova de validade após a execução off-chain.

O que é um verificador?

Um verificador é o contrato ou sistema que verifica se a Prova de validade é válida.

O que acontece se uma Prova de validade for inválida?

Se o verificador funcionar corretamente, uma prova inválida deve ser rejeitada e a atualização de estado não deve ser aceita.

As Provas de validade podem reduzir taxas?

Sim, elas podem reduzir taxas ao permitir que uma blockchain verifique provas compactas em vez de executar cada transação diretamente.

As Provas de validade tornam os saques mais rápidos?

Elas podem ajudar a reduzir atrasos de saque em comparação com sistemas de prova de fraude, mas a velocidade real de saque depende da geração da prova, do desenho da bridge e das regras de liquidação.

Qual é o maior risco dos sistemas de Provas de validade?

Os maiores riscos incluem bugs no verificador, problemas de disponibilidade operacional do provador, falha de disponibilidade de dados, bugs em bridges e controles de atualização inseguros.

As Provas de validade servem apenas para camada 2?

Não, elas são importantes para escalabilidade em camada 2, mas também podem apoiar bridges, zkVMs, coprocessadores, IA verificável e outros sistemas de cálculo off-chain.

O que os usuários devem verificar antes de confiar em um sistema de Provas de validade?

Os usuários devem verificar cobertura das provas, auditorias do verificador, descentralização do provador, disponibilidade de dados, segurança da bridge, controles de atualização e mecanismos de saque.

Uma Prova de validade é suficiente para tornar um projeto seguro?

Não, uma Prova de validade é apenas uma parte da segurança do sistema e deve ser combinada com contratos seguros, dados disponíveis, bridges seguras e governança confiável.

Conclusão

As Provas de validade são uma das ferramentas criptográficas mais importantes da infraestrutura cripto moderna.

Elas permitem que uma blockchain verifique que um cálculo off-chain foi realizado corretamente sem repetir todas as etapas on-chain.

Isso as torna centrais para ZK-rollups, Validiums, Volitions, zkEVMs, zkVMs, bridges, coprocessadores e o movimento mais amplo em direção à computação verificável.

O principal valor de uma Prova de validade é a integridade da execução.

Ela ajuda a comprovar que uma transição de estado seguiu as regras.

Isso pode reduzir custos, melhorar a escalabilidade, diminuir a dependência de operadores confiáveis e apoiar uma liquidação mais rápida em comparação com sistemas que dependem de longas janelas de contestação.

No entanto, as Provas de validade não são garantias completas de segurança por si só.

Elas não fornecem privacidade automaticamente.

Elas não resolvem automaticamente a disponibilidade de dados.

Elas não eliminam o risco de bridge.

Elas não eliminam o risco de sequenciador.

Elas não protegem usuários contra atualizações inseguras ou governança inadequada.

Um projeto que usa Provas de validade deve explicar claramente o que é comprovado, quem gera as provas, onde a verificação ocorre, onde os dados estão disponíveis e como os usuários podem sair em caso de falha.

Para os usuários, a forma mais prática de entender as Provas de validade é tratá-las como evidência criptográfica de execução correta.

Elas são poderosas porque permitem que blockchains confiem em matemática, em vez de confiar na afirmação de um operador.

Ao mesmo tempo, a matemática prova apenas a afirmação para a qual foi projetada.

O sistema ao redor ainda precisa de contratos seguros, dados disponíveis, provadores confiáveis, bridges seguras e governança transparente.

Em termos simples, uma Prova de validade demonstra que um sistema cripto seguiu suas regras, mas os usuários ainda devem verificar se as regras, os dados e a estrutura de controle são seguros.