Os usuários de Bitcoin (BTC) em breve poderão usar provas de conhecimento zero (ZK-proofs) para agilizar o processo de verificação de blocos individuais e, eventualmente, todo o blockchain.
A ZeroSync Association, uma organização sem fins lucrativos com sede na Suíça, está desenvolvendo ferramentas que permitem aos usuários validar o estado da rede Bitcoin sem precisar baixar o blockchain ou confiar em terceiros para verificação.
A ZeroSync foi formada para desenvolver e manter software de código aberto que permite provas sucintas de ZK no blockchain do Bitcoin. O grupo usa as provas de validade do argumento de conhecimento transparente escalonável de conhecimento zero (zk-STARK) proprietárias da StarkWare para gerar provas ZK para a rede Bitcoin.
A ferramenta promete reformular o processo de verificação da blockchain do Bitcoin, que ainda exige que os operadores de nó baixem uma grande quantidade de dados para sincronizar o estado correto da rede Bitcoin.
ZeroSync está usando ZK-proofs para eventualmente gerar provas válidas e verificar o estado mais recente do blockchain quase instantaneamente.
ZK-proofs têm sido uma revelação para o ecossistema Ethereum, com vários métodos de prova alimentando várias plataformas de escalonamento de camada 2, incluindo Polygon, Arbitrum, Optimism e StarkNet.
Um anúncio da ZeroSync Association destaca a promessa de provas ZK para escalabilidade e privacidade de blockchain, fornecendo provas de tamanho quase fixo verificando grandes cálculos.
O trabalho do projeto é pioneiro na aplicação de ZK-proofs para a rede Bitcoin, com a organização descrevendo a relativa simplicidade do Bitcoin e o modelo Unspent Transaction Output (UTXO) como uma proposta de valor única para a aplicação de provas recursivas.
ZeroSync observa que as ferramentas ZK-Proof não requerem mudanças de consenso ou suposições de confiança adicionais para a rede Bitcoin e seus usuários. A organização está construindo um kit de desenvolvimento de software que permitirá aos desenvolvedores gerar provas de validade personalizadas para casos de uso específicos sem a necessidade de conhecimento profundo do domínio.
ZeroSync está em processo de construção de um cliente para download de bloco inicial rápido, bem como implementando a primeira prova completa do consenso Bitcoin. O cliente permitirá que os usuários sincronizem um nó completo sem fazer alterações de código no núcleo do Bitcoin.
ZeroSync está usando a linguagem de programação Cairo, pioneira da StarkWare, para criar programas STARK para cálculos.
A ferramenta do ZeroSync está atualmente em um estado de protótipo, mas tem a capacidade de provar a validade de blocos válidos individuais assumidos, que verificam todas as regras do Bitcoin, exceto os scripts. A equipe também possui um verificador de demonstração no navegador para provas STARK de blocos Bitcoin.
A ZeroSync Association foi inicialmente financiada pela Geometry e StarkWare, mas está estabelecendo uma entidade sem fins lucrativos para permitir o desenvolvimento e manutenção contínuos das partes interessadas na comunidade Bitcoin.
Uma declaração do presidente e cofundador da StarkWare, Eli Ben-Sasson, que co-inventou o zk-STARKS, resumiu a magnitude das provas de ZK chegando ao ecossistema Bitcoin:
“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 da internet discada lenta para a banda larga de alta velocidade.”
Lightning Labs, a equipe por trás do sistema de pagamento Bitcoin camada 2 Lightning Network, é um parceiro colaborador do projeto da ZeroSync.
A empresa pretende usar o ZeroSync para alimentar provas de histórico de transações compactadas para seu protocolo Taproot Asset Representation Overlay (Taro), que visa alimentar a emissão de ativos digitais na blockchain do Bitcoin.