O BitcoinOS (BOS) tornou o BitSNARK de código aberto, um protocolo de verificação de prova de conhecimento zero (ZKP) que permite que zk-SNARKs operem no blockchain sem alterar seu protocolo principal. Este desenvolvimento introduz um dos primeiros ZKP sistemas na rede principal do Bitcoin, potencialmente transformando suas capacidades de privacidade, escalabilidade e funcionalidade de contrato inteligente.
BitSNARK permite verificação direta de provas zk-SNARK na rede principal do Bitcoin. Em julho, BOS verificou a primeira prova ZK no Bitcoin no Bloco 853626. O código aberto do BitSNARK v0.1 fornece aos desenvolvedores ferramentas para implementar provas criptográficas avançadas no Bitcoin, abrindo caminho para aplicativos descentralizados e recursos de privacidade aprimorados.
Edan Yago, CEO e cofundador da BOS, declarou que ela transforma o Bitcoin em uma plataforma completa de contrato inteligente. “O Bitcoin entrou no chat”, disse Yago, enfatizando a importância de trazer criptografia avançada e funcionalidade cross-chain para a rede Bitcoin.
O BitSNARK abre o Bitcoin para trocas atômicas descentralizadas, transferências entre cadeias e indexação bidirecional, permitindo a interoperabilidade com outras blockchains e a execução de contratos inteligentes que preservam a privacidade. O protocolo emprega incentivos econômicos para garantir a honestidade entre os participantes, evitando que atores maliciosos comprometam o processo de verificação.
Provas ZK sobre Bitcoin até agora
Enquanto outros projetos fizeram progressos em trazer provas de conhecimento zero para o Bitcoin, a implementação da rede principal do BitSNARK o diferencia. StarkWare, por exemplo, verificou uma prova ZK na rede de testes Signet do Bitcoin em junho de 2024, visando melhorar a escalabilidade do Bitcoin usando a tecnologia STARK e um soft fork OP_CAT chamado. O projeto ZeroSync é em desenvolvimento um cliente leve de conhecimento zero para Bitcoin usando um possível código OP_ZKP OP, mas ainda precisa implementar a verificação da mainnet.
O CTO da Ledger, Charles Guillemet, defente avanços como OP_CAT ou outras abordagens inovadoras para validar provas ZK on-chain para Bitcoin, sugerindo que tais avanços poderiam aprimorar soluções de camada 2 e reduzir a confiança no processamento off-chain. A abordagem da BitSNARK potencialmente se alinha com essas perspectivas ao oferecer verificação ZK sem alterar o protocolo principal.
Assim, outros métodos de trazer ZKPs para a camada principal do Bitcoin exigem principalmente desenvolvimentos adicionais, o que levará tempo, dada a resistência da rede a mudanças por design. O BitSNARK aborda esses desafios ao habilitar a verificação de ZK sem necessitar de mudanças no protocolo principal do Bitcoin. Essa abordagem permite funcionalidade aprimorada, preservando os princípios de descentralização e segurança do Bitcoin.
Como o BitSNARK se compara a outras soluções ZKP no Bitcoin
O BitSNARK difere de outras abordagens porque permite a verificação na rede principal do Bitcoin sem exigir um soft fork. Isso posiciona o BitSNARK como um marco potencialmente significativo na evolução tecnológica do Bitcoin, oferecendo um caminho viável para privacidade e escalabilidade aprimoradas.
BitSNARK usa a Grail Bridge e a Merkle Mesh. A Grail Bridge é uma ponte descentralizada de cadeia cruzada que alavanca zk-SNARKs e o BitSNARK Verification Protocol para transferências de ativos seguras e confiáveis entre Bitcoin e outros blockchains. A Merkle Mesh foi projetada para lidar com muitas verificações zk-SNARK descentralizadas em escala, melhorando o desempenho da rede.
Ao tornar o BitSNARK de código aberto, o BOS visa promover maior compreensão e experimentação dentro do ecossistema Bitcoin. Essa iniciativa permite que os desenvolvedores criem aplicativos que alavancam a segurança do Bitcoin enquanto introduzem funcionalidades tradicionalmente associadas a outras plataformas de blockchain.
O BitcoinOS é originário do Sovryn comunidade de finanças descentralizadas e recebeu suporte de investidores como Galaxy Digital e General Catalyst. Esse histórico fornece experiência e insights valiosos, representando uma mudança em direção à consolidação de diversas funcionalidades de blockchain na rede Bitcoin.
Ao habilitar funcionalidades avançadas, como transações que preservam a privacidade e contratos inteligentes diretamente no Bitcoin por meio de rollups, o BitcoinOS visa desbloquear o potencial do Bitcoin para transações seguras e de alto rendimento, preservando a descentralização e a resiliência da rede.