Vendo a rede GOAT lançar sua rede de teste baseada na tecnologia BitVM2, vale a pena prestar atenção a uma implementação: o rollup ZK de prova de Bitcoin em tempo real. Habilitar provas rápidas de ZK Rollup é um desenvolvimento importante para a infraestrutura do BTC L2. Do ponto de vista da experiência do usuário, o tempo de extração será muito melhorado em comparação com antes, o que é propício para trazer mais desenvolvedores para participar e chamar a atenção do usuário. Então, como entendê-lo tecnicamente de forma simples? Primeiro, vamos dar uma olhada no processo de implementação do Bitcoin L2 na rede GOAT. A rede GOAT é uma solução baseada em Bitcoin L2 que usa a tecnologia BitVM2 e zkMIPS para oferecer suporte a rendimentos nativos de BTC (ou seja, os participantes têm a oportunidade de ganhar mais BTC). Seus processos incluem principalmente Bridge in, Bridge out, Sequencer Set Commitment e Reimbersement. O bridging é principalmente sobre o staking de BTC em um script taproot (ninguém controla a chave privada), e o retransmissor o envia ao contrato da Goat. O comitê constrói um fluxo de transação BitVM2, o operador pré-assina e existe IPFS e, após a verificação do usuário, o retransmissor emite PegBTC em L2. Bridge out é a retirada, o usuário realiza transações atômicas com a operadora (o usuário também pode ser a operadora, se não quiser, pode concluir a retirada através da operadora), destrói o PegBTC em L2 e a operadora inicia o processo de reembolso, sem a necessidade de realizar transações Peg-OUT na cadeia principal do BTC. Os compromissos do sequenciador referem-se principalmente ao uso regular de árvores Merkle pela comissão para comprometer futuros conjuntos de sequenciadores para apoiar a verificação do mecanismo de cliente leve do Bitcoin. O conjunto de validadores comprometidos no BTC é usado como entrada pública para a verificação subsequente da prova de conhecimento zero por meio da verificação do mecanismo do cliente leve, que é usado para verificar o consenso dos blocos L2. O processo de reembolso é o ID da transação do operador que faz staking de BTC e envia a retirada e o hash do bloco mais recente. Os desafiantes realizam verificações off-chain e on-chain e, se não houver contestação, o operador recebe os fundos. Os desafiantes também podem propor desafios e, após a ocorrência do desafio, são gerados aleatoriamente validadores que podem realizar verificações interativas por meio de scripts Bitcoin. O período do desafio é reduzido para cerca de 1 dia (cerca de 144 blocos BTC), comprimindo o tempo necessário para a finalidade. Além disso, ele usa um sequenciador descentralizado, as operadoras apostam BTC para participar e as taxas de gás L2 no modelo econômico geram receita nativa de BTC. Vamos nos concentrar em sua prova em tempo real ZK Rollup, vamos falar sobre sua tecnologia de rollup primeiro. A rede GOAT empacotará várias transações L2 em lotes (Batch) e as executará off-chain para gerar uma prova ZK, que será verificada pela cadeia principal do Bitcoin (verificação do estágio Assert/Disprove do BitVM2, etc.), e a vantagem das provas ZK é que não há necessidade de fazer upload de todos os detalhes da transação. Além disso, ao contrário do zksync ou Starknet do Ethereum, o Goat usa mecanismos nativos como scripts Bitcoin Taproot para ancorar atualizações de estado, evitando a dependência de pontes externas ou mecanismos de assinatura múltipla. Então, vamos dar uma breve olhada em sua tecnologia Zk Rollup e, em seguida, dar uma olhada em seu mecanismo de prova em tempo real. De acordo com a documentação da rede GOAT, sua geração de prova em tempo real usa o mecanismo zkMIPS para obter geração rápida de prova por meio de arquitetura de prova paralela de pipeline + rede de provador de GPU distribuída. Primeiro, a geração de prova de bloco usa a fragmentação de trajetória de execução e a tecnologia de prova paralela para verificar se a transição de estado de rollup está correta. a segunda é a prova de agregação, que compacta recursivamente várias provas de bloco; Por fim, existem provas SNARK (Groth16), que são compactadas em provas de pequeno volume que podem ser verificadas no BitVM2. Para obter provas em tempo real, a geração de provas acima mencionada não é processada de maneira de linha única, mas adota um mecanismo de processamento paralelo em pipeline, contando principalmente com a tecnologia zkVM "Ziren" da ZKM para implementar, juntamente com aceleração de GPU e uma rede de provadores distribuída, de acordo com os dados atuais do site oficial de sua rede de testes, provas de bloco em média de 2,6 segundos, provas de agregação em média de 2,7 segundos e provas SNARK em torno de 10,38 segundos. Os usuários podem visualizar o processo completo de geração de prova ZK para cada saque em tempo real por meio da página de front-end. Se a prova ZK puder ser concluída em menos de 1 minuto, isso significa que a velocidade das retiradas do usuário será bastante acelerada, e algumas retiradas anteriores da rede Bitcoin L2 precisam esperar várias horas para serem iniciadas. Obviamente, o tempo final de chegada dos usuários também depende da situação da transação da rede principal do Bitcoin. No entanto, em termos de saques, não há necessidade de esperar, ou seja, seus saques estão basicamente próximos da experiência de tempo de iniciar uma transação na cadeia Bitcoin. Além das retiradas, as provas em tempo real também promoverão os desenvolvedores a criar aplicativos L2 de alta frequência e também são compatíveis com EVM, o que também pode atrair desenvolvedores no ecossistema Ethereum. Para os operadores, não há necessidade de esperar por certificados de lote, o que também pode melhorar 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 de provas em tempo real é um avanço importante na infraestrutura técnica do Bitcoin L2. É claro que 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 na mineração das necessidades dos usuários e promover os desenvolvedores a construir aplicativos Bitcoin L2, porque no final, o ecossistema Bitcoin L2 terá taxas de transação suficientes para alcançar o crescimento do volante. Entre eles, há uma necessidade relativamente clara, ou seja, muitos detentores de BTC também querem obter renda, o que pode ser visto pelo número de BTC (como wbtc, etc.) na cadeia Ethereum, que atualmente tem mais de 150.000 BTC embrulhados na cadeia Ethereum, no valor de mais de US$ 15 bilhões. Se a segurança nativa baseada na cadeia BTC puder ser alcançada, mais detentores de BTC estarão dispostos a tentar obter renda por meio do BTCFI.