Expansão do Bitcoin DeFi enfrenta dilema de fork enquanto desenvolvedores exploram provas ZK

Desenvolvedores de Bitcoin buscam expandir o blockchain Finanças descentralizadasOs recursos (DeFi) provavelmente considerarão provas de conhecimento zero (ZK), funcionalidades que não estão disponíveis atualmente e que exigem um chamado soft fork, ou nova versão do software, para introduzi-las.

Isso é um problema, de acordoEdan Yago, um veterano do Bitcoin com mais de uma década e CORE colaborador do sistema operacional de contratos inteligentes BitcoinOS (BOS).

"Fazer um fork de uma blockchain, especialmente uma com US$ 2 trilhões em valor, é como uma cirurgia de coração aberto", disse Yago ao CoinDesk em uma entrevista. "Hard forks são obviamente muito mais problemáticos, mas acho que introduzir qualquer tipo de fork é arriscado."

Um garfo é ummudança no código de uma blockchain que necessita de uma divergência em um certo ponto para um caminho separado. Forks podem ser "soft", significando que versões mais antigas ainda podem interagir com a ONE, ou "hard", que torna versões mais antigas incompatíveis e requer que todos os usuários atualizem seus softwares.

As provas ZK são um método criptográfico de provar a validade de declarações, mantendo a Política de Privacidade por não revelar nenhuma informação sobre elas. A funcionalidade não está disponível no software do Bitcoin, mas poderia ser feita por meio de implementações propostas como OP_CAT e OP_CTV. Yago disse que os desenvolvedores devem ser capazes de encontrar maneiras de habilitá-los no Bitcoin sem qualquer tipo de bifurcação.

"O ônus da prova recai sobre os desenvolvedores, que devem demonstrar que não há outra maneira de fazer isso por meio de engenharia inteligente", disse ele.

É isso que a BOS espera alcançar com o BitSNARK, um Bitcoin protocolo de rollupque faz parte da família de paradigmas de computação que estão sendo desenvolvidos para escalar o blockchain original. Estes surgiram apósa introdução do BitVM por Robin Linus em outubro de 2023, que estabeleceu uma estrutura de como contratos inteligentes semelhantes ao Ethereum poderiam ser habilitados no Bitcoin.

O BitcoinOS agora temde código aberto o que Yago descreve como um protocolo BitSNARK "totalmente pronto para produção", o que significa que os desenvolvedores agora têm acesso à verificação ZK no Bitcoin e podem conectá-lo a outras blockchains como Ethereum, Solana e Cardano.

O BitSNARK permite que desenvolvedores peguem programas grandes e complexos e provem os resultados dos cálculos em apenas 300 bytes que podem ser verificados em transações padrão do Bitcoin . Isso pode abrir caminho para o BTCFi, um termo usado para DeFi no Bitcoin, por meio da habilitação de pontes entre cadeias, trocas descentralizadas e stablecoins lastreadas em Bitcoin (BTC).

Enquanto houvervários projetos buscando introduzir Finanças descentralizadas no Bitcoin, eles dependem do uso de códigos OP_CAT ou OP_CTV, que exigem um fork no software do blockchain. Yago quer chegar ao mesmo destino por uma rota diferente.