Os usuários de Bitcoin em breve poderão usar provas de conhecimento zero (provas ZK) para acelerar o processo de validação de blocos individuais e, eventualmente, de todo o blockchain.
A ZeroSync Association, uma organização sem fins lucrativos com sede na Suíça, está desenvolvendo uma ferramenta que permitiria aos usuários verificar o estado da rede Bitcoin sem ter que baixar o blockchain ou confiar em terceiros para verificação.
ZeroSync foi fundada para desenvolver e manter software de código aberto para permitir provas concisas de ZK no blockchain Bitcoin. A equipe usou a prova de validade do Argumento Transparente Escalável de Conhecimento Zero (zk-STARK) proprietário da StarkWare para gerar provas ZK para a rede Bitcoin.
A ferramenta promete revolucionar o processo de validação da blockchain Bitcoin, que ainda exige que os operadores de nós baixem grandes quantidades de dados para sincronizar o estado correto da rede Bitcoin.
ZeroSync usa provas ZK para gerar provas válidas e verificar o estado mais recente do blockchain quase instantaneamente.
As provas ZK foram uma revelação para o ecossistema Ethereum, com vários métodos de prova alimentando múltiplas plataformas de escalonamento de camada 2, incluindo Polygon, Arbitrum, Optimism e StarkNet.
Um anúncio da ZeroSync Association ressalta o compromisso das provas ZK com a escalabilidade e privacidade do blockchain, fornecendo provas de “tamanho quase fixo” para verificar grandes cálculos.
O trabalho do projeto foi pioneiro no uso de provas ZK na rede Bitcoin, e o grupo descreve a relativa simplicidade e o modelo de saída de transação não gasta (UTXO) do Bitcoin como propostas de valor exclusivas para a aplicação de provas recursivas.
ZeroSync observou que a ferramenta ZK-Proof não requer mudanças de consenso ou suposições de confiança adicionais na rede Bitcoin e em seus usuários. A organização está construindo um kit de desenvolvimento de software que permite aos desenvolvedores gerar provas de validade personalizadas para casos de uso específicos sem exigir profundo conhecimento do domínio.
ZeroSync está construindo um cliente para downloads rápidos de blocos iniciais, bem como implementando a primeira prova completa do consenso do Bitcoin. O cliente permitirá que os usuários sincronizem nós completos sem fazer alterações no código Bitcoin Core.
ZeroSync usa a linguagem de programação Cairo pioneira da StarkWare para criar programas computacionais comprováveis STARK.
A ferramenta ZeroSync está atualmente em estado de protótipo, mas é capaz de provar a validade de um único bloco supostamente válido, validando todas as regras do Bitcoin, exceto scripts. A equipe também tem um validador de demonstração no navegador disponível para provas STARK de blocos Bitcoin.
A ZeroSync Association é inicialmente financiada pela Geometry e StarkWare, mas está sendo estabelecida como uma entidade sem fins lucrativos para apoiar o desenvolvimento e manutenção contínuos pelas partes interessadas da comunidade Bitcoin.
O presidente e cofundador da StarkWare, Eli Ben-Sasson, que co-inventou o zk-STARKS, resumiu a importância das provas ZK entrando no ecossistema Bitcoin em um comunicado:
"Depois de ficarem frustrados com as sincronizações lentas, os usuários poderão sincronizar com a rede mais rapidamente e com menos cálculos. Este é um salto tecnológico semelhante à mudança da Internet discada lenta para a banda larga de alta velocidade."
Lightning Labs, a equipe por trás do sistema de pagamento Layer 2 Lightning Network do Bitcoin, é um parceiro contribuinte para o projeto ZeroSync.
A empresa pretende usar ZeroSync para fornecer prova de histórico de transações compactadas para seu protocolo Taproot Asset Representation Overlay (Taro), que foi projetado para potencializar a emissão de ativos digitais no blockchain Bitcoin.