zkMIPS, como o primeiro zkVM baseado no conjunto de instruções MIPS, combinando o ecossistema maduro do MIPS com a infraestrutura ZKP da ZKM, tem promovido muito a rápida implementação do zkVM.
Palavras: Stephen D
A rede de segunda camada do Bitcoin é uma solução técnica projetada para aumentar a velocidade das transações de Bitcoin. Ao transferir parte das transações do blockchain do Bitcoin para processamento off-chain, alivia a carga do blockchain principal, aumenta a velocidade de processamento das transações e reduz os custos das transações. As tecnologias de segunda camada comuns incluem a Lightning Network, os Canais de Estado e a ponte BitVM2 que combina o zkRollup, que está muito popular no momento.
As dificuldades enfrentadas pelo esquema zkRollup de camada 2 do Bitcoin
Segurança: A segurança é o fator mais importante para os detentores de Bitcoin. A segurança requer considerações sobre a consistência da rede, a atividade e a capacidade de auto-regeneração. A consistência, ou segurança do consenso, determina a imutabilidade do livro-razão global, a atividade determina a disponibilidade geral da rede, e a capacidade de auto-regeneração determina a capacidade da rede de se recuperar rapidamente de ataques ou anomalias. Como um zkRollup de BTC, para garantir a segurança do BTC, o zkRollup deve ser capaz de comprometer plenamente as transações de segundo nível e permitir que os mineradores de Bitcoin verifiquem diretamente esses compromissos. No entanto, o desafio está na dificuldade em implementar o Covenant atualmente. Surgiram recentemente algumas soluções promissoras, incluindo BitVM2, criptografia de funções e a mais recente solução ColliderScript. Em segundo lugar, está a manutenção da atividade e capacidade de auto-regeneração da rede de segundo nível em si. Muitos zkRollups enfrentam problemas com o centralizado Sequencer, o que leva a um alto grau de centralização na cadeia Rollup, faltando incentivos suficientes para que outros participem, criando um ciclo vicioso.
Programabilidade: A programabilidade é a infraestrutura básica da BTCFi. Como o ativo de maior valor de mercado no ecossistema blockchain, o Bitcoin tem sido considerado a longo prazo como uma ferramenta de armazenamento de valor, mas tem sido relativamente escasso em termos de aplicação prática e geração de renda. Essa limitação é principalmente devido à escalabilidade da rede Bitcoin e às restrições inerentes à linguagem de script, tornando-o difícil de suportar aplicativos financeiros descentralizados (DeFi) complexos. Para os detentores de Bitcoin, ganhar renda com seus BTCs tradicionalmente significava apenas a opção de depositar ativos em exchanges centralizadas ou usar serviços de ponte para converter em tokens envelopados (como WBTC). No entanto, esses métodos introduzem riscos adicionais, como o risco de confiança associado a plataformas centralizadas, o que vai contra a natureza descentralizada do Bitcoin. Torna-se crucial a introdução do EVM, inspirado na rica variedade de protocolos e ecossistema DeFi no ecossistema ETH.
GOAT Network: Implemente uma rede Bitcoin de camada 2 compatível com EVM baseada em zkMIPS
A rede GOAT é o primeiro protocolo de desafio otimista seguro implementado na segunda camada do Bitcoin com base em zkMIPS, BitVM2 e Sequencer descentralizado, que aprimora a segurança. Ele é 100% compatível com EVM e requer apenas a suposição 1-de-n, garantindo a segurança da rede Bitcoin. A rede GOAT possui os seguintes pontos-chave:
Verdadeiramente descentralizado: Através do inovador protocolo Sequencer descentralizado sem permissão, todas as mensagens entre cadeias – incluindo o peg-in, peg-out e rollup de estado de camada 2 – são capazes de chegar a um consenso sobre Bitcoin e a Rede GOAT. Isso elimina completamente a dependência de uma única entidade centralizada, garantindo uma verdadeira descentralização. Ao mesmo tempo, esta inovação simplifica significativamente as configurações de confiança do protocolo BitVM2, fornecendo o mesmo nível de segurança.
Sem bifurcações, é possível alcançar uma validação abrangente do Bitcoin: A rede GOAT combina o Sequenciador descentralizado e o protocolo BitVM2, tornando o protocolo BitVM2 prático, permitindo a verificação direta de proof através de scripts de Bitcoin, herdando a segurança nativa do Bitcoin. O zkMIPS, como infraestrutura de dimensionamento do GOAT, não só pode alcançar 100% de compatibilidade com a EVM, mas também pode acelerar significativamente o processo de geração e verificação de proof, trazendo uma capacidade de extensão de ecossistema sem precedentes para a rede GOAT.
Mecanismo de Dupla Penalização para Segurança: A Rede GOAT é a primeira a introduzir um mecanismo de "Dupla Punição" na rede Bitcoin Layer 2. Este mecanismo combina o mecanismo de punição nativo da camada de verificação do Bitcoin e o mecanismo de punição da camada de consenso GOAT, o que efetivamente reduz a probabilidade de comportamento desonesto no protocolo GOAT Rollup. Esse mecanismo aborda especificamente riscos potenciais, como assinaturas duplas, tempo de inatividade do nó e ataques ilegais de reembolso em nós do Sequencer, melhorando de forma abrangente a segurança e a confiabilidade da rede.
Esta inovação tecnológica marca uma nova era de descentralização para a rede de camada 2 do Bitcoin, estabelecendo uma nova referência da indústria para o futuro da tecnologia blockchain.
Na combinação de zkMIPS e BitVM2, zkMIPS otimiza a velocidade das provas Groth16 e também faz muitas otimizações na fase de verificação, incluindo reduzir significativamente a complexidade do cálculo do Bitcoin Script do Miller Loop com a ajuda de truques de Dicas, compromisso de segmentação de circuito do Verificador, compressão do compromisso de entrada pública do zkVM e uso da garantia do Sequenciador Descentralizado a entrada pública está na mesma ramificação do superblock, o que simplifica a complexidade do processo de desafio otimista do BitVM2 até certo ponto.
zkMIPS: o primeiro zkVM baseado no conjunto de instruções MIPS
zkMIPS é o primeiro zkVM baseado no conjunto de instruções MIPS, o conjunto de instruções MIPS é um conjunto de instruções maduro, com vantagens incluindo:
As instruções do MIPS32R2 são mais ricas em comparação com o RISCV32IM, incluindo a série de instruções J/JAL, com um salto de até 256MiB de comprimento, o que facilita muito a implementação de saltos em cenários de ligação estática. O MIPS32r2 possui instruções de manipulação de bits ricas, que não existem no RISCV32IM e requerem a utilização da extensão B. O MIPS32r2 possui instruções de seleção condicional como MOVN/MOVZ, que em muitos cenários podem substituir instruções de salto, melhorando o desempenho e reduzindo o número de instruções. O MIPS32r2 possui instruções de multiplicação e adição de inteiros, que podem aumentar o desempenho e reduzir o número de instruções. O MIPS32r2 possui instruções de extensão de sinal SEH e SEB, que facilitam muito a realização de operações de extensão de sinal em dados do tipo char e short.
Todas as instruções no MIPS32r2, como um todo, já foram amplamente utilizadas e maduras há mais de 20 anos, sem problemas de integração entre os vários módulos; e sem agitação devido a disputas de direitos autorais. Como conjunto de instruções implementado como extensões e não como um todo, pode haver problemas de integração entre as extensões. Algumas combinações de extensões podem resultar em problemas incompletos ou excessivamente complexos. O manual de instruções MIPS também fornece descrições mais claras e detalhadas do comportamento das instruções. Na blockchain, o MIPS já foi aplicado com sucesso na verificação de Fraudes Proof da Optimism, com base na implementação do MIPS VM.
zkMIPS tem funcionalidades abrangentes. Os desenvolvedores podem provar o uso de qualquer programa escrito em linguagens de alto nível amplamente utilizadas, como Rust e Golang. zkMIPS fornece uma série de ferramentas de desenvolvimento fáceis de usar, incluindo ZKM Playground, ZKM-Project-Template e ZKM Proof Network, para ajudar projetos e desenvolvedores a construir seus produtos ZKP com um custo inicial muito baixo.
O zkMIPS ajuda os desenvolvedores a garantir a segurança da lógica do circuito. Os desenvolvedores podem implementar qualquer aplicação usando a linguagem mais familiar e ficar livres da auditoria do circuito de prova de conhecimento zero. Ao contrário do desenvolvimento ZKP tradicional, o zkMIPS adere estritamente ao conjunto de instruções MIPS32r2, e se os desenvolvedores já revisaram a lógica de negócios do aplicativo, não é necessário revisar o circuito novamente.
A ZKM fornece uma rede de prova que ajuda os desenvolvedores e projetos a gerar proof rapidamente, suportando a expansão horizontal e permitindo a geração de prova em tempo real. Isso permite que os desenvolvedores e projetos construam suas aplicações descentralizadas Web3 com alta eficiência. Além disso, o zkMIPS suporta várias soluções extremas de aceleração da prova, como Precompiles.
O zkMIPS tem casos de uso líderes do setor que suportam vários casos de uso inovadores habilitados para zkVM, incluindo o Bitcoin L2 da GOAT Network e o HybridRollup do Metis. E está impulsionando a adoção generalizada da tecnologia zkVM em vários setores, como zkLLM, zkIdentity, etc.
Como o primeiro zkVM baseado no conjunto de instruções MIPS, o zkMIPS combina o ecossistema maduro do MIPS e a infraestrutura ZKP do ZKM para promover a rápida implementação do zkVM.
Esta página pode conter conteúdos de terceiros, que são fornecidos apenas para fins informativos (sem representações/garantias) e não devem ser considerados como uma aprovação dos seus pontos de vista pela Gate, nem como aconselhamento financeiro ou profissional. Consulte a Declaração de exoneração de responsabilidade para obter mais informações.
zkMIPS Bitcoin二层 GOAT Network 上线
Palavras: Stephen D
A rede de segunda camada do Bitcoin é uma solução técnica projetada para aumentar a velocidade das transações de Bitcoin. Ao transferir parte das transações do blockchain do Bitcoin para processamento off-chain, alivia a carga do blockchain principal, aumenta a velocidade de processamento das transações e reduz os custos das transações. As tecnologias de segunda camada comuns incluem a Lightning Network, os Canais de Estado e a ponte BitVM2 que combina o zkRollup, que está muito popular no momento.
As dificuldades enfrentadas pelo esquema zkRollup de camada 2 do Bitcoin
Segurança: A segurança é o fator mais importante para os detentores de Bitcoin. A segurança requer considerações sobre a consistência da rede, a atividade e a capacidade de auto-regeneração. A consistência, ou segurança do consenso, determina a imutabilidade do livro-razão global, a atividade determina a disponibilidade geral da rede, e a capacidade de auto-regeneração determina a capacidade da rede de se recuperar rapidamente de ataques ou anomalias. Como um zkRollup de BTC, para garantir a segurança do BTC, o zkRollup deve ser capaz de comprometer plenamente as transações de segundo nível e permitir que os mineradores de Bitcoin verifiquem diretamente esses compromissos. No entanto, o desafio está na dificuldade em implementar o Covenant atualmente. Surgiram recentemente algumas soluções promissoras, incluindo BitVM2, criptografia de funções e a mais recente solução ColliderScript. Em segundo lugar, está a manutenção da atividade e capacidade de auto-regeneração da rede de segundo nível em si. Muitos zkRollups enfrentam problemas com o centralizado Sequencer, o que leva a um alto grau de centralização na cadeia Rollup, faltando incentivos suficientes para que outros participem, criando um ciclo vicioso.
Programabilidade: A programabilidade é a infraestrutura básica da BTCFi. Como o ativo de maior valor de mercado no ecossistema blockchain, o Bitcoin tem sido considerado a longo prazo como uma ferramenta de armazenamento de valor, mas tem sido relativamente escasso em termos de aplicação prática e geração de renda. Essa limitação é principalmente devido à escalabilidade da rede Bitcoin e às restrições inerentes à linguagem de script, tornando-o difícil de suportar aplicativos financeiros descentralizados (DeFi) complexos. Para os detentores de Bitcoin, ganhar renda com seus BTCs tradicionalmente significava apenas a opção de depositar ativos em exchanges centralizadas ou usar serviços de ponte para converter em tokens envelopados (como WBTC). No entanto, esses métodos introduzem riscos adicionais, como o risco de confiança associado a plataformas centralizadas, o que vai contra a natureza descentralizada do Bitcoin. Torna-se crucial a introdução do EVM, inspirado na rica variedade de protocolos e ecossistema DeFi no ecossistema ETH.
GOAT Network: Implemente uma rede Bitcoin de camada 2 compatível com EVM baseada em zkMIPS
A rede GOAT é o primeiro protocolo de desafio otimista seguro implementado na segunda camada do Bitcoin com base em zkMIPS, BitVM2 e Sequencer descentralizado, que aprimora a segurança. Ele é 100% compatível com EVM e requer apenas a suposição 1-de-n, garantindo a segurança da rede Bitcoin. A rede GOAT possui os seguintes pontos-chave:
Verdadeiramente descentralizado: Através do inovador protocolo Sequencer descentralizado sem permissão, todas as mensagens entre cadeias – incluindo o peg-in, peg-out e rollup de estado de camada 2 – são capazes de chegar a um consenso sobre Bitcoin e a Rede GOAT. Isso elimina completamente a dependência de uma única entidade centralizada, garantindo uma verdadeira descentralização. Ao mesmo tempo, esta inovação simplifica significativamente as configurações de confiança do protocolo BitVM2, fornecendo o mesmo nível de segurança.
Sem bifurcações, é possível alcançar uma validação abrangente do Bitcoin: A rede GOAT combina o Sequenciador descentralizado e o protocolo BitVM2, tornando o protocolo BitVM2 prático, permitindo a verificação direta de proof através de scripts de Bitcoin, herdando a segurança nativa do Bitcoin. O zkMIPS, como infraestrutura de dimensionamento do GOAT, não só pode alcançar 100% de compatibilidade com a EVM, mas também pode acelerar significativamente o processo de geração e verificação de proof, trazendo uma capacidade de extensão de ecossistema sem precedentes para a rede GOAT.
Mecanismo de Dupla Penalização para Segurança: A Rede GOAT é a primeira a introduzir um mecanismo de "Dupla Punição" na rede Bitcoin Layer 2. Este mecanismo combina o mecanismo de punição nativo da camada de verificação do Bitcoin e o mecanismo de punição da camada de consenso GOAT, o que efetivamente reduz a probabilidade de comportamento desonesto no protocolo GOAT Rollup. Esse mecanismo aborda especificamente riscos potenciais, como assinaturas duplas, tempo de inatividade do nó e ataques ilegais de reembolso em nós do Sequencer, melhorando de forma abrangente a segurança e a confiabilidade da rede.
Esta inovação tecnológica marca uma nova era de descentralização para a rede de camada 2 do Bitcoin, estabelecendo uma nova referência da indústria para o futuro da tecnologia blockchain.
Na combinação de zkMIPS e BitVM2, zkMIPS otimiza a velocidade das provas Groth16 e também faz muitas otimizações na fase de verificação, incluindo reduzir significativamente a complexidade do cálculo do Bitcoin Script do Miller Loop com a ajuda de truques de Dicas, compromisso de segmentação de circuito do Verificador, compressão do compromisso de entrada pública do zkVM e uso da garantia do Sequenciador Descentralizado a entrada pública está na mesma ramificação do superblock, o que simplifica a complexidade do processo de desafio otimista do BitVM2 até certo ponto.
zkMIPS: o primeiro zkVM baseado no conjunto de instruções MIPS
zkMIPS é o primeiro zkVM baseado no conjunto de instruções MIPS, o conjunto de instruções MIPS é um conjunto de instruções maduro, com vantagens incluindo:
zkMIPS tem funcionalidades abrangentes. Os desenvolvedores podem provar o uso de qualquer programa escrito em linguagens de alto nível amplamente utilizadas, como Rust e Golang. zkMIPS fornece uma série de ferramentas de desenvolvimento fáceis de usar, incluindo ZKM Playground, ZKM-Project-Template e ZKM Proof Network, para ajudar projetos e desenvolvedores a construir seus produtos ZKP com um custo inicial muito baixo.
O zkMIPS ajuda os desenvolvedores a garantir a segurança da lógica do circuito. Os desenvolvedores podem implementar qualquer aplicação usando a linguagem mais familiar e ficar livres da auditoria do circuito de prova de conhecimento zero. Ao contrário do desenvolvimento ZKP tradicional, o zkMIPS adere estritamente ao conjunto de instruções MIPS32r2, e se os desenvolvedores já revisaram a lógica de negócios do aplicativo, não é necessário revisar o circuito novamente.
A ZKM fornece uma rede de prova que ajuda os desenvolvedores e projetos a gerar proof rapidamente, suportando a expansão horizontal e permitindo a geração de prova em tempo real. Isso permite que os desenvolvedores e projetos construam suas aplicações descentralizadas Web3 com alta eficiência. Além disso, o zkMIPS suporta várias soluções extremas de aceleração da prova, como Precompiles.
O zkMIPS tem casos de uso líderes do setor que suportam vários casos de uso inovadores habilitados para zkVM, incluindo o Bitcoin L2 da GOAT Network e o HybridRollup do Metis. E está impulsionando a adoção generalizada da tecnologia zkVM em vários setores, como zkLLM, zkIdentity, etc.
Como o primeiro zkVM baseado no conjunto de instruções MIPS, o zkMIPS combina o ecossistema maduro do MIPS e a infraestrutura ZKP do ZKM para promover a rápida implementação do zkVM.