A recém-formada ZeroSync Association traz provas de conhecimento zero para o Bitcoin

Três cientistas da computação alemães criaram uma organização sem fins lucrativos suíça chamadaAssociação ZeroSync para ajudar a dimensionar o Bitcoin usando provas de conhecimento zero (zk-proofs), uma técnica criptográfica que tem explodiu em popularidade na cadeia rival Ethereum.

Provas de conhecimento zero usam criptografia para provar a validade das informações sem revelar as informações em si. Usar uma prova zk para validar o blockchain do Bitcoin significa que os nós podem sincronizar quase instantaneamente em vez de levar horas (e às vezes dias) para baixar a corrente da cadeia 500 GBde dados.

A ZeroSync já produziu um protótipo funcional que permite aos usuários validar o estado (quem possui o quê agora) e o histórico de transações do blockchain do Bitcoin sem baixar a cadeia inteira ou confiar em terceiros.

O protótipo pode verificar regras de consenso do Bitcoin , mas não assinaturas de transações. Ele também é um BIT desajeitado e ainda precisa ser otimizado para velocidade e segurança, então ainda não está pronto para o horário PRIME , mas o importante é que funciona.

“Está muito no estágio de protótipo”, disse o cofundador da ZeroSync, Robin Linus, à CoinDesk. “Mas a grande visão é que você baixe ONE megabyte de prova e isso é tão bom quanto se você tivesse baixado os 500 gigabytes.”

Clientes leves ou nós de verificação de pagamento simples (SPV) sempre existiram no blockchain do Bitcoin . Na verdade, Satoshi Nakamoto mencionou o conceito em o white paper do Bitcoin. Eles são essenciais para dispositivos pequenos, como celulares, que T conseguem baixar o blockchain inteiro.

“É possível verificar pagamentos sem executar um nó de rede completo”, escreveu Satoshi. “A verificação é confiável enquanto nós honestos controlam a rede, mas é mais vulnerável se a rede for dominada por um invasor.”

O ZeroSync vai um passo além ao verificar transações por meio de prova criptográfica, em vez de simplesmente confiar em nós honestos, como sugerido por Satoshi.

“Você T precisa confiar. Esse é o ponto principal”, disse Linus. “A prova prova isso para você. Essa é a grande invenção.”

Um mecanismo zk-proof totalmente funcional pode ser usado para habilitar uma ampla gama de aplicações fora do caso de uso de sincronização de nó principal. A ZeroSync criou um kit de ferramentas para desenvolvedores para habilitar aplicações como prova de reservas em trocas e compressão de histórico de transações em protocolos de segunda camada como o Lightning Labs.Taro.

Linus e o cofundador Lukas George uniram forças em julho para trabalhar na implementação de uma prova de cadeia completa do blockchain do Bitcoin depois que a tese de graduação de George sobre a implementação de uma prova dos cabeçalhos do Bitcoin chamou a atenção de Pesquisa em Geometria.

Posteriormente, a equipe adicionou Tino Steffens à mistura; todos os três cofundadores têm formação em ciência da computação.

Linus estava morando em Santa Teresa, uma remota cidade litorânea na Península de Nicoya, na Costa Rica, que tem um caixa eletrônico com toque de recolher às 22h. Isso deixou Linus louco e o forçou a pesquisar métodos de pagamento alternativos. Ele tropeçou no Bitcoin, fez amizade com o respeitado “feiticeiro do Bitcoin ” Ruben Somsen(que cunhou o termo “ZeroSync”), e o resto, como dizem, é história.

“A partir daí, comecei a Aprenda mais e mais sobre criptografia”, disse Linus. “Desenvolvi algumas habilidades ao longo do tempo e então Ruben me recomendou à Geometry Research. Eles me ofereceram a oportunidade de construir Provas STARK para Bitcoin e foi assim também que entrei em contato com Lucas.”