Bulletproofs

O que são Bulletproofs?

Bulletproofs são provas curtas de conhecimento zero que permitem demonstrar que uma afirmação é verdadeira sem revelar as informações privadas por trás dela.

No universo das criptomoedas, os Bulletproofs são mais conhecidos por tornar as transações confidenciais mais eficientes, provando que valores ocultos de transações são válidos.

Um usuário pode provar que um valor oculto está dentro de um intervalo permitido, por exemplo, que é maior ou igual a zero e inferior a um valor máximo, sem revelar o valor exato.

Isso é importante porque uma transação privada de criptomoedas precisa ocultar dados confidenciais e, ao mesmo tempo, permitir que a rede verifique se nenhuma moeda foi criada do nada.

O Stanford Applied Crypto Group descreve os Bulletproofs como provas curtas, não interativas e de conhecimento zero, que não exigem uma configuração confiável.

O artigo de pesquisa original, Bulletproofs: Short Proofs for Confidential Transactions and More, explica que o tamanho da prova Bulletproof cresce apenas de forma logarítmica em relação ao tamanho da testemunha.

Em termos simples, os Bulletproofs ajudam as blockchains a proteger a privacidade sem tornar cada transação privada extremamente grande.

Eles são especialmente úteis para provas de intervalo, que demonstram que um número oculto está dentro de uma faixa válida.

Por que os Bulletproofs são importantes para as criptomoedas

Os Bulletproofs são importantes porque as blockchains públicas são transparentes por padrão.

Em muitas blockchains, qualquer pessoa pode consultar endereços, valores de transações, histórico de transações e atividade de contratos inteligentes.

Essa transparência ajuda na verificação, mas também pode reduzir a privacidade financeira.

Os sistemas de transações confidenciais tentam resolver esse problema ocultando os valores das transações e permitindo, ainda assim, que a rede verifique sua validade.

O desafio é que ocultar os valores cria um problema sério.

Se os validadores não conseguem ver o valor, ainda precisam de uma maneira de saber que o remetente não está criando um resultado negativo nem emitindo moedas extras em segredo.

Os Bulletproofs resolvem parte desse problema ao provar que os valores ocultos estão dentro de um intervalo válido.

Assim, privacidade e verificação podem funcionar em conjunto.

Sem provas de intervalo eficientes, as transações confidenciais podem ficar grandes demais, lentas demais ou caras demais para o uso prático em blockchain.

Bulletproofs em termos simples

Imagine que alguém queira provar que tem idade suficiente para entrar em um prédio sem revelar sua data de nascimento exata.

Essa pessoa não quer revelar a idade, mas o segurança ainda precisa de uma prova de que o requisito foi atendido.

Uma prova de conhecimento zero pode permitir que a pessoa prove que atende ao requisito de idade sem revelar o dado privado.

Os Bulletproofs aplicam uma ideia semelhante aos números ocultos em transações cripto.

Um usuário pode ocultar o valor da transação e ainda provar que ele respeita as regras.

A rede não descobre o valor exato.

A rede apenas descobre que o valor é válido.

Isso é poderoso porque os sistemas de criptomoedas precisam de verificação pública, mas os usuários talvez não queiram que todos os detalhes financeiros fiquem expostos para sempre.

Que problema os Bulletproofs resolvem?

Os Bulletproofs resolvem principalmente o problema da validação privada eficiente.

Em transações confidenciais, os valores ficam ocultos em compromissos criptográficos.

Um compromisso permite fixar um valor sem revelá-lo.

No entanto, o compromisso, sozinho, não basta, pois um usuário mal-intencionado poderia se comprometer com um valor inválido.

Por exemplo, um usuário poderia tentar criar uma transação que parecesse matematicamente equilibrada, mas que usasse um valor negativo oculto para criar moedas extras.

Uma prova de intervalo impede isso ao provar que o valor comprometido está dentro de uma faixa válida.

Antes dos Bulletproofs, as provas de intervalo podiam ser grandes e caras para as blockchains.

Os Bulletproofs reduziram bastante o tamanho dessas provas, ajudando os sistemas de transações com foco em privacidade a se tornarem mais práticos.

Por isso, os Bulletproofs se tornaram uma ferramenta importante na pesquisa e na implementação de soluções de privacidade cripto.

Como os Bulletproofs funcionam em alto nível

Os Bulletproofs usam compromissos criptográficos, argumentos de produto interno e técnicas de conhecimento zero para provar afirmações sobre valores ocultos.

O provador é a pessoa ou o software que cria a prova.

O verificador é a pessoa, o nó ou a rede que confere a prova.

O provador conhece um valor secreto, como o valor de uma transação.

Ele cria uma prova de que o valor atende a uma regra, como estar dentro de um intervalo válido.

O verificador confere a prova e se convence de que a regra foi cumprida.

O verificador não descobre o valor secreto em si.

Essa é a propriedade de conhecimento zero.

Os Bulletproofs também são não interativos, o que significa que o provador pode criar uma prova que qualquer pessoa poderá verificar posteriormente, sem precisar de uma conversa contínua entre as partes.

Isso é muito útil para as blockchains, pois as provas das transações precisam ser transmitidas, armazenadas e verificadas por muitos participantes.

O que é uma prova de intervalo?

Uma prova de intervalo é uma prova criptográfica de que um número oculto está dentro de uma faixa específica.

Um exemplo comum em cripto é provar que um resultado oculto de uma transação não é negativo e não excede um máximo válido.

Isso importa porque a validação da blockchain precisa impedir falhas de inflação e transações inválidas.

Quando os valores estão visíveis, os nós podem simplesmente conferir os números.

Quando os valores estão ocultos, os nós precisam de outra maneira de verificar a mesma regra.

Uma prova de intervalo dá essa garantia aos nós sem revelar o valor real.

Os Bulletproofs são amplamente discutidos porque tornaram as provas de intervalo menores e mais práticas para sistemas de transações confidenciais.

Eles permitem que transações com preservação de privacidade se mantenham mais próximas dos limites de tamanho e verificação das blockchains no mundo real.

O que é um compromisso de Pedersen?

Um compromisso de Pedersen é um método criptográfico que permite que um usuário se comprometa com um valor, mantendo-o oculto.

Ele é comumente usado em projetos de transações confidenciais.

O compromisso oculta o valor, mas ainda permite realizar determinadas verificações matemáticas.

Por exemplo, uma rede pode verificar se o total dos valores comprometidos de entrada e saída se equilibra, sem conhecer os valores reais.

No entanto, os compromissos de Pedersen precisam de provas de intervalo porque os valores ocultos podem se comportar de maneira inesperada na aritmética modular.

Uma transação que parece equilibrada ainda pode ser inválida se os valores ocultos estiverem fora do intervalo permitido.

Os Bulletproofs oferecem uma maneira eficiente de provar que esses valores comprometidos são válidos.

Essa combinação é uma das razões pelas quais os Bulletproofs são importantes para o design de criptomoedas com foco em privacidade.

Por que a ausência de configuração confiável é importante

Um dos maiores pontos fortes dos Bulletproofs é que eles não exigem uma configuração confiável.

Uma configuração confiável é uma cerimônia especial de inicialização que cria parâmetros públicos para alguns sistemas de prova de conhecimento zero.

Se o material secreto de uma configuração confiável não for destruído corretamente, a segurança do sistema pode ser comprometida.

Em alguns sistemas de prova, uma configuração comprometida poderia permitir que alguém criasse provas falsas.

Para as criptomoedas, esse risco é sério, pois provas falsas poderiam ameaçar a integridade monetária.

Os Bulletproofs evitam essa categoria de risco associada à configuração.

Isso não significa que os Bulletproofs sejam isentos de riscos.

Significa que eles não dependem de uma cerimônia de configuração confiável da mesma forma que alguns outros sistemas de conhecimento zero.

Para comunidades blockchain que valorizam a verificabilidade pública e a redução da necessidade de confiança, essa é uma grande vantagem.

Bulletproofs e transações confidenciais

As transações confidenciais ocultam os valores das transações e ainda permitem que a rede verifique se o dinheiro está sendo conservado.

Os Bulletproofs são úteis nessas transações porque provam que os resultados ocultos estão dentro de intervalos válidos.

Sem essa prova, um usuário mal-intencionado poderia explorar os valores ocultos para criar transações inválidas.

Com os Bulletproofs, a rede pode rejeitar valores ocultos inválidos sem conhecer seus valores reais.

Isso favorece uma privacidade financeira mais forte em registros públicos.

Os sistemas de transações confidenciais podem dificultar que terceiros rastreiem valores de pagamentos, saldos, atividade comercial ou padrões pessoais de gastos.

No entanto, transações confidenciais não ocultam automaticamente tudo.

Outros metadados, o comportamento na rede, erros na carteira, padrões de horário ou a reutilização de endereços ainda podem prejudicar a privacidade.

Os Bulletproofs são um componente de privacidade, não um sistema completo de privacidade por si só.

Bulletproofs e tamanho das transações

O tamanho das transações é um problema importante para qualquer sistema de privacidade em blockchain.

Transações maiores exigem mais armazenamento, custam mais em taxas e precisam de mais largura de banda.

Se as transações privadas forem grandes demais, os usuários podem evitá-las ou a rede pode ficar mais difícil de operar.

Os Bulletproofs se popularizaram porque podem reduzir o tamanho das provas de intervalo em comparação com métodos antigos.

O artigo original dos Bulletproofs explica que o tamanho da prova é logarítmico em relação ao tamanho da testemunha, o que significa que cresce lentamente à medida que a afirmação aumenta.

Isso é valioso para provas de intervalo agregadas, em que vários resultados podem ser provados juntos com mais eficiência.

Provas menores podem reduzir o inchaço da blockchain e tornar as transações privadas mais práticas.

Elas também podem ajudar a reduzir as taxas de transação quando as taxas são calculadas com base no tamanho da transação.

Por isso, os Bulletproofs costumam ser apresentados tanto como uma melhoria de privacidade quanto de eficiência.

Bulletproofs e velocidade de verificação

Os Bulletproofs são curtos, mas sua verificação pode ser mais custosa do que a de alguns outros sistemas de prova.

A página dos Bulletproofs de Stanford observa que verificar Bulletproofs pode levar mais tempo do que verificar alguns sistemas de prova sucintos.

Isso cria uma compensação.

Os Bulletproofs dispensam a configuração confiável e têm provas compactas, mas podem exigir mais trabalho do verificador do que algumas alternativas.

Nas blockchains, o custo de verificação importa porque muitos nós podem precisar verificar muitas provas.

Se a verificação for lenta demais, será mais difícil operar nós completos.

Isso pode prejudicar a descentralização.

Um bom design de protocolo precisa equilibrar o tamanho da prova, o tempo de verificação, o tempo de geração da prova, a segurança da implementação e o uso de recursos da rede.

Os Bulletproofs são atraentes por oferecerem um equilíbrio sólido para provas de intervalo, mas não são a melhor opção para todos os casos de uso de conhecimento zero.

Bulletproofs vs. zk-SNARKs

Bulletproofs e zk-SNARKs são tecnologias de prova de conhecimento zero, mas apresentam diferentes compensações.

Os Bulletproofs não exigem uma configuração confiável.

Muitos sistemas zk-SNARK tradicionais exigem uma configuração confiável, embora os designs mais recentes e os métodos de configuração variem conforme o protocolo.

As provas zk-SNARK podem ser extremamente pequenas e rápidas de verificar.

Em geral, as provas Bulletproof são maiores do que as provas SNARK e podem ser mais lentas de verificar.

No entanto, os Bulletproofs são atraentes quando um projeto quer provas de intervalo eficientes sem o risco de uma cerimônia de configuração.

Os zk-SNARKs costumam ser usados em computação privada mais geral, provas de escalabilidade e sistemas complexos de validade.

Os Bulletproofs são especialmente conhecidos por provas de intervalo em transações confidenciais.

A melhor opção depende da aplicação, das premissas de confiança, das necessidades de desempenho, da maturidade da implementação e do modelo de segurança.

Bulletproofs vs. STARKs

Os Bulletproofs e os STARKs também atendem a objetivos de design diferentes.

Os STARKs são sistemas de prova transparentes que podem suportar computações grandes e não exigem uma configuração confiável.

As provas STARK costumam ser maiores do que as provas SNARK, mas podem ser poderosas para computação escalável e provas de validade.

Os Bulletproofs costumam ser mais associados a provas de intervalo compactas e transações confidenciais.

Os STARKs são mais associados a sistemas de escalabilidade, rollups de validade e provas de computações grandes.

As duas tecnologias fazem parte do campo mais amplo de conhecimento zero e computação verificável.

Elas não são substitutas diretas em todas as situações.

Um protocolo pode escolher Bulletproofs para provas de intervalo de valores ocultos e outro sistema de prova para provas de execução em grande escala.

Entender essas diferenças ajuda os usuários a evitar a ideia de que todas as provas de conhecimento zero resolvem o mesmo problema da mesma maneira.

Bulletproofs e agregação

A agregação é um dos recursos mais úteis dos Bulletproofs em transações cripto.

Uma prova agregada pode combinar várias provas de intervalo em uma prova total menor do que se cada resultado fosse provado separadamente.

Isso importa porque uma transação pode ter mais de um resultado.

Sem agregação, cada resultado poderia aumentar bastante o volume de provas necessário.

Com agregação, a transação pode provar vários resultados ocultos com mais eficiência.

Isso ajuda a reduzir o tamanho das transações e torna as transações confidenciais mais escaláveis.

A agregação é especialmente útil quando uma carteira cria vários resultados, como um pagamento e um troco.

Ela também pode ajudar sistemas em que vários participantes contribuem para uma transação ou lote.

Na prática, isso permite que as transações privadas sejam menores e mais compatíveis com a rede.

Bulletproofs e computação multipartidária

Em determinados designs, os Bulletproofs também podem permitir a geração de provas por várias partes.

Isso significa que várias partes podem trabalhar juntas para criar uma prova sem revelar seus dados privados umas às outras.

No universo cripto, isso pode ser relevante para transações compartilhadas, construções semelhantes a CoinJoin, sistemas de ativos confidenciais e protocolos colaborativos.

Um design multipartidário com Bulletproofs precisa ser implementado com cuidado, pois coordenação, aleatoriedade, comunicação e participantes mal-intencionados podem criar riscos.

Se um participante agir incorretamente, o protocolo pode precisar de uma forma de detectar o problema ou se recuperar dele.

A geração de provas multipartidária pode melhorar a privacidade e a eficiência, mas também aumenta a complexidade de engenharia.

Por isso, sistemas em produção precisam de auditorias cuidadosas e análises criptográficas rigorosas antes de usar recursos avançados dos Bulletproofs.

A criptografia pode ser segura em teoria, mas insegura na prática se a implementação tiver falhas.

Bulletproofs+ e variantes mais recentes

Bulletproofs+ é uma versão aprimorada dos Bulletproofs, projetada para tornar as provas de intervalo menores e mais eficientes.

A explicação sobre Bulletproofs+ da GetMonero descreve o sistema como uma forma mais eficiente de gerar provas de intervalo para protocolos de transações confidenciais.

O artigo sobre Bulletproofs+ apresenta argumentos de conhecimento zero mais curtos para provas de intervalo e circuitos aritméticos, sem configuração confiável.

Pesquisas mais recentes, como Bulletproofs++, também investigam melhorias adicionais de eficiência para provas de intervalo e ativos confidenciais.

Essas variantes mostram que a tecnologia Bulletproof não está parada.

Os pesquisadores continuam aprimorando o tamanho das provas, o tempo de geração, o tempo de verificação e o design da implementação.

Para os usuários, a lição importante é que “Bulletproofs” pode se referir ao sistema de prova original ou a uma família de melhorias relacionadas.

Para os desenvolvedores, a versão exata importa, pois diferentes variantes têm formatos de prova, premissas de segurança, perfis de desempenho e requisitos de compatibilidade distintos.

Bulletproofs em moedas de privacidade

Os Bulletproofs estão fortemente associados a sistemas de criptomoedas com foco em privacidade que ocultam os valores das transações.

Nesses sistemas, as provas de intervalo são necessárias porque os validadores precisam verificar se os valores ocultos são válidos.

Algumas redes com foco em privacidade migraram de sistemas antigos de provas de intervalo para Bulletproofs porque provas menores podem reduzir o tamanho das transações e a carga de verificação.

O verbete de glossário da GetMonero sobre Bulletproofs explica que o tamanho da prova cresce de forma logarítmica em relação ao tamanho dos dados provados.

Isso tornou os Bulletproofs atraentes para redes blockchain em que cada byte pode afetar as taxas, o armazenamento e os custos operacionais de longo prazo dos nós.

No entanto, os usuários devem entender que os Bulletproofs protegem principalmente a validade de valores ocultos.

Eles não ocultam automaticamente a identidade do remetente, a identidade do destinatário, o endereço IP, o comportamento da carteira ou a atividade em exchanges.

Um protocolo completo de privacidade precisa combinar várias técnicas para proteger diferentes partes das informações de uma transação.

Bulletproofs e valores ocultos

Valores ocultos são um dos usos mais importantes dos Bulletproofs.

Em uma blockchain transparente, a visualização do valor pode revelar patrimônio pessoal, receita de empresas, pagamentos a fornecedores, padrões de folha de pagamento ou comportamento de negociação.

Nos sistemas de transações confidenciais, o valor fica oculto em um compromisso.

Os Bulletproofs permitem que a rede verifique se o valor oculto é válido sem revelá-lo.

Isso ajuda a evitar a inflação e a preservar a confidencialidade.

O resultado é um modelo mais forte de privacidade para os valores das transações.

Ainda assim, a privacidade dos valores é apenas uma parte da privacidade financeira.

Se dados externos associarem um endereço a uma pessoa, os metadados ainda poderão revelar informações importantes.

Por esse motivo, carteiras e protocolos focados em privacidade costumam combinar a ocultação de valores com outras ferramentas de privacidade.

Bulletproofs e proteção contra inflação

A proteção contra inflação é uma das funções de segurança mais importantes dos Bulletproofs em transações confidenciais.

Uma rede de criptomoedas precisa garantir que os usuários não consigam criar moedas extras por meio de transações inválidas.

Quando os valores estão visíveis, essa verificação é simples, pois os nós podem somar os números diretamente.

Quando os valores estão ocultos, a rede precisa de uma prova criptográfica de que os valores comprometidos respeitam as regras de oferta.

Os Bulletproofs ajudam ao provar que cada resultado oculto está dentro de um intervalo válido.

Isso impede artifícios com valores negativos ou valores que dão a volta em um campo finito.

Sem provas de intervalo, ou se elas forem comprometidas, os sistemas de valores ocultos podem se tornar inseguros.

Por isso, a qualidade da implementação dos Bulletproofs é fundamental.

Um recurso de privacidade nunca deve enfraquecer a solidez monetária da criptomoeda.

Bulletproofs e escalabilidade da blockchain

Os Bulletproofs não são uma solução geral de escalabilidade, como uma rede Layer 2, mas podem melhorar a escalabilidade das transações privadas.

Eles reduzem o tamanho das provas em comparação com métodos mais antigos de provas de intervalo.

Provas menores podem reduzir o peso das transações, o crescimento do armazenamento, o uso de largura de banda e a pressão sobre as taxas.

Isso importa porque os recursos de privacidade costumam adicionar dados extras às transações.

Se a privacidade for cara demais, poucos usuários poderão utilizá-la.

Se poucas pessoas usarem recursos de privacidade, o conjunto de anonimato poderá se tornar mais fraco.

Ao tornar as transações privadas mais eficientes, os Bulletproofs podem ampliar o uso prático de sistemas de transações confidenciais.

A eficiência não é apenas uma questão de custo.

Ela também pode afetar a descentralização, pois requisitos menores de recursos facilitam a operação de nós validadores por mais usuários.

Bulletproofs e contratos inteligentes

Os Bulletproofs também podem ser usados para provar afirmações além de simples provas de intervalo.

O artigo original discute provas para circuitos aritméticos gerais, o que significa que os Bulletproofs podem representar afirmações mais complexas do que “este número está dentro de um intervalo”.

Em sistemas de contratos inteligentes, isso poderia, em teoria, permitir regras privadas, saldos ocultos, ativos confidenciais ou divulgação seletiva.

No entanto, os Bulletproofs nem sempre são o melhor sistema de prova para computações grandes em contratos inteligentes.

O custo de verificação e o design da prova podem tornar outros sistemas mais práticos para determinadas aplicações blockchain.

Os desenvolvedores de contratos inteligentes também precisam considerar custos de gas, bibliotecas de verificação de provas, compatibilidade com curvas e complexidade de auditoria.

Um sistema de prova que funciona bem em pesquisa acadêmica ainda pode ser difícil de implementar com segurança em contratos inteligentes de produção.

Por isso, muitos projetos blockchain escolhem sistemas de prova com base em requisitos muito específicos de desempenho e confiança.

Premissas de segurança dos Bulletproofs

Os Bulletproofs dependem de premissas criptográficas padrão, especialmente as relacionadas a logaritmos discretos em determinados grupos.

A segurança de uma implementação Bulletproof depende de matemática correta, escolha segura de curvas, aleatoriedade confiável e código cuidadosamente desenvolvido.

Se a aleatoriedade for fraca, valores privados podem vazar.

Se o código da implementação tiver erros, provas inválidas podem ser aceitas ou provas válidas podem falhar.

Se a separação de domínio for mal implementada, as provas podem ser reutilizadas ou interpretadas incorretamente em outros contextos.

Se a integração com o protocolo estiver errada, uma prova matematicamente sólida ainda pode deixar de proteger o sistema completo.

Isso significa que a segurança dos Bulletproofs não depende apenas do artigo de pesquisa.

Também depende da engenharia de software, de auditorias, de testes, de análise formal e de uma implantação segura.

Sistemas criptográficos devem ser tratados como infraestrutura de alto risco quando protegem ativos cripto reais.

Equívocos comuns sobre os Bulletproofs

Um equívoco comum é acreditar que os Bulletproofs tornam uma transação inteira anônima por si só.

Isso não acontece.

Os Bulletproofs provam principalmente afirmações sobre valores ocultos, especialmente intervalos.

Eles não ocultam automaticamente metadados da rede, impressões digitais de carteiras, identidade do remetente, identidade do destinatário ou padrões de horário.

Outro equívoco é acreditar que os Bulletproofs tornam as transações gratuitas ou instantâneas.

Isso também não acontece.

Eles reduzem certos tamanhos de prova, mas ainda exigem computação e espaço na blockchain.

Um terceiro equívoco é acreditar que a ausência de configuração confiável significa ausência total de confiança.

A ausência de configuração confiável elimina um problema específico de confiança, mas os usuários ainda confiam no design do protocolo, na implementação, no software da carteira e nas regras de consenso.

Um quarto equívoco é pensar que todas as provas de conhecimento zero são iguais.

Os Bulletproofs têm compensações diferentes das dos SNARKs, STARKs e outros sistemas de prova.

Vantagens dos Bulletproofs

A primeira grande vantagem dos Bulletproofs é que eles não exigem uma configuração confiável.

Isso reduz o risco de comprometimento de uma cerimônia de configuração.

A segunda vantagem é o tamanho reduzido das provas de intervalo.

Isso torna as transações confidenciais mais práticas em blockchains.

A terceira vantagem é a agregação.

Várias provas de intervalo podem ser combinadas com mais eficiência do que se cada valor fosse provado separadamente.

A quarta vantagem é o forte suporte à privacidade.

Os Bulletproofs permitem que os validadores verifiquem valores ocultos sem conhecê-los.

A quinta vantagem é a flexibilidade.

Os Bulletproofs podem provar afirmações aritméticas mais gerais, embora as provas de intervalo continuem sendo seu caso de uso mais conhecido em cripto.

Essas vantagens explicam por que os Bulletproofs se tornaram um marco importante na pesquisa sobre privacidade em blockchain.

Limitações dos Bulletproofs

A primeira limitação é o custo de verificação.

A verificação dos Bulletproofs pode ser mais lenta do que a de alguns outros sistemas de prova com provas muito pequenas e verificação rápida.

A segunda limitação é a complexidade.

Implementar Bulletproofs com segurança exige conhecimentos avançados de engenharia criptográfica.

A terceira limitação é que os Bulletproofs protegem apenas a afirmação que está sendo provada.

Se o sistema provar apenas que um valor está dentro de um intervalo, outros detalhes da transação ainda poderão vazar por outros meios.

A quarta limitação é que os Bulletproofs não são automaticamente ideais para todo contrato inteligente ou caso de uso de escalabilidade.

Outros sistemas de prova podem ser melhores para provas de computações grandes ou sistemas de validade de alto desempenho.

A quinta limitação é que as atualizações podem ser difíceis.

Uma blockchain que altera seu sistema de prova precisa coordenar carteiras, nós, bibliotecas, auditorias e regras de consenso.

Essas limitações não tornam os Bulletproofs fracos.

Elas mostram que os sistemas de prova precisam ser escolhidos para a finalidade adequada.

Bulletproofs e usuários de carteiras

A maioria dos usuários de carteiras não precisa entender toda a matemática dos Bulletproofs.

No entanto, deve entender seu significado prático.

Se uma carteira ou blockchain usa Bulletproofs, talvez esteja usando esse sistema para ocultar os valores das transações e provar que eles são válidos.

Isso pode melhorar a privacidade e reduzir o tamanho das transações em comparação com métodos antigos de provas de intervalo.

Os usuários ainda devem seguir boas práticas de privacidade.

Devem evitar reutilizar endereços quando o modelo da carteira recomendar endereços únicos.

Devem proteger frases de recuperação e chaves privadas.

Devem evitar expor informações sobre transações em capturas de tela, publicações públicas ou conexões inseguras de carteira.

Devem entender que a privacidade criptográfica é mais forte quando o comportamento do usuário também ajuda a protegê-la.

Bulletproofs e desenvolvedores

Os desenvolvedores devem tratar os Bulletproofs como uma infraestrutura criptográfica especializada.

Não devem criar implementações próprias sem conhecimento profundo de criptografia e análise independente.

Em geral, é mais seguro usar bibliotecas maduras e auditadas e seguir as orientações específicas do protocolo.

A biblioteca Dalek Bulletproofs é um exemplo de implementação voltada para provas de intervalo, provas de intervalo agregadas e ferramentas relacionadas.

Os desenvolvedores precisam verificar se uma biblioteca recebe manutenção, foi auditada, é compatível com as curvas escolhidas e é adequada para uso em produção.

Também precisam testar casos extremos, provas inválidas, comportamento da verificação em lote, tratamento de transcriptos e integração com compromissos.

A maioria das falhas graves não acontece porque a ideia criptográfica é fraca, mas porque a implementação ou integração está errada.

Em aplicações cripto, esse tipo de erro pode causar perdas financeiras permanentes.

Bulletproofs e auditorias

As auditorias são essenciais para sistemas que usam Bulletproofs.

Uma análise de segurança deve verificar a geração e a validação das provas, a construção dos compromissos, a geração de números aleatórios, a vinculação de transcriptos e a integração com o protocolo.

Também deve verificar se valores inválidos podem ser aprovados.

A verificação em lote deve ser analisada cuidadosamente, pois otimizações de desempenho podem introduzir riscos sutis.

A integração com a carteira também deve ser testada, pois um sistema de prova correto ainda pode vazar informações se a carteira tratar mal os metadados.

Uma análise criptográfica independente é especialmente importante antes de uma blockchain ativar uma atualização de sistema de prova.

Depois que um sistema de prova passa a fazer parte do consenso, corrigir erros pode ser difícil.

Por esse motivo, protocolos cripto com foco em privacidade costumam realizar longos períodos de teste, análise pública e várias auditorias antes da implantação.

Bulletproofs e debates regulatórios

Os Bulletproofs podem surgir em debates regulatórios porque melhoram a privacidade nas transações de criptomoedas.

A privacidade pode proteger usuários comuns, empresas e comunidades contra vigilância indesejada.

Também pode gerar preocupações para equipes de compliance quando os detalhes das transações ficam mais difíceis de inspecionar.

A tecnologia em si é neutra.

É um método criptográfico para provar que informações ocultas são válidas.

A forma como é usada depende do protocolo, da carteira, do processo empresarial e do ambiente jurídico.

Alguns sistemas podem usar provas de conhecimento zero para divulgação seletiva, permitindo que os usuários provem determinados fatos sem revelar tudo.

Isso poderia viabilizar formas de compliance que preservem a privacidade no futuro.

O importante é que os Bulletproofs não se limitam a ocultar dados.

Eles permitem provar que algo está correto revelando menos dados do que os sistemas tradicionais exigem.

O futuro dos Bulletproofs

O futuro dos Bulletproofs provavelmente será marcado por mais eficiência, implementações mais seguras e variantes mais especializadas.

Os Bulletproofs+ já melhoraram a eficiência das provas de intervalo em alguns sistemas de transações confidenciais.

Os Bulletproofs++ e pesquisas relacionadas continuam explorando designs de prova menores e mais rápidos.

Ao mesmo tempo, outros sistemas de prova também estão evoluindo rapidamente.

Isso significa que os Bulletproofs continuarão fazendo parte de um conjunto mais amplo de ferramentas de conhecimento zero, em vez de serem a única solução.

É provável que continuem relevantes quando forem especialmente importantes a ausência de configuração confiável, as provas de intervalo compactas e o suporte a transações confidenciais.

Podem ter menos destaque em aplicações que precisam de verificação extremamente rápida para computações muito grandes.

O setor cripto continuará comparando sistemas de prova com base em premissas de confiança, tamanho das provas, custo de verificação, ferramentas para desenvolvedores e maturidade da segurança.

Os Bulletproofs conquistaram seu lugar porque tornaram as provas de intervalo privadas e práticas muito mais eficientes.

Perguntas frequentes

O que são Bulletproofs em cripto?

Bulletproofs são provas curtas de conhecimento zero usadas em cripto para demonstrar que valores ocultos, como valores de transações confidenciais, são válidos sem revelá-los.

Para que servem os Bulletproofs?

Os Bulletproofs são usados principalmente em provas de intervalo eficientes para sistemas de transações confidenciais, embora também possam permitir afirmações aritméticas mais gerais.

Os Bulletproofs exigem uma configuração confiável?

Não. Os Bulletproofs não exigem uma configuração confiável, uma de suas principais vantagens em relação a alguns outros sistemas de prova de conhecimento zero.

O que é uma prova de intervalo?

Uma prova de intervalo demonstra que um número oculto está dentro de uma faixa permitida sem revelar o próprio número.

Por que as transações confidenciais precisam de Bulletproofs?

As transações confidenciais precisam de provas de intervalo para que a rede possa verificar se os valores ocultos são válidos e se não estão sendo criadas moedas extras.

Os Bulletproofs tornam as transações totalmente anônimas?

Não. Os Bulletproofs podem ocultar valores e provar fatos sobre eles, mas a privacidade total das transações também depende da privacidade dos endereços, da proteção de metadados, do comportamento da carteira e de outros recursos do protocolo.

Os Bulletproofs são melhores do que os zk-SNARKs?

Os Bulletproofs são melhores em alguns casos de uso porque não exigem uma configuração confiável, enquanto os zk-SNARKs podem ser melhores em outros por geralmente terem provas menores e verificação mais rápida.

O que são Bulletproofs+?

Bulletproofs+ é uma versão aprimorada dos Bulletproofs, projetada para tornar as provas de intervalo menores e mais eficientes, mantendo a ausência de configuração confiável.

Os Bulletproofs são seguros?

Os Bulletproofs se baseiam em ideias criptográficas amplamente estudadas, mas sua segurança depende de implementação correta, parâmetros seguros, boa aleatoriedade, auditorias e integração adequada ao protocolo da blockchain.

Os desenvolvedores podem usar Bulletproofs em contratos inteligentes?

Os desenvolvedores podem usar provas no estilo Bulletproof em alguns designs de contratos inteligentes, mas precisam considerar o custo de verificação, a maturidade das bibliotecas, a compatibilidade com curvas e os requisitos de auditoria.

Conclusão

Os Bulletproofs são um sistema importante de prova de conhecimento zero em criptomoedas, pois tornam a validação privada mais eficiente.

Eles permitem que os usuários provem que valores de transações ocultos são válidos sem revelar os próprios valores.

Isso os torna especialmente úteis para transações confidenciais e provas de intervalo.

Seus maiores pontos fortes são o tamanho reduzido das provas de intervalo, o suporte à agregação e a ausência de configuração confiável.

Suas maiores limitações são o custo de verificação, a complexidade da implementação e o fato de protegerem apenas a afirmação específica que está sendo provada.

Os Bulletproofs não devem ser confundidos com sistemas completos de anonimato, pois são apenas uma parte de um design de privacidade mais amplo.

Também não devem ser tratados como substitutos universais de todos os sistemas de prova de conhecimento zero.

Para os usuários de cripto, a principal conclusão é que os Bulletproofs ajudam as blockchains a verificar valores ocultos com segurança.

Para os desenvolvedores, a principal conclusão é que os Bulletproofs exigem implementação cuidadosa, testes rigorosos e análise independente.

À medida que a privacidade e a tecnologia de conhecimento zero continuam evoluindo, os Bulletproofs e suas variantes mais recentes seguem sendo ferramentas importantes para criar sistemas de criptomoedas que revelem menos informações e, ainda assim, provem que as regras estão sendo cumpridas.