Vimos a rede GOAT lançar sua testnet baseada na tecnologia BitVM2, onde há uma implementação que merece atenção: o ZK Rollup em tempo real para Bitcoin. A implementação de provas rápidas de ZK Rollup é um desenvolvimento importante para a infraestrutura do BTC L2. Em termos de experiência do usuário, o tempo de retirada terá um grande aumento de eficiência em comparação com antes, o que ajudará a atrair mais desenvolvedores e a atenção dos usuários. Então, como entender isso tecnicamente de forma simples? Primeiro, vamos dar uma olhada no fluxo de implementação do Bitcoin L2 da rede GOAT. A rede GOAT é uma solução baseada no Bitcoin L2, utilizando as tecnologias BitVM2 e zkMIPS, suportando a realização de rendimentos nativos em BTC (ou seja, os participantes têm a oportunidade de ganhar mais BTC). O fluxo principal inclui 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 (Reimbursement), entre outros. A ponte de entrada é principalmente para garantir BTC em um script taproot (sem controle de chave privada), e 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 no 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, se não quiser, pode completar a retirada através do operador), destruindo o PegBTC no L2, e o operador inicia o processamento de reembolso, sem necessidade de realizar uma transação Peg-OUT na cadeia principal do BTC. O compromisso do sequenciador refere-se ao comitê que periodicamente usa uma árvore Merkle para comprometer o conjunto futuro de sequenciadores, suportando a verificação do mecanismo de cliente leve do Bitcoin. A verificação através do mecanismo de cliente leve utiliza o conjunto de validadores comprometido no BTC como entrada pública para a verificação da prova de conhecimento zero subsequente, a fim de realizar a verificação da consensualidade do bloco L2. O processamento de reembolso envolve o operador garantindo BTC e submetendo o ID da transação de retirada e o hash do bloco mais recente. O desafiador realiza a verificação off-chain e on-chain, e se não houver desafios, o operador recebe os fundos. O desafiador também pode apresentar um desafio, e após o desafio, um validador é gerado aleatoriamente, que pode executar a verificação interativa através de scripts do Bitcoin. O período de desafio é reduzido para cerca de 1 dia (aproximadamente 144 blocos de 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 o modelo econômico gera rendimentos nativos em BTC, incluindo taxas de gás do L2. Agora, vamos focar no ZK Rollup em tempo real, começando pela sua tecnologia Rollup. A rede GOAT agrupa várias transações L2 em lotes (Batch), executando-as off-chain para gerar uma prova ZK, que será verificada na cadeia principal do Bitcoin (como a verificação da fase Assert/Disprove do BitVM2), a vantagem da prova ZK é que não é necessário fazer upload de 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 a dependência de pontes externas ou mecanismos de múltiplas assinaturas. Assim, após entender brevemente a tecnologia ZK Rollup, vamos examinar o 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 paralela em pipeline + uma rede de provadores distribuídos com GPU para gerar rapidamente suas provas. Primeiro, a geração da prova do bloco utiliza técnicas de fragmentação de trajetória de execução e prova paralela para verificar se a transição de estado do Rollup está correta; em seguida, a prova agregada realiza a 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 realizar a prova em tempo real, a geração de provas mencionada não é tratada de forma sequencial, mas sim utilizando um mecanismo de processamento paralelo em pipeline, dependendo principalmente da tecnologia zkVM "Ziren" do ZKM, além do suporte de aceleração por GPU e uma rede de provadores distribuídos. De acordo com os dados atuais do site oficial da testnet, a prova do 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 da prova ZK de cada retirada através da interface do front-end. Se a prova ZK puder ser concluída em menos de 1 minuto, isso significa que a velocidade de retirada dos usuários será significativamente acelerada. Algumas redes Bitcoin L2 anteriormente exigiam várias horas para iniciar uma retirada, mas com a prova rápida, os usuários poderão iniciar a retirada assim que a prova for gerada, ou seja, em menos de 1 minuto, os usuários poderão iniciar a retirada. Claro, o tempo final de recebimento ainda dependerá da situação das transações na rede principal do Bitcoin. Mas em termos de retiradas, não há mais necessidade de esperar, ou seja, a experiência de tempo de retirada é praticamente equivalente à de iniciar uma transação na cadeia do Bitcoin. Além das retiradas, a prova em tempo real também impulsionará os desenvolvedores a construir aplicações L2 de alta frequência, além de ser compatível com EVM, o que pode atrair desenvolvedores do ecossistema Ethereum; para os operadores, não há necessidade de esperar pela emissão em massa de provas, o que também melhora a eficiência do capital. A tecnologia ZK é relativamente complexa, e a segurança a longo prazo também requer um certo tempo para ser comprovada. No entanto, a implementação da prova em tempo real é um avanço importante 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 é necessário fazer mais esforços para explorar as necessidades dos usuários e incentivar os desenvolvedores a construir aplicações Bitcoin L2, porque, em última análise, quando o ecossistema Bitcoin L2 se desenvolver, haverá taxas de transação suficientes para realizar o crescimento em espiral. Uma necessidade que é relativamente clara é que muitos detentores de BTC também desejam obter rendimentos, como pode ser visto pela quantidade de BTC na cadeia Ethereum (como wbtc, etc.), que atualmente ultrapassa 150.000 BTC, 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 rendimentos através do BTCFI.