Na última semana, o Bitcoin alcançou um marco técnico revolucionário, que promete transformar a rede sem a necessidade de hard forks em seu código. Desenvolvedores do BitcoinOS anunciaram a verificação bem-sucedida de uma prova de conhecimento zero (ZKP) na rede principal do Bitcoin, um feito histórico realizado em uma série de transações on-chain, culminando no bloco 853626 do Bitcoin.
O BitcoinOS, um projeto que visa construir uma “supercamada” de rollups interoperáveis e sem confiança no Bitcoin, conseguiu realizar o que muitos consideravam impossível. Rollups são blockchains de camada 2 que possibilitam transações mais rápidas, baratas e programáveis, que são posteriormente liquidadas em uma cadeia de camada 1 mais segura.
Este avanço foi apresentado ao público no Bitcoin 2024 em Nashville, onde os desenvolvedores demonstraram a viabilidade dos ZKPs no Bitcoin.
Os ZKPs são fundamentais para o funcionamento dos rollups, pois permitem provar que informações off-chain são verdadeiras sem revelar as próprias informações. Esta tecnologia, embora já central para a escalabilidade da rede Ethereum, foi amplamente desconsiderada no contexto do Bitcoin devido a limitações técnicas percebidas. A implementação dos ZKPs pelo BitcoinOS oferece uma alternativa mais robusta e segura em comparação às soluções de escalabilidade atuais, como as sidechains e a Lightning Network.
Bitcoin
Durante a apresentação ao vivo, a equipe do BitcoinOS demonstrou que os ZKPs podem ser usados para criar covenants — pagamentos condicionais que só podem ser executados com a prova correta. Isso é crucial para construir uma ponte Bitcoin descentralizada, um objetivo que muitos acreditavam que exigiria um soft fork no código do Bitcoin. Este avanço posiciona o Bitcoin como uma base extremamente confiável e permanente, essencial para serviços financeiros descentralizados e produtos de investimento de longo prazo.
A comunidade de desenvolvedores de Bitcoin tem enfrentado desafios com soluções subótimas de escalabilidade, como as sidechains e a Lightning Network, que apresentam limitações significativas. Edan Yago, principal colaborador do BitcoinOS, criticou a Lightning Network como uma solução superestimada e inadequada para muitas aplicações. Ele destacou que soft forks introduzem riscos desnecessários e fricções na comunidade de usuários, enfraquecendo a estabilidade da rede.
O cofundador do Ethereum, Vitalik Buterin, elogiou os ZKPs como uma solução que poderia ter aliviado as tensões nas guerras de tamanho de bloco do Bitcoin. Ele afirmou que a tecnologia ZKP poderia fornecer soluções de escala de camada 2 que satisfazem todas as partes envolvidas, criando um ambiente mais harmonioso para o desenvolvimento da rede.
