GOAT lançou a Testnet ZK Rollup em tempo real: novas possibilidades de rendimento nativo em BTC?

Vimos que a rede GOAT lançou a sua Testnet baseada na tecnologia BitVM2, onde há uma implementação que merece ser seguida: a prova em tempo real do ZK Rollup de Bitcoin. Esta implementação permite provas ZK Rollup rápidas, o que é um desenvolvimento importante para a infraestrutura do BTC L2. Em termos de experiência do usuário, haverá um grande aumento na eficiência em relação ao tempo de retirada, o que ajudará a atrair mais desenvolvedores e a atenção dos usuários.

Então, como podemos entender isso tecnicamente de forma simples?

Primeiro, vamos dar uma olhada no processo de implementação da L2 do Bitcoin na rede GOAT. A rede GOAT é uma solução baseada na L2 do Bitcoin, que utiliza as tecnologias BitVM2 e zkMIPS, suportando a geração de rendimentos nativos em BTC (ou seja, os participantes têm a oportunidade de ganhar mais BTC). O processo inclui principalmente a ponte de entrada (Bridge in), a ponte de saída (Bridge out), o compromisso do sequenciador (Sequencer Set Commitment) e o processamento de reembolso (Reimbersement). A ponte de entrada consiste em garantir BTC em um script taproot (sem chave privada controlada), onde o intermediário o submete ao contrato da Goat. O comitê constrói o fluxo de transações BitVM2, o operador pré-assina e armazena no IPFS, após a verificação do usuário, o intermediário emite PegBTC na L2; a ponte de saída é a retirada, onde o usuário realiza uma transação atômica com o operador (o usuário também pode ser o operador, caso não queira, pode concluir a retirada através do operador), destruindo o PegBTC na L2, e o operador inicia o processamento do reembolso, sem necessidade de realizar a transação Peg-OUT na cadeia principal do BTC. O compromisso do sequenciador refere-se principalmente ao comitê que usa regularmente uma árvore Merkle para comprometer o conjunto futuro de sequenciadores, suportando a validação do mecanismo de cliente leve do Bitcoin. A validação através do mecanismo de cliente leve utiliza o conjunto de validadores comprometido no BTC como entrada pública para a validação da prova de zero conhecimento posterior, a fim de realizar a validação da consensualidade dos blocos da L2. O processamento de reembolso exige que o operador garanta BTC e submeta o ID da transação de retirada e o hash do último bloco. O desafiador realiza a validação off-chain e on-chain, caso não haja desafios, o operador recebe os fundos. O desafiador também pode apresentar um desafio, e após o surgimento do desafio, um validador é escolhido aleatoriamente, que pode realizar a validação interativa através de scripts do Bitcoin. O período de desafio é reduzido para cerca de 1 dia (aproximadamente 144 blocos btc), comprimindo o tempo necessário para a finalização. Além disso, utiliza um sequenciador descentralizado, onde o operador garante BTC para participar, e os custos de gás da L2, entre outros, geram rendimentos nativos em BTC.

Abaixo, vamos falar sobre a prova em tempo real do ZK Rollup, começando pela sua tecnologia Rollup. A rede GOAT irá agrupar várias transações L2 em lotes (Batch), executando-as fora da cadeia para gerar uma prova ZK, que será verificada através da cadeia principal do Bitcoin (como a verificação na fase Assert/Disprove do BitVM2), e a vantagem da prova ZK é que não é necessário enviar todos os detalhes das transações; além disso, ao contrário do zksync ou Starknet do Ethereum, a Goat utiliza scripts Taproot do Bitcoin e outros mecanismos nativos para ancorar atualizações de estado, evitando assim depender de pontes externas ou mecanismos de múltiplas assinaturas.

Então, após entender brevemente a sua tecnologia Zk Rollup, vamos dar uma olhada no mecanismo de prova em tempo real. De acordo com a documentação da rede GOAT, a geração de provas em tempo real utiliza o motor zkMIPS, implementando uma arquitetura de prova em paralelo por pipeline + uma rede de provadores GPU distribuída para realizar a geração rápida das provas. Primeiro, a geração de provas de bloco, utilizando técnicas de fragmentação de trajetória de execução e prova paralela, para verificar se a conversão de estado do Rollup está correta; em segundo lugar, a prova agregada, que realiza uma compressão recursiva de várias provas de bloco; por fim, a prova SNARK (Groth16), comprimida em uma prova de pequeno volume verificável no BitVM2.

Para alcançar a prova em tempo real, a geração de provas mencionada acima não é tratada de forma sequencial, mas sim através de um mecanismo de processamento paralelo em pipeline, que depende principalmente da tecnologia zkVM "Ziren" da ZKM, juntamente com aceleração por GPU e uma rede de provadores distribuída. De acordo com os dados atuais do site oficial da sua Testnet, a prova de bloco leva em média cerca de 2,6 segundos, a prova agregada leva em média 2,7 segundos e a prova SNARK leva cerca de 10,38 segundos. Os usuários podem visualizar em tempo real todo o processo de geração de provas ZK de cada retirada através da página da interface.

Se a prova ZK puder ser concluída em menos de 1 minuto, isso significa que a velocidade de retirada do usuário será muito acelerada. Algumas retiradas de redes L2 de Bitcoin anteriormente precisavam esperar várias horas para serem iniciadas. Com a prova rápida, os usuários podem iniciar retiradas logo após a geração da prova, ou seja, em menos de 1 minuto, os usuários podem solicitar retiradas. Claro, o tempo final para que os usuários recebam o dinheiro ainda depende da situação das transações na rede principal do Bitcoin. Mas, em termos de retirada, não é mais necessário esperar, ou seja, a experiência de tempo para iniciar uma transação na cadeia do Bitcoin é praticamente a mesma.

Além de saques, a prova em tempo real também impulsionará os desenvolvedores a construir aplicações L2 de alta frequência. Além disso, a compatibilidade com EVM também pode atrair desenvolvedores do ecossistema Ethereum; para os operadores, não há necessidade de esperar pela emissão em massa, o que pode aumentar a eficiência do capital. A tecnologia ZK é relativamente complexa e a segurança a longo prazo também precisa de um tempo para ser provada. No entanto, a implementação da prova em tempo real é um importante avanço na infraestrutura técnica para o Bitcoin L2. Claro, atualmente o Bitcoin L2 ainda tem um longo caminho a percorrer; além da construção da infraestrutura técnica, também precisa fazer mais esforços na identificação das necessidades dos usuários e na promoção da construção de aplicações Bitcoin L2 pelos desenvolvedores, pois, em última análise, quando o ecossistema Bitcoin L2 estiver em funcionamento, haverá taxas de transação suficientes para realizar o crescimento do flywheel. Uma das necessidades é relativamente clara: muitos detentores de BTC também desejam obter rendimento, como pode ser visto pela quantidade de BTC na cadeia Ethereum (como wbtc, etc.), atualmente mais de 150 mil BTC estão encapsulados na cadeia Ethereum, com um valor superior a 15 bilhões de dólares. Se for possível realizar a segurança nativa baseada na cadeia BTC, mais detentores de BTC estarão dispostos a tentar obter rendimento através do BTCFI.