zk-STARK

O que é uma zk-STARK?

Uma zk-STARK é um tipo de sistema de prova de conhecimento zero usado em criptomoedas para comprovar que um cálculo foi executado corretamente sem exigir que todos os participantes da rede repitam o cálculo completo.

O significado completo de zk-STARK é Zero-Knowledge Scalable Transparent Argument of Knowledge.

Em sistemas blockchain, as zk-STARKs são mais frequentemente discutidas como provas de validade para escalabilidade, segurança e computação verificável.

Uma zk-STARK pode permitir que uma parte, chamada de provador, demonstre a outra parte, chamada de verificador, que um grupo de transações ou um cálculo complexo é válido.

O verificador pode conferir a prova muito mais rapidamente do que levaria para executar todo o cálculo desde o início.

Isso é útil para o setor cripto porque blockchains públicas têm espaço de bloco limitado e não conseguem processar atividades ilimitadas de forma barata na camada base.

Ao transferir o cálculo para off-chain e verificar o resultado on-chain com uma prova, as zk-STARKs podem ajudar redes blockchain a atender mais usuários e aplicações mais complexas.

A explicação oficial da Ethereum sobre provas de conhecimento zero descreve as ZK-STARKs como sistemas de prova escaláveis e transparentes que não dependem de uma configuração confiável.

A visão geral da tecnologia STARK da StarkWare também descreve a STARK como um sistema de prova projetado para verificação escalável, com pressupostos mínimos e seguros contra ameaças pós-quânticas.

Para usuários de cripto, a forma mais simples de entender uma zk-STARK é esta: ela é uma evidência matemática de que um cálculo relacionado à blockchain está correto, sem obrigar todos a verificar manualmente todo o trabalho.

Por que as zk-STARKs são importantes em cripto

As zk-STARKs são importantes porque as blockchains precisam de confiança e eficiência.

Uma blockchain é útil porque os usuários podem verificar regras sem confiar em um operador central.

No entanto, a verificação completa pode se tornar cara quando a rede processa muitas transações, contratos inteligentes, transferências de tokens, jogos, pagamentos ou operações de finanças descentralizadas.

As zk-STARKs ajudam a reduzir essa carga ao permitir que um cálculo grande seja comprovado por meio de um processo de verificação menor.

Isso pode tornar as blockchains mais rápidas, baratas e escaláveis, preservando um modelo de verificação robusto.

Em muitos sistemas blockchain modernos, as zk-STARKs não são usadas principalmente para ocultar todos os dados das transações.

Elas são frequentemente usadas como provas de validade, ou seja, comprovam que um lote de transações ou uma atualização de estado seguiu as regras.

A StarkWare explica, em seu artigo sobre escalar blockchains com provas de conhecimento zero, que muitos sistemas de Layer 2 usam essas provas principalmente para estabelecer a integridade das transações com menos trabalho para o verificador.

Essa distinção é importante porque a expressão “conhecimento zero” pode levar iniciantes a pensar que as zk-STARKs tratam apenas de privacidade.

A privacidade é um possível caso de uso, mas a escalabilidade e a computação verificável também são casos de uso importantes.

Na infraestrutura cripto, as zk-STARKs podem oferecer suporte a rollups, provas de validade, execução verificável, aplicações privadas, identidade baseada em provas e futuros projetos de blockchain que dependem de verificação eficiente.

Como uma zk-STARK funciona

Uma zk-STARK funciona transformando um cálculo em uma prova matemática que pode ser verificada de forma eficiente.

Primeiro, o provador executa o cálculo, como processar muitas transações blockchain off-chain.

Em seguida, o provador cria uma prova que demonstra que o cálculo seguiu as regras exigidas.

O verificador confere a prova em vez de repetir todo o cálculo.

Se a prova for válida, o verificador aceita o resultado.

Se a prova for inválida, o verificador rejeita o resultado.

Em um ambiente blockchain, o verificador geralmente é um contrato inteligente em uma cadeia base.

Por exemplo, uma rede Layer 2 pode processar muitas transações fora da cadeia base e enviar uma prova zk-STARK para demonstrar que o novo estado é válido.

A cadeia base não precisa executar cada transação do lote.

Ela só precisa verificar a prova e aceitar a atualização de estado se a prova estiver correta.

Esse projeto pode reduzir a quantidade de cálculo exigida na camada base.

Ele também pode permitir que um ecossistema blockchain processe mais atividade enquanto ancora sua segurança à cadeia base.

Para o usuário, isso pode significar taxas menores, operações mais rápidas e experiências mais fluidas em aplicações.

Entendendo o nome zk-STARK

A parte “zk” significa conhecimento zero.

Conhecimento zero significa que uma prova pode mostrar que uma afirmação é verdadeira sem revelar todas as informações privadas por trás dessa afirmação.

Em cripto, isso pode ajudar a proteger dados sensíveis, embora nem todo sistema baseado em zk-STARK seja projetado para oferecer privacidade total das transações.

O “S” significa escalável.

Escalável significa que o sistema de prova foi projetado para lidar eficientemente com cálculos grandes, especialmente quando o cálculo é muito maior que a tarefa de verificação.

O “T” significa transparente.

Transparente significa que as zk-STARKs não exigem uma cerimônia de configuração confiável para gerar parâmetros públicos secretos.

Essa é uma das diferenças mais importantes entre zk-STARKs e alguns sistemas mais antigos de prova de conhecimento zero.

“ARK” significa Argument of Knowledge.

Isso significa que a prova mostra que o provador tem conhecimento das informações necessárias para produzir um resultado válido.

A explicação da STARK da StarkWare descreve essas partes como Zero-Knowledge, Scalable, Transparent e Argument of Knowledge em sua documentação sobre a tecnologia STARK.

O que torna as zk-STARKs transparentes?

A transparência é uma das principais razões pelas quais as zk-STARKs são importantes.

Alguns sistemas de prova de conhecimento zero exigem uma configuração confiável.

Uma configuração confiável é um processo que cria parâmetros usados pelo sistema de prova.

Se informações secretas dessa configuração não forem destruídas corretamente, isso poderá criar riscos de segurança graves.

Esse segredo oculto é às vezes chamado de toxic waste em discussões sobre criptografia.

As zk-STARKs evitam esse problema porque usam aleatoriedade verificável publicamente em vez de depender de material secreto de configuração.

A documentação da Ethereum sobre provas de conhecimento zero explica que as ZK-STARKs dependem de aleatoriedade verificável publicamente para gerar parâmetros públicos em vez de uma configuração confiável.

Essa transparência pode tornar as zk-STARKs atraentes para sistemas blockchain abertos.

As blockchains públicas foram criadas para reduzir a necessidade de confiar em agentes privados.

Um sistema de prova que evita cerimônias de configuração confiável se alinha bem a esse objetivo.

Para os usuários, transparência significa que o sistema não depende da crença de que uma cerimônia de configuração anterior foi conduzida perfeitamente.

Para desenvolvedores, ela pode reduzir a complexidade operacional e de segurança ao criar sistemas baseados em provas.

zk-STARK vs. zk-SNARK

zk-STARKs e zk-SNARKs são sistemas de prova de conhecimento zero, mas fazem diferentes concessões.

Uma zk-SNARK geralmente produz provas muito pequenas e pode ser eficiente de verificar.

Uma zk-STARK geralmente produz provas maiores, mas não exige configuração confiável.

O guia de provas de conhecimento zero da Ethereum observa que as ZK-STARKs geralmente produzem provas maiores do que as ZK-SNARKs, o que pode levar a uma sobrecarga maior de verificação.

No entanto, as zk-STARKs podem ser mais escaláveis para cálculos muito grandes.

Elas também são comumente descritas como mais resistentes a futuras ameaças da computação quântica porque dependem de pressupostos baseados em hash, e não em curvas elípticas.

Isso não significa que as zk-STARKs sejam automaticamente melhores em todas as situações.

O tamanho da prova, o custo de verificação, o tempo do provador, as ferramentas para desenvolvedores, o suporte a contratos inteligentes e as necessidades da aplicação são todos fatores importantes.

Um projeto pode escolher zk-SNARKs quando precisa de provas menores e ferramentas maduras.

Um projeto pode escolher zk-STARKs quando valoriza transparência, escalabilidade para cálculos grandes e pressupostos mais robustos contra futuros ataques quânticos.

A escolha correta depende do projeto do sistema.

zk-STARKs e escalabilidade blockchain

A escalabilidade blockchain é um dos casos de uso mais importantes das zk-STARKs.

Muitas blockchains de camada base se tornam caras quando a demanda dos usuários aumenta.

Se cada nó precisar executar cada transação, o sistema poderá ficar lento ou caro.

As zk-STARKs ajudam ao permitir que o cálculo ocorra off-chain enquanto a cadeia base verifica uma prova compacta.

Isso é especialmente útil para sistemas de Layer 2, como validity rollups.

Um validity rollup processa transações fora da cadeia base e envia uma prova de que a transição de estado é válida.

A Starknet se descreve como um validity rollup que usa tecnologia STARK para validar transações off-chain com matemática avançada e criptografia em sua visão geral oficial da rede.

Nesse modelo, a cadeia base permanece como camada de liquidação e segurança.

O rollup lida com a execução de forma mais eficiente.

A prova STARK conecta as duas camadas ao comprovar que a execução off-chain foi correta.

Isso pode melhorar o throughput porque a cadeia base verifica a prova em vez de processar diretamente cada ação do usuário.

Também pode reduzir taxas porque muitos usuários compartilham o custo de uma prova e de uma atualização de estado.

zk-STARKs e provas de validade

Em cripto, as zk-STARKs são frequentemente descritas como provas de validade.

Uma prova de validade confirma que um cálculo foi executado corretamente.

Isso é diferente de um modelo de prova de fraude, no qual um sistema presume que um resultado está correto, a menos que alguém o conteste.

Com uma prova de validade, a correção é comprovada antes que o resultado seja aceito.

Isso pode melhorar a finalidade porque os usuários não precisam esperar por um longo período de contestação como ocorre em alguns outros projetos de escalabilidade.

Por exemplo, um rollup pode processar um lote de transações, produzir uma prova zk-STARK e enviar essa prova à cadeia base.

Depois que a prova é verificada, a atualização de estado pode ser aceita como válida.

Isso é poderoso porque altera o papel da cadeia base.

A cadeia base deixa de ter de realizar cada operação.

Ela atua como verificadora de cálculos baseados em provas.

Esse é um dos motivos pelos quais muitos pesquisadores de blockchain consideram as provas de validade um caminho importante para a adoção cripto em larga escala.

zk-STARKs e privacidade

As zk-STARKs podem oferecer suporte à privacidade, mas a privacidade não é automática.

Uma prova de conhecimento zero pode ocultar determinadas entradas enquanto comprova que uma afirmação é verdadeira.

Por exemplo, um usuário pode comprovar que atende a uma condição sem revelar todos os detalhes pessoais relacionados a essa condição.

Em pagamentos blockchain, um sistema de prova poderia ajudar a comprovar que uma transação é válida sem expor publicamente todas as informações da transação.

No entanto, muitos sistemas de escalabilidade baseados em zk-STARK usam provas para correção, e não para privacidade total.

Os dados das transações ainda podem ficar visíveis, dependendo do projeto da rede.

Isso significa que os usuários não devem presumir que uma cadeia ou aplicação é privada apenas porque usa zk-STARKs.

Eles devem verificar quais dados são públicos, quais dados são ocultos e quais informações ainda podem ser vinculadas pelo comportamento da carteira.

Para SEO e educação dos usuários, este é um ponto essencial: zk-STARK é uma tecnologia de prova, e não uma garantia de privacidade por si só.

zk-STARKs e disponibilidade de dados

A disponibilidade de dados é uma questão importante para sistemas blockchain baseados em zk-STARK.

Uma prova de validade pode demonstrar que uma transição de estado estava correta.

No entanto, os usuários ainda precisam acessar dados suficientes para entender o estado da cadeia, confirmar saldos e sacar fundos com segurança.

Se os dados de transações ou de estado não estiverem disponíveis, os usuários poderão ter dificuldade para verificar sua posição de forma independente, mesmo que uma prova seja válida.

Por isso, o projeto de um rollup deve considerar tanto a validade da prova quanto a disponibilidade de dados.

Uma prova zk-STARK responde à pergunta se um cálculo foi realizado corretamente.

A disponibilidade de dados responde à pergunta se os usuários conseguem acessar as informações necessárias para acompanhar o sistema.

Um projeto robusto de escalabilidade blockchain deve abordar claramente ambas as questões.

Os usuários devem verificar se os dados são publicados na cadeia base, armazenados por meio de uma camada de disponibilidade de dados ou mantidos por um comitê ou operador separado.

O modelo de segurança muda conforme a resposta.

Benefícios das zk-STARKs

O primeiro benefício das zk-STARKs é a transparência.

Como as zk-STARKs não exigem configuração confiável, os usuários não precisam confiar que o material secreto de configuração foi destruído corretamente.

O segundo benefício é a escalabilidade.

As zk-STARKs são projetadas para tornar cálculos grandes mais fáceis de verificar.

Isso as torna úteis para rollups, jogos blockchain, pagamentos de alto volume e aplicativos descentralizados complexos.

O terceiro benefício são pressupostos de segurança robustos.

As zk-STARKs dependem fortemente de funções hash, amplamente estudadas em criptografia.

O quarto benefício é a possível resistência a futuros ataques quânticos.

A documentação da Ethereum sobre provas de conhecimento zero afirma que as ZK-STARKs são consideradas imunes a ameaças da computação quântica porque dependem de funções hash resistentes a colisões.

O quinto benefício é a ampla utilidade.

As zk-STARKs podem ser aplicadas à escalabilidade blockchain, computação privada, sistemas de identidade, computação de máquinas verificável e infraestrutura baseada em provas.

O sexto benefício é a auditabilidade.

Um verificador pode conferir uma prova e ganhar confiança de que o cálculo era válido sem repetir todas as etapas.

Limitações das zk-STARKs

A primeira limitação das zk-STARKs é o tamanho das provas.

As provas zk-STARK geralmente são maiores do que as provas zk-SNARK.

Provas maiores podem aumentar os custos de armazenamento, largura de banda e verificação on-chain.

A segunda limitação é a complexidade de geração de provas.

Criar uma prova zk-STARK pode exigir capacidade computacional significativa, software especializado e infraestrutura otimizada.

A terceira limitação é a dificuldade para desenvolvedores.

Criar aplicações que usam sistemas de prova avançados exige conhecimento de criptografia, linguagens de programação, projeto de circuitos e engenharia blockchain.

A quarta limitação é a confusão dos usuários.

Muitos usuários veem “zk” e presumem que um sistema é privado, mas muitos sistemas zk-STARK são criados principalmente para escalabilidade.

A quinta limitação é a concentração de infraestrutura.

Se a geração de provas exigir hardware caro ou operadores especialistas, o processo de geração poderá se tornar mais centralizado do que os usuários esperam.

A sexta limitação é o custo de verificação em algumas cadeias.

Embora a verificação seja muito mais barata do que executar novamente um cálculo grande, ela ainda tem custo.

Para aplicações blockchain, esse custo precisa ser equilibrado com a economia obtida ao agrupar muitas transações.

Casos de uso comuns das zk-STARKs

O caso de uso cripto mais comum das zk-STARKs é a escalabilidade de Layer 2.

Uma rede Layer 2 pode usar provas zk-STARK para demonstrar que lotes de transações off-chain são válidos.

Isso ajuda a rede a reduzir taxas e aumentar o throughput, mantendo uma forte conexão com a cadeia base.

Outro caso de uso é a computação verificável.

Um usuário ou aplicação pode comprovar que um cálculo foi realizado corretamente sem exigir que cada verificador repita o trabalho.

Isso pode ser útil para jogos, aplicações financeiras, leilões, sistemas de votação e lógica complexa de contratos inteligentes.

Um terceiro caso de uso é a identidade privada.

Um usuário poderia provar que atende a uma condição, como ter idade acima do mínimo exigido ou pertencer a um grupo aprovado, sem revelar dados pessoais desnecessários.

Um quarto caso de uso é a privacidade compatível com requisitos de conformidade.

As provas podem ajudar usuários a revelar fatos selecionados enquanto mantêm outras informações privadas.

Um quinto caso de uso é a compressão de blockchain.

Grandes volumes de atividade transacional podem ser representados por provas e commitments, em vez de reexecução completa por todos os nós.

Um sexto caso de uso é a futura infraestrutura baseada em provas.

À medida que a pesquisa de conhecimento zero evolui, as zk-STARKs podem se tornar parte de sistemas de computação de IA verificável, mensagens cross-chain, identidade descentralizada e aplicações blockchain de alto desempenho.

zk-STARKs e resistência quântica

A resistência quântica é uma das razões pelas quais as zk-STARKs recebem atenção em discussões sobre segurança cripto.

Alguns sistemas de prova usam criptografia de curva elíptica.

Computadores quânticos suficientemente grandes poderiam ameaçar determinados pressupostos de curvas elípticas no futuro.

As zk-STARKs são diferentes porque normalmente se baseiam em funções hash resistentes a colisões.

Isso lhes confere um perfil de segurança diferente de sistemas de prova que dependem de emparelhamentos de curva elíptica.

A documentação da Ethereum sobre provas de conhecimento zero descreve as ZK-STARKs como consideradas imunes a ameaças da computação quântica devido à dependência de hashing resistente a colisões.

Isso não significa que todo sistema blockchain que usa zk-STARKs seja totalmente resistente à computação quântica em todas as partes de seu projeto.

Assinaturas de carteiras, bridges, contratos inteligentes e outros componentes criptográficos podem usar pressupostos diferentes.

Ainda assim, as zk-STARKs são frequentemente vistas como uma opção robusta para sistemas que buscam tecnologia de prova com pressupostos mais resistentes ao futuro.

zk-STARKs e padronização

Os sistemas de prova de conhecimento zero ainda são uma área avançada e em rápida evolução da criptografia.

A padronização é importante porque desenvolvedores, auditores, reguladores e usuários precisam de linguagem e boas práticas compartilhadas.

A Referência da Comunidade ZKProof promove terminologia, exemplos, explicações e recomendações para o desenvolvimento de provas de conhecimento zero.

O Instituto Nacional de Padrões e Tecnologia dos Estados Unidos também documentou sua colaboração anterior com a ZKProof em sua página sobre provas de conhecimento zero em criptografia que aprimora a privacidade.

Isso é relevante para cripto porque sistemas de prova podem proteger grandes quantidades de valor dos usuários.

Uma implementação fraca pode criar riscos mesmo que a ideia matemática seja robusta.

Bons padrões, auditorias cuidadosas, pesquisa aberta e revisão por pares ajudam a reduzir esses riscos.

À medida que a adoção de zk-STARKs cresce, revisões de segurança e métodos formais continuarão importantes para proteger os usuários.

Como as zk-STARKs afetam os usuários de cripto

A maioria dos usuários não criará provas zk-STARK manualmente.

Ainda assim, eles podem se beneficiar das zk-STARKs ao usar aplicações que dependem de escalabilidade baseada em provas.

Por exemplo, um usuário pode fazer uma transferência de token em uma rede Layer 2 que utiliza provas STARK.

A experiência do usuário pode parecer uma transação normal, mas o sistema por trás dela está agrupando atividades e comprovando a correção.

Isso pode reduzir taxas e tornar os aplicativos descentralizados mais fáceis de usar.

Os usuários ainda devem entender os riscos.

Uma prova zk-STARK não elimina todos os riscos de contratos inteligentes.

Ela não garante privacidade automaticamente.

Ela não elimina o risco de bridge.

Ela não garante que um sequenciador ou operador seja totalmente descentralizado.

Ela apenas comprova o cálculo ou a transição de estado específica definida pelo sistema.

Essa prova é poderosa, mas é uma parte de um modelo maior de segurança blockchain.

Como desenvolvedores usam zk-STARKs

Desenvolvedores usam zk-STARKs para criar sistemas nos quais a verificação é mais barata do que a execução direta.

Isso pode envolver escrever programas em linguagens adequadas a provas, compilar a lógica em uma representação intermediária, gerar provas e verificá-las on-chain ou off-chain.

Alguns ecossistemas usam linguagens de programação especiais projetadas para cálculos baseados em STARK.

Os desenvolvedores devem pensar cuidadosamente sobre qual afirmação está sendo comprovada.

Uma prova só é tão útil quanto as regras que representa.

Se o programa tiver um bug, a prova poderá comprovar corretamente uma lógica errada.

Por isso, auditorias, testes, verificação formal e projeto cuidadoso são importantes.

Os desenvolvedores também precisam considerar tempo de geração de provas, tamanho da prova, custo de verificação, disponibilidade de dados, caminhos de atualização e saídas dos usuários.

Em cripto, o sistema de prova não é separado do projeto do produto.

Ele molda taxas, segurança, descentralização e experiência do usuário.

zk-STARKs em termos simples

Uma zk-STARK é como um professor conferir a resposta final de um aluno com um certificado especial, em vez de ler cada linha do trabalho do aluno.

O certificado comprova que o trabalho seguiu as regras.

O professor pode verificar o certificado rapidamente.

Em termos de blockchain, o aluno é o provador.

O professor é o verificador.

A lição de casa é um cálculo grande, como milhares de transações.

O certificado é a prova zk-STARK.

Isso é útil porque blockchains públicas não podem se dar ao luxo de fazer cada nó refazer cada cálculo pesado para sempre.

As zk-STARKs permitem que blockchains verifiquem mais atividade com menos trabalho.

Por isso, são importantes para a escalabilidade cripto.

FAQ

O que significa zk-STARK?

zk-STARK significa Zero-Knowledge Scalable Transparent Argument of Knowledge.

Para que serve uma zk-STARK em cripto?

Uma zk-STARK é usada para comprovar que cálculos blockchain ou lotes de transações são válidos sem exigir que cada verificador repita todo o cálculo.

As zk-STARKs servem apenas para privacidade?

Não. As zk-STARKs podem oferecer suporte à privacidade, mas, em muitos sistemas blockchain, são usadas principalmente para escalabilidade e provas de validade.

Por que as zk-STARKs são chamadas de transparentes?

Elas são chamadas de transparentes porque não exigem uma cerimônia de configuração confiável para criar parâmetros públicos secretos.

Como as zk-STARKs diferem das zk-SNARKs?

As zk-STARKs geralmente têm provas maiores, mas evitam a configuração confiável e são frequentemente consideradas mais escaláveis para cálculos grandes.

As zk-STARKs são resistentes à computação quântica?

As zk-STARKs são geralmente consideradas mais resistentes a futuros ataques quânticos porque dependem de funções hash resistentes a colisões, e não de emparelhamentos de curva elíptica.

As zk-STARKs tornam as transações privadas?

Elas podem ser usadas em sistemas de privacidade, mas uma transação não se torna automaticamente privada apenas porque uma rede utiliza tecnologia zk-STARK.

O que é uma prova de validade?

Uma prova de validade é uma prova criptográfica que demonstra que um cálculo ou transição de estado foi realizado corretamente antes que o resultado seja aceito.

Por que os rollups usam zk-STARKs?

Os rollups podem usar zk-STARKs para comprovar que muitas transações off-chain foram processadas corretamente, o que ajuda a reduzir custos e aumentar o throughput.

Qual é a principal desvantagem das zk-STARKs?

A principal desvantagem é que as provas zk-STARK geralmente são maiores do que as provas zk-SNARK, o que pode aumentar os custos de verificação e dados em alguns sistemas.

Iniciantes podem usar aplicações criadas com zk-STARKs?

Sim. Iniciantes podem usar aplicações criadas com zk-STARKs sem entender toda a criptografia, mas ainda devem compreender riscos básicos, como risco de bridge, risco de contrato inteligente e risco de disponibilidade de dados.

Por que as zk-STARKs são importantes para a adoção de blockchain?

Elas são importantes porque ajudam blockchains a verificar mais cálculos com menos trabalho, o que pode oferecer suporte a taxas menores, maior throughput e aplicativos descentralizados mais práticos.

Conclusão

Uma zk-STARK é uma das tecnologias de prova mais importantes nas criptomoedas modernas.

Ela permite que um provador demonstre que um cálculo foi realizado corretamente, enquanto permite ao verificador conferir o resultado de forma eficiente.

Seus principais pontos fortes são escalabilidade, transparência e pressupostos criptográficos robustos.

Para redes blockchain, as zk-STARKs podem oferecer suporte à escalabilidade de Layer 2, validity rollups, computação verificável e aplicações focadas em privacidade.

Elas são especialmente valiosas porque evitam cerimônias de configuração confiável e podem lidar com cálculos grandes de forma baseada em provas.

No entanto, as zk-STARKs também envolvem concessões, incluindo tamanhos maiores de prova, desenvolvimento complexo, custos de geração de provas e possível centralização da infraestrutura.

Os usuários devem lembrar que a tecnologia zk-STARK é poderosa, mas não elimina automaticamente todos os riscos de um sistema cripto.

A segurança completa de uma aplicação baseada em zk-STARK depende de contratos inteligentes, disponibilidade de dados, bridges, sequenciadores, governança, auditorias e do projeto exato da prova.

À medida que a adoção de blockchain cresce, as zk-STARKs provavelmente continuarão sendo uma parte importante da infraestrutura cripto, pois ajudam a resolver um dos problemas mais difíceis do setor: verificar mais atividade sem abrir mão de uma segurança que minimiza a necessidade de confiança.