As soluções de segunda camada baseadas em tecnologia ZK podem estar chegando ao bitcoin com John Light da Fundação de Direitos Humanos ZK-Rollup Research Fellowship, apresentando uma proposta que chamou a atenção de alguns desenvolvedores de bitcoin.
Em uma longa visão geral dos rollups de validade e como eles podem ser implementados na linguagem de script muito limitada do bitcoin, Light primeiro resume de maneira útil quais são essas invenções ainda muito novas:
“Um rollup é um blockchain que armazena a raiz do estado e pelo menos dados de transação suficientes para recalcular o estado atual da gênese dentro do bloco de um blockchain 'pai' diferente, enquanto muda a execução da transação 'offchain' para uma rede de nós separada.”
Os rollups de validade contêm dados suficientes na cadeia para “provas de validade” para garantir que os novos blocos de rollup sigam as regras do protocolo de rollup.
Essas provas são criadas através da tecnologia ZK, hoje em dia principalmente STARKs e, portanto, você obtém um método de compactação onde pode concluir, digamos, 100x transações nesta segunda camada, com a grande maioria da segurança da camada base, e tudo se traduz em apenas uma transação na cadeia.
Isso tem benefícios significativos de usabilidade em relação a algo como a Lightning Network, porque você não precisa de coisas como garantias, roteadores etc., basta depositar no rollup.
Para transferências simples, eles foram amplamente implementados no ethereum, onde agora estão trabalhando em máquinas virtuais Ethereum inteiras baseadas em zk, com a esperança de que, eventualmente, a solução ZK possa ser aplicada à própria camada base.
No bitcoin, no entanto, não houve muito trabalho até esta primavera, quando Trey Del Bonis, um desenvolvedor de bitcoin, publicado exemplos de código de como rollups de validade podem ser implementados em bitcoin. Leve diz:
“Seria possível construir um rollup de validade no bitcoin usando a linguagem de programação Turing incompleta nativa do bitcoin, Script, com alterações relativamente pequenas (em termos de pegada de código) nos opcodes que o Script suporta…
De acordo com Del Bonis, as mudanças necessárias para suportar rollups de validade no bitcoin são alguns opcodes extras que permitem as duas principais primitivas de seu projeto de rollup – verificação de prova de validade e convênios recursivos…
Os convênios recursivos são um tipo de contrato inteligente que restringe o tipo de script para o qual o BTC pode ser enviado assim que for gasto.
Del Bonis usa convênios recursivos para propagar a construção de rollup com cada atualização de estado, garantindo que o BTC que está bloqueado em um script de rollup e não tenha sido retirado por seu proprietário ainda permaneça no script de uma atualização de estado de rollup para a próxima.
Depois que o proprietário do BTC no rollup confirmar uma transação de retirada válida no rollup, ele poderá sair do script de pacto recursivo com seu BTC para o endereço de retirada L1 especificado.
Os convênios recursivos são uma mudança no Script que há muito é considerada pela comunidade bitcoin. No entanto, atualmente não há propostas específicas que tenham alcançado amplo consenso entre a comunidade de desenvolvedores de bitcoin para implementar acordos recursivos.”
Conceitualmente, isso parece simples. Os contratos recursivos tratam da parte de travamento, ou transferência de fundos dentro e fora do rollup, enquanto algumas outras alterações são necessárias para que as provas sejam integradas.
Bitcoin, no entanto, é notoriamente lento para mudar, mas Light diz que a proposta é totalmente compatível com o ethos do bitcoin, dizendo à lista de discussão dos desenvolvedores de bitcoin:
“Os rollups de validade têm o potencial de melhorar a escalabilidade, privacidade e programabilidade do bitcoin sem sacrificar os valores centrais ou a funcionalidade do bitcoin como um sistema de dinheiro eletrônico ponto a ponto.
Dada a natureza 'sem confiança' dos rollups de validade como extensões criptograficamente seguras de sua cadeia pai, e dado o status do bitcoin como a camada de liquidação mais segura, pode-se até dizer que esses protocolos são uma _correspondência perfeita_ um para o outro.”
Eles não exigem largura de banda ou armazenamento extra, fornecendo escalabilidade sem compensações notáveis.
Sua implementação no bitcoin, no entanto, provavelmente será muito lenta, com Light sugerindo:
“O projeto sidechain Elements (e o blockchain Liquid que é baseado em Elements) ainda não tem suporte para as provas de validade necessárias para suportar um rollup de validade, mas tem suporte para convênios recursivos.
A implementação de suporte para provas de validade no Elements, juntamente com algumas das outras mudanças que Del Bonis identificou como agradável, poderia, portanto, ser um caminho para testar um protocolo de rollup de validade que, em última análise, deve ser implantado no bitcoin.”
Liquid é mantido pela Blockstream com Greg Sanders dessa Blockstream declarando na discussão da lista de discussão:
“Existe uma folha de dicas de uma página de 'pedidos' para introspecção de transações/OP_ZKP(?) e seus usos separadamente e juntos para diferentes arquiteturas de rollup?”
O Op_ZKP não existe, e talvez seja por isso que ele colocou o ponto de interrogação, mas a pergunta pode indicar que, embora conceitualmente pareça fácil, implementar isso na linguagem de script bitcoin muito limitada provavelmente não será nada fácil.
Até porque seria um desenvolvimento de ponta, embora não seja completamente original, pois os desenvolvedores do ethereum trabalham nesses sistemas zk desde 2019.
O transporte que agora atingiu o ponto em que o esqueleto foi definido para o bitcoin. A implementação completa, no entanto, pode demorar algum tempo.
Fonte: https://www.trustnodes.com/2022/10/12/validity-rollups-proposed-for-bitcoin