Em um marco importante recente no ecossistema Bitcoin, Zulu anunciou a implementação da primeira verificação zk-SNARK (ZKP) usando Bitcoin Script. Cubra o algoritmo principal Groth16/FFlonk e envie o código para o repositório BitVM.
Implementado Bitcoin Script para ZKP, o que significa que a rede Bitcoin pode verificar a camada 2. Esta é a verdadeira camada 2, que herdará a segurança da rede Bitcoin e a segurança do mecanismo Bitcoin POW. Esta deve ser a rede mais segura no blockchain.
A implementação do ZKP é particularmente difícil devido às limitações programáticas da rede Bitcoin. A maioria dos Bitcoin L2s existentes não são realmente L2s no verdadeiro sentido porque seu status na cadeia não pode ser verificado diretamente na rede Bitcoin. O que eles estão fazendo agora é gerar uma prova zk e publicá-la na rede Bitcoin. No entanto, esta prova não é verificada pela rede Bitcoin, mas sim pelo papel de sua própria rede, o que resulta na separação do status on-chain de l2 da rede Bitcoin.
Isto é obviamente diferente da camada 2 do Ethereum. Quer seja zk-rollup ou op-rollup, os dados serão empacotados e enviados à rede principal Ethereum para verificação. A maior vantagem da camada 2 do Ethereum em comparação com outras cadeias públicas é que o Ethereum garante a segurança da camada 2.
O maior benefício de se tornar uma camada 2 com verificação de rede Bitcoin é herdar a segurança da rede Bitcoin. A segurança da rede Bitcoin é obviamente melhor que a do Ethereum. Agora existem duas maneiras de realmente herdar sua segurança. Um deles é representado pela Babylon, que promete BTC nativo, forma uma rede POS para gerenciamento e pune os perpetradores. Quando o valor do BTC prometido é relativamente grande, o custo de cometer o mal é muito alto, garantindo assim a segurança. No entanto, a premissa deste método é que uma grande quantidade de BTC seja penhorada primeiro.
A segunda é usar a própria rede POW do Bitcoin. Como a primeira e de maior valor de mercado, o BTC opera com segurança há 14 anos e possui o maior poder de computação em toda a rede. Portanto, uma parte importante da herança da segurança da rede Bitcoin é que o Bitcoin possa obter verificação. Essa é a importância do Zulu e do ZKP desta vez. A última vez que prestei atenção à rede Zulu, foi sua primeira arquitetura bitcoin de camada dupla. Essa verificação zk-SNARK (ZKP) me fez perceber que a força técnica por trás do Zulu é muito poderosa.
A importância do zk-SNARK
SNARK (argumento de conhecimento não interativo sucinto) é um argumento de conhecimento não interativo conciso. Seu núcleo é construir um sistema de prova por meio de algoritmos matemáticos, permitindo ao verificador verificar a exatidão dos próprios dados sem conhecer os dados originais. Sabemos que o Ethereum Layer 2 agora possui zk-rollup e op-rollup. Embora op-rollup seja considerado apenas um período de transição intermediário, zk-rollup é a forma final. Porque zk-rollup usa o algoritmo zk para empacotar transações em lotes e gerar certificados SNARKs para enviar à rede principal, e a rede principal verifica todas as transações no lote. zk-SNARK pode proteger eficazmente a privacidade e tem forte escalabilidade. É elogiado por Buterin como a principal prioridade nos próximos 10 anos.
BitVM
BitVM deve ser introduzido aqui. Antes do BitVM, a linguagem de programação de script do Bitcoin não era considerada Turing-completa. Apesar dos esforços de um grande número de pessoas, este problema não pode ser resolvido. Até Robin Linus lançar um BitVM sensacional em outubro do ano passado, o método de Robin era verificar um tipo especial de porta lógica no script Bitcoin, chamado de porta NAND (porta NAND). Este é o princípio básico da computação. , localizado no nível físico/elétrico. Todos os cálculos possíveis podem ser construídos a partir de portas NAND.
Recentemente, Robin propôs o plano de design do BitVM 2. Em vez de usar portas NAND com script diretamente, eles são usados para usar um verificador genérico de prova de conhecimento zero SNARK
A importância do BitVM é que ele pode ser verificado usando a rede Bitcoin sem atualizar, bifurcar ou trazer qualquer fardo adicional para o Bitcoin. A camada 2 realiza outros cálculos responsáveis e herda a segurança da rede principal. Devido à enorme importância do BitVM, muitas camadas 2 são construídas com base no BitVM. Por exemplo, Bitlayer usa BitVM como seu componente principal e adota tecnologia de máquina virtual em camadas (Layered Virtual Machine) como solução de segundo nível.
Na Zulu Network, o BitVM também é uma presença muito importante. Zulu também é um contribuidor muito importante para o BitVM. Pode-se dizer que o uso de scripts Bitcoin para implementar a verificação zk-SNARK é a etapa central do BitVM. Zulu contribuiu muito para o repositório oficial de código BitVM 2 GitHub e foi altamente reconhecido por Robin Louis, o inventor do BitVM.
Na semana passada, Zulu concluiu o fatiamento do script Groth16. Com 2 entradas públicas, um total de 1.701 subscritos são divididos, o tamanho é inferior a 4M e a profundidade da pilha é de <1000. A conclusão da segmentação do script ZKP representa outro marco na jornada do BitVM em direção ao uso comercial. Graças ao excelente trabalho do Zulu, o BitVM2 poderá em breve implementar a primeira prova SNARK no Bitcoin. Também mostra que a tecnologia da Zulu também está em posição de liderança.
Nota da imagem: O progresso tecnológico do Zulu foi altamente reconhecido pelo inventor do BitVM, Robin Louis
Finalmente, uma breve introdução à Rede Zulu
Zulu Network é a primeira rede de duas camadas no ecossistema Bitcoin, e sua camada 2 é um ZuluPrime compatível com EVM. Os projetos EVM podem ser implementados rapidamente e com baixo custo para alcançar a prosperidade ecológica. A outra camada é a Layer3, chamada ZuluNexus. Ele unifica de forma inovadora UTXO e tipos de ativos de conta e realiza inovação de contratos inteligentes com base no modelo UTXO. Isto significa que pode maximizar as vantagens do UTXO e apoiar futuras inovações no UTXO. Zulu está desenvolvendo dois produtos:
Uma ponte Zulu que pode verificar o status fora da cadeia por meio do ZKP para apoiar a emissão de ativos
A primeira ponte ZK descentralizada para fornecer aos usuários operações cross-chain de qualquer valor
Zulu ainda não emitiu moedas. Aqueles que quiserem participar antecipadamente podem participar do atual evento de pontos testnet do Zulu. Consulte a documentação oficial para obter detalhes https://www.yuque.com/zulunetworkzhongwenshequn/zvggg8/kr9epkg0v27rh860?singleDoc#
