Como o ZeroSync ajuda a trazer a tecnologia ZKPs para a rede Bitcoin?

Pontos chave:

  • ZeroSync já criou um protótipo funcional que permite aos usuários autenticar o estado atual e o histórico de transações do blockchain Bitcoin sem ter que baixar a cadeia completa ou depender de terceiros.
  • Embora o protótipo possa validar as regras de consenso do Bitcoin, ele não pode validar assinaturas de transações.
  • ZeroSync leva a sugestão de Satoshi um passo adiante, confirmando transações usando evidências criptográficas, em vez de apenas confiar em nós honestos.
As provas de conhecimento zero (ZKPs) têm sido debatidas na comunidade criptográfica há mais de uma década. Até mesmo Satoshi Nakamoto estava ciente deles como algo primitivo que poderia ser explorado, e o conceito de incorporá-los ao Bitcoin foi explorado já em 2010, enquanto ainda estavam funcionando.
O que aconteceria se o Bitcoin implementasse provas de conhecimento zero? Como a rede Bitcoin se comunicaria com os usuários se o status da cadeia pudesse ser verificado rapidamente sem baixar dados de bloco ou dependendo de terceiros?
ZeroSync, uma iniciativa recém-anunciada, está liderando a criação de um sistema de prova de conceito Bitcoin.
Como o ZeroSync ajuda a trazer a tecnologia ZKPs para a rede Bitcoin?

A associação suíça sem fins lucrativos ZeroSync e a empresa de infraestrutura Bitcoin Blockstream anunciaram planos para transmitir provas de conhecimento zero do Bitcoin – um tipo de criptografia que emergiu como uma das tendências de tecnologia blockchain mais quentes do ano – do satélite da Blockstream, auxiliando no desenvolvimento de um futuro Bitcoin com propriedades como privacidade, interoperabilidade e escalabilidade.

O que é ZeroSync?

Três cientistas da computação alemães fundaram a Associação ZeroSync na Suíça para ajudar no dimensionamento do Bitcoin por meio do uso de provas de conhecimento zero (provas zk), uma abordagem criptográfica que cresceu em favor da cadeia concorrente Ethereum.

A criptografia é usada em provas de conhecimento zero para mostrar a validade das informações sem expor a informação em si. Utilizar uma prova zk para verificar o blockchain Bitcoin permite que os nós sincronizem imediatamente, em vez de precisar de horas (ou mesmo dias) para baixar os atuais 500 GB de dados da cadeia.

ZeroSync construiu um protótipo funcional em fevereiro deste ano que permite aos usuários autenticar o status (quem possui o que agora) e o histórico de transações do blockchain Bitcoin sem baixar a cadeia completa ou depender de terceiros.

O protótipo é capaz de validar regras de consenso do Bitcoin, mas não assinaturas de transações. Também é um pouco estranho e precisa ser ajustado para velocidade e segurança, por isso ainda não está pronto para o horário nobre, mas o principal é que funciona.

Geometry e StarkWare, duas empresas intimamente comprometidas com tecnologias de privacidade de conhecimento zero, estão financiando o desenvolvimento do ZeroSync. Tom Walton-Pocock, ex-CEO da Aztec Network, é o chefe de Geometria. O desenvolvimento inicial do ZeroSync foi financiado por uma bolsa de pesquisa. OnlyDust, o esforço de código aberto da StarkWare, também oferece fundos de desenvolvimento para o desenvolvimento.

Na blockchain do Bitcoin, sempre existiram clientes leves, também conhecidos como nós de verificação de pagamento simples (SPV). Satoshi Nakamoto, de fato, descreveu a noção em seu whitepaper inicial. Eles são cruciais para dispositivos minúsculos que não conseguem baixar o blockchain completo, como telefones celulares.

Como o ZeroSync ajuda a trazer a tecnologia ZKPs para a rede Bitcoin?

Sistemas de prova do ZeroSync

Provas sucintas de conhecimento zero prometem inaugurar uma nova era de escalabilidade e privacidade do blockchain. Embora um esforço técnico significativo esteja sendo investido na comunidade Ethereum para implantar esta tecnologia, nenhum investimento desse tipo foi feito ainda para a rede Bitcoin. Como resultado, a ZeroSync foi fundada para apresentar esses mecanismos de prova ao Bitcoin pela primeira vez.

É computacionalmente dispendioso provar centenas de terabytes de história da blockchain, mas a nossa redução resulta numa prova altamente compacta. Depois que uma prova é criada, qualquer número de nós na rede pode utilizá-la para sincronizar rapidamente com a rede. As provas são concisas, independentemente do comprimento da cadeia. Cada provador pode estender progressivamente a prova da cadeia anterior quando o novo bloco for extraído.

ZeroSync está comprometida em implementar provas ZK concisas no blockchain Bitcoin, gerando provas ZK para a rede Bitcoin usando a prova de validade de prova de conhecimento transparente escalonável de conhecimento zero (zk-STARK) proprietária da StarkWare e sendo capaz de verificar instantaneamente o estado mais recente do blockchain sem baixar dados de bloco ou depender de terceiros. ZeroSync também usa a linguagem Cairo da StarkWare para construir provas de Bitcoin.

Os sistemas de prova complementam efetivamente a imutabilidade do Bitcoin. Eles permitem que a cadeia seja comprimida e complementada com novas estruturas de dados, como um compromisso definido UTXO, sem a necessidade de quaisquer modificações de consenso. Os usuários podem escolher se desejam utilizar bootstrapping de prova ou tradicional. Além da estrita camada de base do Bitcoin, os sistemas ZKP oferecem flexibilidade significativa e apresentam uma variedade de aplicações exclusivas para pesquisa.

Como o ZeroSync é implementado no Bitcoin?

ZeroSync fornece provas de cadeia em três estágios: provas de cadeia de cabeçalhos, provas de cadeia teoricamente válidas e provas de cadeia completa, as duas primeiras das quais ZeroSync finalizou protótipos.

A primeira evidência na qual a equipe ZeroSync está trabalhando, que já deve estar disponível, aborda a validade do cabeçalho do bloco. Ele verifica se cada bloco da cadeia satisfaz adequadamente o critério de dificuldade no momento e monitora cada ajuste de dificuldade para garantir que cada bloco corresponda ao objetivo correto. Isto também terá um impacto significativo na arquitetura da carteira de Verificação de Pagamento Simples (SPV).

A prova de headchain verifica apenas cabeçalhos de bloco, prova de trabalho e alterações de dificuldade, aumentada com uma árvore Merkle em todos os cabeçalhos de bloco para fornecer provas concisas de inclusão para todos os blocos e transações. Distingue-se pelo seu pequeno peso e baixo custo computacional.

Como o ZeroSync ajuda a trazer a tecnologia ZKPs para a rede Bitcoin?

A segunda prova concentra-se na validade real do conteúdo do bloco, porém, assim como a função Assume Valid do Bitcoin Core, ela não verifica a validade dos dados da testemunha.

Ele examinará e verificará os limites de tamanho das transações, as regras de inflação monetária e outros dados de testemunhas, mas não oferecerá garantia de que assinaturas, bloqueios de hash e outros dados de testemunhas estejam corretos. Por outro lado, esta prova usará Utreexo para incluir o UTXO estabelecido em cada altura de bloco no procedimento ZKP geral para a cadeia.

Como o ZeroSync ajuda a trazer a tecnologia ZKPs para a rede Bitcoin?

Finalmente, a prova final usará tanto o ZKP para os cabeçalhos dos blocos quanto o ZKP para Assume Valid para provar a validade de cada dado testemunha na cadeia histórica. Tecnicamente, um nó que emprega o sistema de prova final ZeroSync será capaz de inicializar com uma única prova e um conjunto UTXO com um modelo de verificação melhor que o Bitcoin Core por padrão.

Todas as regras de consenso do Bitcoin, incluindo informações de assinatura, são verificadas por meio do Full Chain Proof. Como resultado, as evidências serão bastante caras.

Além disso, a ZeroSync lançará um kit de ferramentas para desenvolvedores para ajudá-los a incorporar provas de conhecimento zero em seus negócios ou serviços. Cenários de aplicação específicos incluem, mas não estão limitados a, trocas de Bitcoin que divulgam a capacidade de pagamento aos seus clientes sem divulgar informações específicas de saldo ou histórico de transações; as provas podem transformar ou filtrar dados de blockchain e criar índices para consultas eficientes; as provas podem ser estendidas e personalizadas mais facilmente devido à sua capacidade de composição; nenhuma ou menos confiança Interoperabilidade entre cadeias e muito mais; vender dados comprovativos com pagamentos contingentes de conhecimento zero.

Como o ZeroSync ajuda a trazer a tecnologia ZKPs para a rede Bitcoin?

Em resumo, o ZeroSync não só permitirá a verificação rápida do estado da cadeia, mas também, idealmente, inaugurará uma mudança de paradigma na escalabilidade, interoperabilidade e privacidade do Bitcoin. É claro que ainda existem obstáculos em termos de melhoria da segurança e desempenho da prova, a fim de desenvolver uma prova Bitcoin de nível de produção.

Conclusão

ZeroSync acelera o processo de integração das tecnologias ZKP na camada primária do Bitcoin. No Bitcoin, um verificador de prova fornece uma série de novos recursos importantes, como acúmulos de validade, indexações bidirecionais sem confiança e privacidade completa das transações. Os ZKPs têm o potencial de ser uma ferramenta altamente poderosa para Bitcoin, mesmo que não estejam incluídos na camada de consenso ou sejam usados ​​para bloquear e gastar Bitcoin.

AVISO LEGAL: As informações neste site são fornecidas como comentários gerais do mercado e não constituem aconselhamento de investimento. Nós encorajamos você a fazer sua própria pesquisa antes de investir.

Junte-se a nós para acompanhar as novidades: https://linktr.ee/coincu

Harold

coincu Novidades

Como o ZeroSync ajuda a trazer a tecnologia ZKPs para a rede Bitcoin?

Pontos chave:

  • ZeroSync já criou um protótipo funcional que permite aos usuários autenticar o estado atual e o histórico de transações do blockchain Bitcoin sem ter que baixar a cadeia completa ou depender de terceiros.
  • Embora o protótipo possa validar as regras de consenso do Bitcoin, ele não pode validar assinaturas de transações.
  • ZeroSync leva a sugestão de Satoshi um passo adiante, confirmando transações usando evidências criptográficas, em vez de apenas confiar em nós honestos.
As provas de conhecimento zero (ZKPs) têm sido debatidas na comunidade criptográfica há mais de uma década. Até mesmo Satoshi Nakamoto estava ciente deles como algo primitivo que poderia ser explorado, e o conceito de incorporá-los ao Bitcoin foi explorado já em 2010, enquanto ainda estavam funcionando.
O que aconteceria se o Bitcoin implementasse provas de conhecimento zero? Como a rede Bitcoin se comunicaria com os usuários se o status da cadeia pudesse ser verificado rapidamente sem baixar dados de bloco ou dependendo de terceiros?
ZeroSync, uma iniciativa recém-anunciada, está liderando a criação de um sistema de prova de conceito Bitcoin.
Como o ZeroSync ajuda a trazer a tecnologia ZKPs para a rede Bitcoin?

A associação suíça sem fins lucrativos ZeroSync e a empresa de infraestrutura Bitcoin Blockstream anunciaram planos para transmitir provas de conhecimento zero do Bitcoin – um tipo de criptografia que emergiu como uma das tendências de tecnologia blockchain mais quentes do ano – do satélite da Blockstream, auxiliando no desenvolvimento de um futuro Bitcoin com propriedades como privacidade, interoperabilidade e escalabilidade.

O que é ZeroSync?

Três cientistas da computação alemães fundaram a Associação ZeroSync na Suíça para ajudar no dimensionamento do Bitcoin por meio do uso de provas de conhecimento zero (provas zk), uma abordagem criptográfica que cresceu em favor da cadeia concorrente Ethereum.

A criptografia é usada em provas de conhecimento zero para mostrar a validade das informações sem expor a informação em si. Utilizar uma prova zk para verificar o blockchain Bitcoin permite que os nós sincronizem imediatamente, em vez de precisar de horas (ou mesmo dias) para baixar os atuais 500 GB de dados da cadeia.

ZeroSync construiu um protótipo funcional em fevereiro deste ano que permite aos usuários autenticar o status (quem possui o que agora) e o histórico de transações do blockchain Bitcoin sem baixar a cadeia completa ou depender de terceiros.

O protótipo é capaz de validar regras de consenso do Bitcoin, mas não assinaturas de transações. Também é um pouco estranho e precisa ser ajustado para velocidade e segurança, por isso ainda não está pronto para o horário nobre, mas o principal é que funciona.

Geometry e StarkWare, duas empresas intimamente comprometidas com tecnologias de privacidade de conhecimento zero, estão financiando o desenvolvimento do ZeroSync. Tom Walton-Pocock, ex-CEO da Aztec Network, é o chefe de Geometria. O desenvolvimento inicial do ZeroSync foi financiado por uma bolsa de pesquisa. OnlyDust, o esforço de código aberto da StarkWare, também oferece fundos de desenvolvimento para o desenvolvimento.

Na blockchain do Bitcoin, sempre existiram clientes leves, também conhecidos como nós de verificação de pagamento simples (SPV). Satoshi Nakamoto, de fato, descreveu a noção em seu whitepaper inicial. Eles são cruciais para dispositivos minúsculos que não conseguem baixar o blockchain completo, como telefones celulares.

Como o ZeroSync ajuda a trazer a tecnologia ZKPs para a rede Bitcoin?

Sistemas de prova do ZeroSync

Provas sucintas de conhecimento zero prometem inaugurar uma nova era de escalabilidade e privacidade do blockchain. Embora um esforço técnico significativo esteja sendo investido na comunidade Ethereum para implantar esta tecnologia, nenhum investimento desse tipo foi feito ainda para a rede Bitcoin. Como resultado, a ZeroSync foi fundada para apresentar esses mecanismos de prova ao Bitcoin pela primeira vez.

É computacionalmente dispendioso provar centenas de terabytes de história da blockchain, mas a nossa redução resulta numa prova altamente compacta. Depois que uma prova é criada, qualquer número de nós na rede pode utilizá-la para sincronizar rapidamente com a rede. As provas são concisas, independentemente do comprimento da cadeia. Cada provador pode estender progressivamente a prova da cadeia anterior quando o novo bloco for extraído.

ZeroSync está comprometida em implementar provas ZK concisas no blockchain Bitcoin, gerando provas ZK para a rede Bitcoin usando a prova de validade de prova de conhecimento transparente escalonável de conhecimento zero (zk-STARK) proprietária da StarkWare e sendo capaz de verificar instantaneamente o estado mais recente do blockchain sem baixar dados de bloco ou depender de terceiros. ZeroSync também usa a linguagem Cairo da StarkWare para construir provas de Bitcoin.

Os sistemas de prova complementam efetivamente a imutabilidade do Bitcoin. Eles permitem que a cadeia seja comprimida e complementada com novas estruturas de dados, como um compromisso definido UTXO, sem a necessidade de quaisquer modificações de consenso. Os usuários podem escolher se desejam utilizar bootstrapping de prova ou tradicional. Além da estrita camada de base do Bitcoin, os sistemas ZKP oferecem flexibilidade significativa e apresentam uma variedade de aplicações exclusivas para pesquisa.

Como o ZeroSync é implementado no Bitcoin?

ZeroSync fornece provas de cadeia em três estágios: provas de cadeia de cabeçalhos, provas de cadeia teoricamente válidas e provas de cadeia completa, as duas primeiras das quais ZeroSync finalizou protótipos.

A primeira evidência na qual a equipe ZeroSync está trabalhando, que já deve estar disponível, aborda a validade do cabeçalho do bloco. Ele verifica se cada bloco da cadeia satisfaz adequadamente o critério de dificuldade no momento e monitora cada ajuste de dificuldade para garantir que cada bloco corresponda ao objetivo correto. Isto também terá um impacto significativo na arquitetura da carteira de Verificação de Pagamento Simples (SPV).

A prova de headchain verifica apenas cabeçalhos de bloco, prova de trabalho e alterações de dificuldade, aumentada com uma árvore Merkle em todos os cabeçalhos de bloco para fornecer provas concisas de inclusão para todos os blocos e transações. Distingue-se pelo seu pequeno peso e baixo custo computacional.

Como o ZeroSync ajuda a trazer a tecnologia ZKPs para a rede Bitcoin?

A segunda prova concentra-se na validade real do conteúdo do bloco, porém, assim como a função Assume Valid do Bitcoin Core, ela não verifica a validade dos dados da testemunha.

Ele examinará e verificará os limites de tamanho das transações, as regras de inflação monetária e outros dados de testemunhas, mas não oferecerá garantia de que assinaturas, bloqueios de hash e outros dados de testemunhas estejam corretos. Por outro lado, esta prova usará Utreexo para incluir o UTXO estabelecido em cada altura de bloco no procedimento ZKP geral para a cadeia.

Como o ZeroSync ajuda a trazer a tecnologia ZKPs para a rede Bitcoin?

Finalmente, a prova final usará tanto o ZKP para os cabeçalhos dos blocos quanto o ZKP para Assume Valid para provar a validade de cada dado testemunha na cadeia histórica. Tecnicamente, um nó que emprega o sistema de prova final ZeroSync será capaz de inicializar com uma única prova e um conjunto UTXO com um modelo de verificação melhor que o Bitcoin Core por padrão.

Todas as regras de consenso do Bitcoin, incluindo informações de assinatura, são verificadas por meio do Full Chain Proof. Como resultado, as evidências serão bastante caras.

Além disso, a ZeroSync lançará um kit de ferramentas para desenvolvedores para ajudá-los a incorporar provas de conhecimento zero em seus negócios ou serviços. Cenários de aplicação específicos incluem, mas não estão limitados a, trocas de Bitcoin que divulgam a capacidade de pagamento aos seus clientes sem divulgar informações específicas de saldo ou histórico de transações; as provas podem transformar ou filtrar dados de blockchain e criar índices para consultas eficientes; as provas podem ser estendidas e personalizadas mais facilmente devido à sua capacidade de composição; nenhuma ou menos confiança Interoperabilidade entre cadeias e muito mais; vender dados comprovativos com pagamentos contingentes de conhecimento zero.

Como o ZeroSync ajuda a trazer a tecnologia ZKPs para a rede Bitcoin?

Em resumo, o ZeroSync não só permitirá a verificação rápida do estado da cadeia, mas também, idealmente, inaugurará uma mudança de paradigma na escalabilidade, interoperabilidade e privacidade do Bitcoin. É claro que ainda existem obstáculos em termos de melhoria da segurança e desempenho da prova, a fim de desenvolver uma prova Bitcoin de nível de produção.

Conclusão

ZeroSync acelera o processo de integração das tecnologias ZKP na camada primária do Bitcoin. No Bitcoin, um verificador de prova fornece uma série de novos recursos importantes, como acúmulos de validade, indexações bidirecionais sem confiança e privacidade completa das transações. Os ZKPs têm o potencial de ser uma ferramenta altamente poderosa para Bitcoin, mesmo que não estejam incluídos na camada de consenso ou sejam usados ​​para bloquear e gastar Bitcoin.

AVISO LEGAL: As informações neste site são fornecidas como comentários gerais do mercado e não constituem aconselhamento de investimento. Nós encorajamos você a fazer sua própria pesquisa antes de investir.

Junte-se a nós para acompanhar as novidades: https://linktr.ee/coincu

Harold

coincu Novidades

Visitado 60 vezes, 1 visita(s) hoje