Trusted Setup

O que é um Trusted Setup?

Um trusted setup é um processo criptográfico usado para gerar parâmetros públicos para determinados sistemas de provas de conhecimento zero, esquemas de compromisso polinomial e protocolos blockchain focados em privacidade.

Em cripto, um trusted setup é mais frequentemente discutido em relação a zk-SNARKs, compromissos KZG, privacy coins, rollups e sistemas escaláveis de dados blockchain.

O setup cria uma common reference string, também chamada de CRS, structured reference string ou SRS, que provadores e verificadores usam posteriormente para criar e verificar provas.

A palavra “trusted” não significa que os usuários devem confiar cegamente em uma empresa ou desenvolvedor.

Significa que a segurança do sistema depende de pelo menos um participante do setup gerar aleatoriedade secreta de maneira honesta e depois destruir essa aleatoriedade secreta para sempre.

Se todos os participantes forem desonestos ou estiverem comprometidos, o setup poderá se tornar inseguro.

Se pelo menos um participante contribuir com aleatoriedade real e a excluir corretamente, os parâmetros públicos finais poderão permanecer seguros.

A documentação da Ethereum sobre provas de conhecimento zero explica que a geração de parâmetros públicos é sensível porque, se a entropia usada para gerar a CRS chegar a um provador desonesto, esse provador poderá conseguir calcular provas falsas.

Para usuários de cripto, o trusted setup é importante porque representa uma das premissas de confiança ocultas por trás de alguns sistemas criptográficos avançados.

Um protocolo pode ser descentralizado na camada de transações, mas ainda depender de uma cerimônia de setup que deve ser executada corretamente.

Por que o Trusted Setup é importante em cripto

O trusted setup é importante porque muitos sistemas blockchain usam provas criptográficas para tornar transações privadas, escaláveis ou mais baratas de verificar.

As provas de conhecimento zero podem permitir que um usuário prove que uma afirmação é verdadeira sem revelar os dados privados por trás dela.

Isso é útil para pagamentos privados, provas de identidade, provas de validade de rollups, sistemas que preservam a conformidade e designs de Prova de Reservas.

Alguns dos sistemas de prova mais eficientes exigem parâmetros de setup antes de poderem ser usados.

Se esses parâmetros forem gerados de maneira segura, o sistema poderá produzir provas pequenas e rápidas.

Se esses parâmetros forem gerados de maneira insegura, atacantes poderão conseguir criar provas falsas que parecem válidas.

Isso pode ameaçar a solidez de um protocolo.

Solidez significa que uma afirmação falsa não deve ser aceita como verdadeira pelo verificador.

Em uma criptomoeda, a quebra da solidez pode ser extremamente grave, pois pode permitir inflação oculta, saques inválidos, criação falsa de ativos ou transições de estado fraudulentas.

Por isso, o trusted setup não é apenas um detalhe técnico.

É uma premissa de segurança que usuários, desenvolvedores, auditores e investidores devem entender antes de confiar em um protocolo criptográfico.

Como funciona um Trusted Setup

Um trusted setup normalmente começa quando uma equipe de protocolo define o sistema criptográfico que precisa de parâmetros públicos.

Em seguida, a equipe organiza uma cerimônia na qual os participantes contribuem com aleatoriedade.

Cada participante recebe uma entrada da etapa anterior, adiciona sua própria aleatoriedade secreta, produz uma nova saída e publica evidências de que a etapa foi realizada corretamente.

O participante deve então destruir a aleatoriedade secreta que utilizou.

Essa aleatoriedade secreta às vezes é chamada de toxic waste.

A saída pública final se torna a CRS ou SRS utilizada pelo sistema de provas.

O processo normalmente é projetado para que nenhum participante individual precise receber confiança completa.

Desde que um participante tenha sido honesto e destruído seu segredo, os parâmetros finais devem ser seguros sob as premissas daquela cerimônia.

Muitas cerimônias também publicam transcrições, ferramentas de verificação, assinaturas e registros de contribuições para que o público possa verificar se o processo seguiu as regras.

Essa transparência é importante porque um trusted setup não diz respeito apenas à criptografia.

Também se refere à confiança pública na forma como o material criptográfico foi criado.

O que é toxic waste?

Toxic waste são as informações secretas geradas durante uma cerimônia de trusted setup que nunca devem ser reveladas ou reutilizadas.

O nome é dramático porque esse segredo pode ser perigoso caso sobreviva.

Se um atacante obtiver o toxic waste, poderá conseguir falsificar provas, simular validade ou comprometer a segurança do sistema que depende do setup.

Em um sistema zk-SNARK, o toxic waste pode permitir que um provador desonesto crie provas para afirmações que não são realmente verdadeiras.

Para uma criptomoeda que depende dessas provas, isso pode se tornar um risco relevante.

Em alguns sistemas de privacidade históricos, o maior receio era que o toxic waste pudesse permitir a criação não detectada de moedas ou transações protegidas inválidas.

Por isso, os participantes do setup frequentemente usam uma forte segurança operacional.

Eles podem usar máquinas isoladas da internet, sistemas operacionais live, entropia de fontes físicas, destruição de hardware ou atestações públicas.

O processo exato depende do design da cerimônia.

O princípio central é simples: os parâmetros públicos devem permanecer, mas os segredos privados do setup devem desaparecer para sempre.

O que é uma cerimônia de computação multipartidária?

Uma cerimônia de computação multipartidária, ou cerimônia MPC, é um método de trusted setup que envolve muitos participantes independentes.

Em vez de confiar que uma pessoa gere os parâmetros honestamente, o sistema permite que muitas pessoas contribuam com aleatoriedade.

Cada participante adiciona entropia ao setup.

Se apenas um participante for honesto e destruir seu segredo, o setup final poderá permanecer seguro.

Isso às vezes é chamado de premissa de “um participante honesto”.

As cerimônias MPC se popularizaram porque reduzem a dependência de uma única parte confiável.

Também tornam o processo mais público e conduzido pela comunidade.

Uma grande cerimônia pode incluir desenvolvedores, pesquisadores, validadores, usuários, auditores e membros da comunidade.

No entanto, mais participantes não significam automaticamente segurança perfeita.

A cerimônia ainda precisa de software correto, verificação clara, aleatoriedade robusta, publicação confiável das transcrições e proteção cuidadosa contra contribuições maliciosas.

Uma boa cerimônia MPC é criptograficamente sólida e operacionalmente transparente.

Trusted Setup e zk-SNARKs

zk-SNARK significa zero-knowledge succinct non-interactive argument of knowledge.

Os zk-SNARKs são populares em cripto porque podem produzir provas compactas e rápidas de verificar.

Isso os torna úteis para sistemas de privacidade e sistemas de escalabilidade.

Algumas construções de zk-SNARK exigem um trusted setup.

O setup gera parâmetros públicos que são usados posteriormente por provadores e verificadores.

Se o setup for seguro, o sistema de provas poderá oferecer fortes garantias de privacidade e validade.

Se o setup for comprometido, o sistema de provas poderá aceitar provas falsas.

Esse risco é o motivo pelo qual as cerimônias de trusted setup se tornaram um dos tópicos mais discutidos nos primeiros sistemas cripto de conhecimento zero.

A criptografia moderna introduziu alternativas que reduzem ou eliminam os requisitos de trusted setup.

No entanto, os zk-SNARKs baseados em trusted setup continuam importantes porque podem ser eficientes, compactos e práticos para verificação em blockchain.

O trade-off é entre eficiência e premissas de confiança.

Trusted Setup e compromissos KZG

Os compromissos KZG são um esquema de compromisso polinomial usado no sistema de transações blob da Ethereum e em outras aplicações criptográficas.

KZG significa Kate, Zaverucha e Goldberg, os autores do esquema de compromisso.

Um compromisso KZG permite que um protocolo se comprometa com um polinômio e posteriormente prove afirmações sobre esse polinômio de maneira eficiente.

Na Ethereum, os compromissos KZG são usados no sistema de blobs introduzido pelo EIP-4844, também chamado de proto-danksharding.

A documentação oficial da Ethereum sobre danksharding explica que o proto-danksharding permite que rollups adicionem dados mais baratos aos blocos da Ethereum por meio de blobs.

A mesma documentação explica que a cerimônia KZG gerou valores aleatórios usados para verificar compromissos de dados de blobs.

Os compromissos KZG exigem um trusted setup porque a structured reference string inclui potências secretas de um valor aleatório que não deve ser conhecido.

Se o segredo por trás do setup fosse conhecido, um agente malicioso poderia potencialmente criar compromissos ou provas enganosas.

Por isso, a Ethereum organizou uma grande cerimônia pública KZG antes de usar compromissos KZG em produção.

Cerimônia KZG da Ethereum

A cerimônia KZG da Ethereum foi uma grande cerimônia pública de trusted setup criada para os compromissos KZG usados pelo proto-danksharding.

A página oficial da KZG Summoning Ceremony da Ethereum descreve a cerimônia como um processo para gerar uma structured reference string necessária para compromissos KZG.

A Ethereum.org afirma que a cerimônia KZG teve mais de 140.000 contribuições, tornando-a a maior cerimônia desse tipo no mundo.

O resumo da KZG Ceremony da Ethereum Foundation publicou o hash final da transcrição e descreveu a saída da transcrição final.

Isso é importante porque o sistema de blobs da Ethereum depende de compromissos KZG para verificação eficiente de dados.

O proto-danksharding entrou em operação na Ethereum Mainnet com a atualização Cancun-Deneb, ou Dencun, em março de 2024.

Em 2026, a cerimônia KZG continua sendo um dos exemplos reais mais importantes de um grande trusted setup público usado por um protocolo blockchain relevante.

Para os usuários, a cerimônia é em grande parte invisível.

Para a segurança do protocolo, ela é uma parte central do modelo de confiança por trás do sistema de compromissos de blobs da Ethereum.

Zcash e Powers of Tau

A Zcash ajudou a tornar as cerimônias de trusted setup amplamente conhecidas no setor cripto.

A tecnologia de privacidade inicial da Zcash dependia de zk-SNARKs que exigiam parâmetros de setup.

Posteriormente, o ecossistema Zcash utilizou uma cerimônia maior chamada Powers of Tau para criar parâmetros públicos reutilizáveis para projetos zk-SNARK.

O anúncio da Zcash Foundation sobre Powers of Tau informou que a cerimônia buscava produzir parâmetros públicos parciais que pudessem ser usados por projetos que utilizam zk-SNARKs.

O mesmo anúncio explicou que a correção de provas que usam esses parâmetros exigia que pelo menos um participante destruísse parte da aleatoriedade coletada durante a cerimônia.

O Powers of Tau é importante porque levou o trusted setup de um pequeno evento privado para um processo mais aberto e com múltiplos participantes.

Também mostrou que as cerimônias podem publicar transcrições e ferramentas de verificação para que o público inspecione os resultados.

O exemplo da Zcash é frequentemente usado para ensinar por que o trusted setup é poderoso, mas sensível.

Se o setup funcionar, os usuários podem se beneficiar de provas de privacidade eficientes.

Se o setup for comprometido, os usuários precisam compreender o risco para a solidez do sistema.

Trusted Setup vs. setup transparente

Um trusted setup exige que os participantes criem parâmetros públicos enquanto mantêm e destroem aleatoriedade secreta.

Um setup transparente não exige aleatoriedade oculta de participantes confiáveis.

Sistemas de prova transparentes usam aleatoriedade pública, funções hash ou outros métodos que evitam toxic waste.

ZK-STARKs são um exemplo comum de sistema de prova transparente.

A documentação oficial da Ethereum sobre provas de conhecimento zero explica que os ZK-STARKs dependem de aleatoriedade verificável publicamente, em vez de um trusted setup.

Isso torna os ZK-STARKs mais transparentes do que os zk-SNARKs baseados em trusted setup.

No entanto, os sistemas transparentes podem ter trade-offs.

Eles podem produzir provas maiores ou ter custos de verificação diferentes.

Sistemas baseados em trusted setup podem oferecer provas menores e verificação mais rápida em alguns casos de uso.

A escolha depende das necessidades do protocolo, modelo de segurança, tamanho da prova, custo do provador, custo de verificação e premissas de confiança dos usuários.

Trusted Setup universal vs. específico de circuito

Um trusted setup específico de circuito cria parâmetros para um cálculo ou circuito específico.

Se o circuito mudar, talvez seja necessário realizar o setup novamente.

Isso pode ser inconveniente para protocolos que precisam de atualizações frequentes ou de muitos circuitos de prova diferentes.

Um trusted setup universal cria parâmetros que podem suportar muitos circuitos até determinado limite de tamanho ou complexidade.

Setups universais são mais flexíveis porque vários projetos ou aplicativos podem reutilizar a mesma saída do setup.

O Powers of Tau é frequentemente discutido como uma base de setup universal ou reutilizável para sistemas zk-SNARK.

Setups universais podem reduzir o número de cerimônias necessárias em um ecossistema.

No entanto, também podem concentrar mais valor em um único setup.

Se muitos sistemas dependerem do mesmo setup, a confiança nesse setup se tornará mais importante.

Os desenvolvedores devem entender se seu sistema de provas usa setup específico de circuito, setup universal, setup transparente ou nenhum setup.

Trusted Setup e rollups

Rollups são sistemas de escalabilidade blockchain que processam transações off-chain e publicam dados comprimidos ou provas em uma cadeia base.

Alguns rollups usam provas de conhecimento zero para provar que as transições de estado são válidas.

Se o sistema de provas de um rollup depender de trusted setup, a segurança desse rollup também dependerá, em parte, das premissas do setup.

Isso não torna automaticamente o rollup inseguro.

Significa que os usuários devem compreender o modelo de confiança completo.

Um rollup pode depender de contratos inteligentes, sequenciadores, provadores, disponibilidade de dados, chaves de atualização, governança e premissas de setup criptográfico.

O trusted setup é uma parte desse panorama de segurança mais amplo.

Para blobs da Ethereum, compromissos KZG ajudam a tornar mais barato publicar e verificar dados de rollups.

A especificação EIP-4844 introduziu transações que carregam blobs, cujos dados não podem ser acessados pela execução da EVM, mas cujo compromisso pode ser acessado.

Esse é um dos principais motivos pelos quais o trusted setup continua relevante para a escalabilidade moderna da Ethereum.

Trusted Setup e privacy coins

O trusted setup também foi importante em sistemas cripto focados em privacidade.

Privacy coins podem usar provas de conhecimento zero para permitir que usuários provem a validade das transações sem revelar detalhes do remetente, destinatário ou valor.

Alguns sistemas de privacidade utilizaram historicamente zk-SNARKs baseados em trusted setup porque as provas eram pequenas e eficientes.

Essa eficiência tornou as transações privadas mais práticas on-chain.

O risco era que um setup comprometido pudesse afetar a solidez.

Em alguns sistemas, a privacidade em si pode continuar protegida, mas a solidez monetária pode ser ameaçada se provas falsas permitirem a criação inválida de moedas.

Por isso, o design das cerimônias de setup foi uma parte central dos primeiros debates sobre a segurança de privacy coins.

A pesquisa moderna sobre privacidade continua explorando formas de melhorar sistemas de prova, reduzir premissas de confiança e tornar processos de setup mais fáceis de verificar.

Para os usuários, o ponto principal é que a tecnologia de privacidade deve ser avaliada tanto pelas garantias de privacidade quanto pelas premissas de confiança do sistema de provas.

Trusted Setup e solidez

Solidez é a propriedade segundo a qual uma prova falsa não deve ser verificada como verdadeira.

Em cripto, a solidez é essencial porque contratos inteligentes e nós blockchain podem aceitar provas criptográficas automaticamente.

Se a solidez for comprometida, o sistema poderá aceitar saques inválidos, saldos falsos, transições de estado incorretas ou transações privadas forjadas.

Um trusted setup pode afetar a solidez porque os segredos do setup podem permitir a criação de provas falsas caso sejam conhecidos.

Por isso, o toxic waste deve ser destruído.

Normalmente, um verificador público não consegue determinar se um trusted setup foi comprometido apenas analisando provas posteriores.

Se os parâmetros parecerem válidos, mas o segredo for conhecido por um atacante, o atacante poderá conseguir trapacear silenciosamente.

Isso torna o trusted setup diferente de muitos erros comuns de software.

Um erro normal pode ser corrigido após ser descoberto.

Um setup comprometido pode exigir substituição de parâmetros, migração de sistemas ou alteração do sistema de provas.

Trusted Setup e conhecimento zero

Conhecimento zero é a propriedade de que uma prova não revela informações privadas desnecessárias além da veracidade da afirmação sendo provada.

O trusted setup está ligado principalmente à solidez, mas também pode fazer parte do design mais amplo do sistema de provas.

O anúncio Powers of Tau da Zcash Foundation afirmou que o protocolo garante o conhecimento zero das provas resultantes, mesmo que todos os participantes tenham sido comprometidos.

Essa distinção é importante porque sistemas de prova podem ter propriedades de segurança diferentes.

Um comprometimento do setup pode afetar a solidez sem necessariamente expor a privacidade do usuário.

Em outros sistemas, uma implementação deficiente ou aleatoriedade inadequada também pode afetar a privacidade.

Os usuários devem evitar supor que todas as falhas de setup têm as mesmas consequências.

O risco exato depende do sistema de provas, do aplicativo e do design do setup.

Para traders e investidores, a questão prática mais importante é se um comprometimento do setup poderia criar danos econômicos ocultos.

Para usuários de privacidade, a questão também é se detalhes de transações privadas poderiam ser expostos.

Trusted Setup e verificação pública

Um trusted setup se torna mais robusto quando o público pode verificar a transcrição da cerimônia.

Verificação pública significa que qualquer pessoa pode verificar se cada contribuição seguiu as regras do protocolo.

Isso normalmente exige a publicação de uma transcrição, hashes, assinaturas, software, instruções e metadados das contribuições.

A cerimônia KZG da Ethereum publicou um hash final da transcrição e disponibilizou a transcrição para verificação.

A Zcash Foundation também publicou parâmetros, transcrições, ferramentas de verificação e atestações dos participantes para o Powers of Tau.

A verificação pública não prova que todos os participantes destruíram seu toxic waste.

Mas ajuda a provar que as etapas visíveis da cerimônia foram bem-formadas.

A premissa do participante honesto ainda permanece.

Por isso, a transparência da cerimônia é necessária, mas nem sempre suficiente.

Uma boa cerimônia precisa tanto de saídas públicas verificáveis quanto de destruição privada de entropia confiável.

Trusted Setup e tamanho da cerimônia

Uma cerimônia maior pode reduzir a concentração de confiança porque mais pessoas contribuem com aleatoriedade.

Se a cerimônia for segura desde que um participante seja honesto, adicionar mais participantes independentes pode aumentar a confiança.

A cerimônia KZG da Ethereum é um exemplo forte porque envolveu mais de 140.000 contribuições.

No entanto, o tamanho da cerimônia não é o único fator relevante.

Se muitas contribuições vierem da mesma entidade, a diversidade efetiva poderá ser menor do que o número bruto sugere.

Se o software da cerimônia tiver um erro, uma grande quantidade de participantes poderá não resolver o problema.

Se a verificação da transcrição for difícil, os usuários podem não conseguir verificar o processo de forma independente.

Se o processo de contribuição for censurado ou difícil de acessar, a cerimônia poderá ser menos aberta do que aparenta.

Uma boa análise deve considerar número de participantes, diversidade de participantes, segurança do software, verificação da transcrição, qualidade da entropia e governança do setup.

Trusted Setup e auditorias de segurança cripto

Auditorias de segurança para sistemas que usam trusted setup devem analisar mais do que o código dos contratos inteligentes.

Os auditores devem verificar o sistema de provas, parâmetros de setup, chaves de verificação, bibliotecas de implementação, transcrição da cerimônia e lógica de integração.

Um contrato inteligente pode chamar corretamente um verificador, mas o verificador pode depender de parâmetros inseguros.

Um sistema de provas pode ser sólido em teoria, mas a implementação pode tratar incorretamente entradas ou casos extremos.

Uma cerimônia pode ser válida, mas o projeto pode usar a chave de verificação errada.

Um rollup pode usar um trusted setup com segurança, mas a governança pode permitir uma atualização futura que substitua o verificador por código inseguro.

Por isso, a análise de trusted setup deve fazer parte de uma revisão completa de risco do protocolo.

Os usuários devem procurar documentação clara que explique qual setup foi usado, se foi universal ou específico de circuito, quem participou e como os parâmetros podem ser verificados.

Projetos que não conseguem explicar claramente suas premissas de setup merecem cautela adicional.

Trusted Setup e atualizabilidade

A atualizabilidade pode interagir com o risco de trusted setup.

Se um protocolo atualizar seus circuitos, contratos verificadores ou sistema de provas, poderá precisar de um novo setup ou de novos parâmetros de verificação.

Um setup específico de circuito pode se tornar inválido após uma mudança no circuito.

Um setup universal pode suportar novos circuitos sem uma nova cerimônia completa, dependendo do sistema de provas e dos limites de tamanho.

Se um protocolo alterar silenciosamente parâmetros de prova, os usuários poderão não perceber que o modelo de confiança mudou.

Por isso, as atualizações devem ser transparentes e, idealmente, protegidas por governança, auditorias, timelocks e anúncios públicos.

Para rollups, as atualizações de verificadores podem ser especialmente importantes porque controlam quais provas de transição de estado são aceitas.

Para sistemas de privacidade, atualizações de parâmetros podem afetar tanto as premissas de segurança quanto a confiança dos usuários.

O trusted setup não deve ser tratado como um evento de marketing único.

Ele deve fazer parte da manutenção contínua do protocolo e da divulgação pública de riscos.

Trusted Setup e Common Reference String

Uma common reference string, ou CRS, é o dado público compartilhado utilizado por provadores e verificadores em determinados sistemas de prova.

A CRS pode incluir elementos de grupo, potências de um valor secreto ou outro material criptográfico estruturado.

Os usuários normalmente não interagem diretamente com a CRS.

Desenvolvedores e clientes de protocolo a utilizam por meio de software de geração e verificação de provas.

Se a CRS foi gerada por meio de um trusted setup, o sistema depende da premissa de que o segredo usado para construí-la é desconhecido.

Em alguns contextos, as pessoas usam CRS e SRS quase como sinônimos.

SRS normalmente enfatiza que a reference string possui estrutura, como potências de um valor oculto.

A questão central é se a reference string foi gerada de forma transparente ou por meio de um trusted setup.

Compreender isso ajuda os usuários a perceber onde a confiança entra em um sistema de conhecimento zero ou de compromisso polinomial.

Trusted Setup e Structured Reference String

Uma structured reference string, ou SRS, é um conjunto de parâmetros públicos com estrutura matemática.

Em compromissos KZG, a SRS contém valores relacionados a potências secretas de um número aleatório oculto.

Esses valores podem ser usados publicamente sem revelar o segredo em si.

Se o segredo for destruído e não puder ser reconstruído, o sistema poderá permanecer seguro.

Se o segredo for conhecido, o sistema poderá ser comprometido.

É por isso que os compromissos KZG exigem uma cerimônia de trusted setup.

A SRS é poderosa porque permite compromissos e provas eficientes.

Ela também é sensível porque a estrutura oculta cria uma premissa de confiança.

Para desenvolvedores, o gerenciamento de SRS inclui carregamento, versionamento e verificação corretos, além de compatibilidade com o software cliente.

Para usuários, a principal preocupação é se a SRS foi gerada e tratada de forma segura.

Benefícios do Trusted Setup

O primeiro benefício do trusted setup é a eficiência.

Alguns sistemas de prova baseados em trusted setup produzem provas muito pequenas, cuja verificação on-chain é barata.

O segundo benefício é a escalabilidade prática.

Provas pequenas são úteis quando blockchains precisam verificar muitas transações ou grandes computações off-chain.

O terceiro benefício é a maturidade das ferramentas.

Muitos sistemas baseados em trusted setup foram estudados, implementados, auditados e usados em produção.

O quarto benefício é a compatibilidade com determinados esquemas de compromisso.

Os compromissos KZG são eficientes e úteis para disponibilidade de dados e sistemas de provas polinomiais, mas precisam de uma SRS.

O quinto benefício é a reutilização no ecossistema.

Setups universais podem suportar muitos aplicativos sem exigir uma nova cerimônia a cada vez.

Esses benefícios explicam por que o trusted setup continua relevante, mesmo com a existência de sistemas de prova transparentes.

Riscos do Trusted Setup

O maior risco do trusted setup é a exposição do toxic waste.

Se o segredo do setup for conhecido, atacantes poderão conseguir falsificar provas ou compromissos.

Outro risco é a baixa diversidade de participantes.

Se todos os participantes forem controlados ou comprometidos por um atacante, a premissa do participante honesto falha.

Um terceiro risco é um software de cerimônia defeituoso.

Se a ferramenta de setup estiver errada, a cerimônia poderá produzir parâmetros fracos ou inválidos.

Um quarto risco é uma verificação insuficiente.

Se os usuários não puderem verificar a transcrição, terão de depender mais fortemente dos organizadores.

Um quinto risco é documentação pouco clara.

Se um projeto não explicar claramente seu setup, os usuários poderão não entender em que estão confiando.

Um sexto risco é a migração futura.

Se um trusted setup for posteriormente considerado inseguro, o protocolo poderá precisar migrar para novos parâmetros ou um novo sistema de provas.

Trusted Setup vs. sem Trusted Setup

Um sistema com trusted setup pode ser altamente eficiente, mas exige confiança na cerimônia.

Um sistema sem trusted setup pode reduzir a confiança relacionada à cerimônia, mas pode ter trade-offs de desempenho diferentes.

Os ZK-STARKs são frequentemente usados como exemplo de sistema de provas transparente que evita trusted setup.

Alguns sistemas SNARK modernos também buscam reduzir, universalizar ou eliminar premissas de setup.

A melhor escolha depende das necessidades do protocolo.

Um sistema de pagamentos privados pode priorizar provas pequenas e baixo custo de verificação.

Um rollup pode priorizar desempenho do provador, custo de verificação e flexibilidade de atualização.

Um sistema de disponibilidade de dados pode priorizar compromissos eficientes e compatibilidade com amostragem.

Um sistema que movimenta valores extremamente altos pode preferir menos premissas de confiança, mesmo que as provas sejam maiores.

Não há uma resposta única que sirva para todos os casos.

O trusted setup é um trade-off de design que deve ser avaliado no contexto.

Como os usuários podem avaliar um Trusted Setup

Primeiro, os usuários devem perguntar se o protocolo utiliza um trusted setup.

Em seguida, devem perguntar qual sistema de provas ou esquema de compromisso depende desse setup.

Devem verificar se o setup foi universal ou específico de circuito.

Devem verificar se há uma transcrição pública.

Devem verificar se ferramentas de verificação independentes estão disponíveis.

Devem verificar quantos participantes contribuíram e se a participação foi aberta.

Devem verificar se o projeto explica claramente suas premissas de toxic waste.

Devem verificar se o protocolo foi auditado após integrar os parâmetros do setup.

Devem verificar se futuras atualizações podem substituir parâmetros de prova sem controles robustos de governança.

Para grandes depósitos ou uso de longo prazo, o trusted setup deve fazer parte da análise de risco do usuário.

Trusted Setup e risco de trading

O trusted setup pode afetar o risco de trading quando um token, rollup, bridge ou sistema de privacidade depende da solidez das provas.

Se um setup for amplamente confiável e bem documentado, ele poderá apoiar a confiança no protocolo.

Se um setup for controverso, opaco ou mal verificado, os traders poderão atribuir maior risco ao ativo relacionado.

Uma falha de setup pode não aparecer nos gráficos de preço antes de o risco se tornar sério.

Ela pode ser um risco técnico oculto, e não um sinal visível de mercado.

Isso é importante para traders porque os mercados cripto frequentemente precificam narrativas mais rápido do que detalhes técnicos.

Um protocolo pode parecer forte por ter alto TVL, alto volume ou uma marca forte.

No entanto, se seu sistema de provas depender de premissas de setup fracas, seu risco real poderá ser maior do que o mercado percebe.

Portanto, o risco técnico deve fazer parte da análise fundamentalista.

O trusted setup é especialmente importante quando o protocolo protege grandes quantidades de fundos dos usuários.

Trusted Setup e DeFi

Protocolos DeFi podem usar trusted setup indiretamente por meio de rollups, camadas de privacidade, sistemas de provas ou ferramentas de disponibilidade de dados.

Um aplicativo DeFi implantado em um rollup pode depender do sistema de provas de validade desse rollup.

Se o sistema de provas do rollup usar trusted setup, o aplicativo DeFi herdará indiretamente parte dessa premissa.

Um protocolo de empréstimos que utiliza provas de identidade ou de conformidade com conhecimento zero também pode depender de parâmetros de setup.

Um protocolo de trading privado ou de ativos privados pode depender de sistemas de prova baseados em trusted setup para ocultar dados sensíveis enquanto prova a validade.

Para usuários de DeFi, o trusted setup frequentemente fica oculto sob a interface do aplicativo.

O aplicativo pode apresentar um simples botão de depósito, swap ou empréstimo.

Por trás desse botão, pode haver sistemas de provas, contratos verificadores, esquemas de compromisso, sequenciadores ou premissas de disponibilidade de dados.

Compreender o trusted setup ajuda os usuários a perceberem que o risco em DeFi é composto por camadas.

Trusted Setup e desenvolvedores

Os desenvolvedores devem tratar o trusted setup como infraestrutura crítica para a segurança.

Devem escolher sistemas de prova com base em trade-offs claros, e não em hype.

Devem documentar se os parâmetros de setup são universais, específicos de circuito, reutilizáveis ou específicos de aplicativo.

Devem publicar instruções de verificação para usuários e auditores.

Devem evitar alterar silenciosamente chaves de prova, contratos verificadores ou arquivos CRS.

Devem usar bibliotecas auditadas quando possível.

Devem testar se a geração e a verificação de provas usam os mesmos parâmetros esperados.

Devem incluir as premissas de setup na documentação de segurança e nos modelos de ameaça.

Devem planejar o que acontece se os parâmetros precisarem ser rotacionados, substituídos ou descontinuados.

Um trusted setup não é apenas uma cerimônia criptográfica; é também uma responsabilidade de manutenção de longo prazo.

Equívocos comuns sobre Trusted Setup

O primeiro equívoco é pensar que trusted setup significa que o sistema é centralizado.

Um trusted setup pode envolver muitos colaboradores independentes e ainda apoiar um protocolo descentralizado.

O segundo equívoco é pensar que todos os trusted setups são igualmente arriscados.

O risco depende do design da cerimônia, diversidade de participantes, verificação da transcrição, qualidade do software e premissas do sistema de provas.

O terceiro equívoco é pensar que trusted setup sempre ameaça a privacidade do usuário.

Em muitos sistemas, o principal risco do setup é a solidez das provas, e não o vazamento direto de privacidade.

O quarto equívoco é pensar que uma cerimônia grande remove todos os riscos.

Uma cerimônia grande melhora a confiança apenas se o software, a verificação, a entropia e o processo de participação forem sólidos.

O quinto equívoco é pensar que sistemas de prova transparentes são sempre melhores.

Sistemas transparentes reduzem a confiança no setup, mas podem ter provas maiores ou perfis de custo diferentes.

O sexto equívoco é pensar que os usuários nunca precisam se importar com o setup.

Os usuários devem se importar quando o setup protege ativos, validade de rollups, privacidade ou lógica crítica de protocolo.

Checklist de Trusted Setup

Verifique se o protocolo usa zk-SNARKs, compromissos KZG ou outro sistema dependente de setup.

Verifique se o setup foi público, privado, universal ou específico de circuito.

Verifique se a cerimônia usou computação multipartidária.

Verifique se basta pelo menos um participante honesto para a segurança.

Verifique se a destruição do toxic waste é explicada claramente.

Verifique se a transcrição, o hash final e as ferramentas de verificação são públicos.

Verifique se os contratos verificadores e as chaves de prova são auditados.

Verifique se atualizações podem substituir parâmetros de prova.

Verifique se o protocolo tem um plano para migrar de parâmetros antigos, se necessário.

Verifique se o projeto explica as premissas de setup em linguagem simples para os usuários.

FAQ

O que é um trusted setup em termos simples?

Um trusted setup é uma cerimônia criptográfica que cria parâmetros públicos para um sistema de provas e exige que a aleatoriedade secreta dos participantes seja destruída.

Por que é chamado de trusted setup?

Ele é chamado de trusted setup porque os usuários precisam confiar que pelo menos um participante contribuiu com aleatoriedade honesta e destruiu o toxic waste secreto.

O que é toxic waste em um trusted setup?

Toxic waste é a aleatoriedade secreta criada durante o setup que pode ser perigosa se sobreviver ou for revelada.

Por que alguns zk-SNARKs precisam de trusted setup?

Alguns zk-SNARKs precisam de trusted setup porque seus parâmetros públicos de geração e verificação de provas dependem de aleatoriedade secreta gerada antes de o sistema ser usado.

O que acontece se um trusted setup for comprometido?

Se o setup for comprometido, atacantes poderão conseguir criar provas ou compromissos falsos que pareçam válidos.

Um trusted setup sempre afeta a privacidade?

Nem sempre, pois em muitos sistemas o principal risco é a quebra da solidez, e não o vazamento direto de privacidade.

O que é uma cerimônia MPC?

Uma cerimônia MPC é um processo de setup multipartidário no qual muitos participantes contribuem com aleatoriedade, para que o setup permaneça seguro se pelo menos um participante for honesto.

O que foi a cerimônia KZG da Ethereum?

A cerimônia KZG da Ethereum foi uma cerimônia pública de trusted setup que gerou a structured reference string usada para compromissos KZG no sistema de blobs da Ethereum.

O que foi Powers of Tau?

Powers of Tau foi uma grande cerimônia relacionada à Zcash, projetada para produzir parâmetros públicos reutilizáveis para sistemas zk-SNARK.

Os ZK-STARKs não exigem trusted setup?

Sim, os ZK-STARKs geralmente são descritos como sistemas de prova transparentes porque dependem de aleatoriedade verificável publicamente, em vez de um trusted setup.

Trusted setup é ruim?

Trusted setup não é automaticamente ruim, mas é uma premissa de confiança que precisa ser compreendida, documentada e verificada.

Por que os protocolos ainda usam sistemas de trusted setup?

Os protocolos podem usar sistemas de trusted setup porque eles podem oferecer provas pequenas, verificação eficiente, ferramentas maduras e desempenho prático em blockchain.

Um trusted setup pode ser reutilizado?

Alguns trusted setups universais podem ser reutilizados em muitos circuitos ou aplicativos, enquanto setups específicos de circuito são limitados a um único design de circuito.

Como os usuários podem verificar a segurança de um trusted setup?

Os usuários podem analisar a documentação da cerimônia, número de participantes, disponibilidade da transcrição, ferramentas de verificação, auditorias e controles de atualização.

Conclusão

Um trusted setup é um processo criptográfico que gera parâmetros públicos para determinados sistemas de provas e esquemas de compromisso usados em cripto.

Ele é especialmente importante para zk-SNARKs, compromissos KZG, sistemas de privacidade, rollups e designs escaláveis de dados blockchain.

A principal ideia de segurança é que a aleatoriedade secreta criada durante a cerimônia deve ser destruída.

Se pelo menos um participante agir honestamente e excluir seu toxic waste, o setup poderá permanecer seguro sob as premissas da cerimônia.

Se todos os participantes forem desonestos ou comprometidos, o sistema poderá se tornar vulnerável a provas falsas ou compromissos inválidos.

O trusted setup possibilitou sistemas criptográficos eficientes, incluindo provas pequenas e verificação on-chain prática.

Ele também criou questões sérias de confiança e transparência para usuários de blockchain.

Exemplos importantes incluem as cerimônias Powers of Tau relacionadas à Zcash e a cerimônia pública KZG da Ethereum para proto-danksharding.

Sistemas de prova transparentes modernos, como ZK-STARKs, reduzem ou eliminam premissas de trusted setup, mas podem envolver trade-offs de desempenho diferentes.

A melhor forma de entender o trusted setup é tratá-lo como uma escolha de design, e não como uma falha simples.

Para usuários, o trusted setup deve fazer parte da análise de risco de protocolos.

Para desenvolvedores, deve fazer parte da arquitetura de segurança, do escopo de auditoria, da documentação e do planejamento de atualizações.

Para o ecossistema cripto mais amplo, o trusted setup demonstra que a descentralização depende não apenas de consenso e contratos inteligentes, mas também das fundações criptográficas que tornam possíveis aplicativos blockchain avançados.