As provas de conhecimento zero desenvolvidas pela empresa de dimensionamento Ethereum StarkWare estão agora estreando na blockchain do Bitcoin.

A recém-lançada Associação ZeroSync está trazendo provas de conhecimento zero ( ZKPs ) para o Bitcoin (BTC), permitindo que os usuários validem o estado da rede sem a necessidade de baixar centenas de gigabytes de histórico de blockchain ou confiar em terceiros.

Para a primeira versão de seu software, a ZeroSync está usando Cairo, a linguagem de programação trazida à vida pela StarkWare, a empresa israelense que desenvolve soluções populares de escalonamento de camada 2 Ethereum StarkEx e StarkNet.

Para a primeira versão de seu software, a ZeroSync está usando Cairo, a linguagem de programação trazida à vida pela StarkWare, a empresa israelense que desenvolve soluções populares de escalonamento de camada 2 Ethereum StarkEx e StarkNet. https://decrypt.co/cryptocom/bitcoin

“O ZeroSync é a primeira tentativa de produção para atualizar radicalmente o protocolo Bitcoin”, disse Louis Guthmann, líder do ecossistema da StarkWare, ao Decrypt . “Isso transformaria a maneira como as pessoas pensam sobre o sistema em um nível fundamental.”

Comumente referido como zk-STARKs , a versão de ZKPs da StarkWare não requer a fase de configuração confiável potencialmente vulnerável, ao mesmo tempo em que afirma ser mais escalável e eficiente do que zk-SNARKs — uma iteração do ZKP usada, por exemplo, pela criptomoeda com foco em privacidade Zcash .

A StarkWare implantou inicialmente zk-STARKs exclusivamente na blockchain Ethereum , e vê-los entrar no ar no Bitcoin “é um próximo passo lógico”, de acordo com Uri Kolodny, CEO e cofundador da StarkWare Industries.

“Isso pode ter um efeito profundo em como os usuários do Bitcoin interagem com a rede”, disse Kolodny em um comunicado compartilhado com o Decrypt .

Sincronização de blockchain Bitcoin mais rápida

Para dar aos desenvolvedores de Bitcoin acesso fácil aos ZKPs, a ZeroSync está desenvolvendo um kit de desenvolvimento de software (SDK) que lhes permite gerar provas de validade personalizadas, dependendo dos casos de uso individuais.

Uma parte fundamental desse SDK é o cliente ZeroSync, que permite o download rápido do bloco inicial (IBD) e a implementação do primeiro consenso completo de proof-of-Bitcoin.

Sincronizar o blockchain do Bitcoin pode ser um processo doloroso, pois, dependendo da velocidade da sua conexão com a internet, o download do histórico de transações pode levar dias ou até semanas, com novos blocos adicionados a cada dez minutos em média.

De acordo com o ZeroSync, seu cliente pode ser usado não apenas para sincronizar um nó completo com muito mais rapidez, mas também sem a necessidade de fazer alterações de código no software Bitcoin Core.

A tecnologia também pode ser aplicada para comprimir o histórico de transações de protocolos de validação como o Taro , um protocolo para emissão de stablecoins na Lightning Network do Bitcoin , ou, por exemplo, para permitir que trocas de Bitcoin e serviços de custódia forneçam comprovação de reservas .

“Após anos de frustração com a sincronização lenta, os usuários poderão sincronizar com a rede muito mais rapidamente e com menos computação. É um salto tecnológico semelhante à transição de internet discada lenta para banda larga de alta velocidade”, disse o co-inventor da STARKs e presidente da StarkWare, Eli Ben-Sasson.

Enquanto a StarkWare, que financia a iniciativa junto com a Geometry Research, planeja manter seu foco no Ethereum, para Ben-Sasson pessoalmente esse desenvolvimento “fecha um círculo”.

O presidente da StarkWare relembrou uma conferência de Bitcoin realizada em 2013, onde ele teve “o momento ‘eureka’” reconhecendo que a criptografia que ele ajudou a inventar poderia mudar o blockchain.

“Mas ficou claro que a jornada precisava começar no Ethereum. Agora, exatamente dez anos depois, os STARKs provaram seu valor no Ethereum e estão indo para o Bitcoin, alcançando novos horizontes”, disse Ben-Sasson.