De acordo com a Blockworks, o Bitcoin atualmente carece de redes verdadeiras de camada 2 semelhantes às do Ethereum, principalmente porque as soluções de escalonamento existentes não herdam o modelo de segurança do Bitcoin. Os rollups Ethereum que postam dados de transação na rede principal Ethereum alavancam diretamente sua segurança, garantindo que a execução correta das transações nessas camadas seja protegida pelos mesmos mecanismos que protegem a camada base. Em contraste, as soluções de “camada 2” do Bitcoin, como Liquid Network e Rootstock (RSK), são tecnicamente sidechains. Eles operam independentemente do Bitcoin, usando seu próprio conjunto de validadores ou mineradores. Embora possam compartilhar taxas de hash de mineração ou instantâneos de pontos de verificação no Bitcoin, eles oferecem fundamentalmente um nível diferente de segurança. Inovações como o BitVM podem melhorar a ponte de confiança minimizada do Bitcoin, mas para permitir soluções genuínas de camada 2 no Bitcoin, são necessárias atualizações de protocolo. Essas atualizações introduziriam acordos – mecanismos que restringem como o BTC pode ser gasto – que permitiriam uma interoperabilidade segura e com confiança minimizada e permitiriam que o Bitcoin suportasse uma infraestrutura robusta de camada 2 semelhante à do Ethereum.

StarkWare descreveu um marco significativo na quarta-feira ao verificar com sucesso a primeira prova de conhecimento zero usando seu novo verificador STARK na rede de teste do Bitcoin, Signet. Esta conquista segue três meses de pesquisa sobre o potencial do OP_CAT, uma dessas propostas de atualização do Bitcoin. O verificador da StarkWare, desenvolvido em colaboração com Weikeng Chen da empresa de risco L2 Iterative, é a primeira aplicação prática em grande escala deste opcode, disse a StarkWare em um comunicado. Ele demonstra potencial para apoiar o desenvolvimento de soluções de camada 2 baseadas em zk para Bitcoin. “Esse tipo de metodologia de verificação é completamente diferente do que já está sendo explorado por outras soluções de escalonamento na rede Bitcoin porque não requer o uso de provas de fraude ou vivacidade”, disse a empresa, acrescentando que o código do verificador foi publicado via Github.

Chen observou que a pesquisa foi pioneira. “Começamos do nada. Não há informações sobre provas zk no Bitcoin ou as operações matemáticas necessárias. Tivemos que construir a pilha completa que levaria à implementação do verificador STARK”, disse ele. O novo verificador emprega Circle STARKs – provas criptográficas que aceleram significativamente o processo de prova. Eles também serão usados ​​no provador STARK de próxima geração da StarkWare, Stwo. A demonstração atual apenas verifica a solução para um problema matemático discreto: o 32º número na sequência quadrada de Fibonacci – ou 21.783.0922 – mas a equipe planeja seguir em frente para demonstrar uma ampla gama de cálculos que poderiam, em última análise, formar a base de um cálculo virtual. máquina. Até então, os detentores de Bitcoin que desejam participar do DeFi podem fazê-lo por meio de uma série de outras abordagens destinadas a levar o BTC para outras redes, cada uma com suas próprias compensações.