De acordo com a CoinDesk, os desenvolvedores de Bitcoin estão explorando a integração de provas de conhecimento zero (ZK) para aprimorar os recursos de finanças descentralizadas (DeFi) do blockchain. Essa funcionalidade não está disponível no momento e exigiria um soft fork, ou uma nova versão do software, para ser introduzida. Edan Yago, um experiente especialista em Bitcoin e principal colaborador do sistema operacional de contrato inteligente BitcoinOS (BOS), expressou preocupações sobre a complexidade de implementar tais mudanças.
Yago comparou o processo de bifurcação de uma blockchain, especialmente uma com uma avaliação de US$ 2 trilhões, à realização de uma cirurgia de coração aberto. Ele enfatizou que, embora hard forks sejam mais desafiadores, qualquer fork introduz riscos significativos. Um fork envolve alterar o código de uma blockchain, levando a uma divergência para um caminho separado. Soft forks permitem que versões mais antigas interajam com a nova, enquanto hard forks tornam as versões mais antigas incompatíveis, exigindo que todos os usuários atualizem seus softwares.
Provas ZK são uma técnica criptográfica que valida declarações enquanto preserva a privacidade ao não revelar nenhuma informação. Embora o software do Bitcoin atualmente não tenha essa funcionalidade, implementações propostas como OP_CAT e OP_CTV poderiam introduzi-la. Yago acredita que os desenvolvedores devem encontrar maneiras de habilitar provas ZK no Bitcoin sem recorrer a nenhuma bifurcação. Ele afirmou que o ônus está nos desenvolvedores para provar que métodos alternativos não podem atingir isso por meio de engenharia inovadora.
O BitcoinOS visa atingir isso por meio do BitSNARK, um protocolo de rollup do Bitcoin projetado para escalar o blockchain original. Este desenvolvimento segue a introdução do BitVM por Robin Linus em outubro de 2023, que delineou uma estrutura para habilitar contratos inteligentes semelhantes ao Ethereum no Bitcoin. O BitcoinOS tornou público o que Yago descreve como um protocolo BitSNARK "totalmente pronto para produção", concedendo aos desenvolvedores acesso à verificação ZK no Bitcoin e facilitando conexões com outros blockchains como Ethereum, Solana e Cardano.
O BitSNARK permite que os desenvolvedores executem programas grandes e complexos e verifiquem os resultados de cálculos em apenas 300 bytes dentro de transações padrão do Bitcoin. Esse avanço pode abrir caminho para o BTCFi, um termo para DeFi no Bitcoin, ao habilitar pontes entre cadeias, trocas descentralizadas e stablecoins lastreadas em bitcoin (BTC). Apesar de vários projetos visando introduzir DeFi no Bitcoin usando códigos OP_CAT ou OP_CTV, que exigem um fork de blockchain, Yago busca atingir o mesmo objetivo por meio de métodos alternativos.
