Neste momento em que a computação verificável está a tornar-se o centro da narrativa industrial, a RISC Zero está a remodelar o desempenho e as fronteiras de confiança da blockchain com uma arquitetura de computação de conhecimento zero mais genérica e aberta. Com o primeiro zkVM genérico baseado em RISC-V da indústria e a camada de computação verificável em cadeia cruzada Boundless, esta equipa de geeks está a levar a prova de conhecimento zero de uma ferramenta de nicho para poder de computação em nuvem em escala, tentando equipar a Internet descentralizada com um "motor de supercomputação" verificável.
Recentemente, o cofundador do Ethereum, Vitalik Buterin, propôs um ajuste significativo na camada de execução da rede Ethereum: substituir o bytecode atual da Máquina Virtual Ethereum (Ethereum Virtual Machine, EVM) pelo conjunto de instruções RISC-V. O novo plano não alterará as funções principais dos contratos inteligentes, como contas e armazenamento, mas mudará fundamentalmente a forma como o código dos contratos é compilado e executado. De certa forma, a proposta de Vitalik não é apenas uma nova atualização para a padronização e combinabilidade da camada de execução do Ethereum, mas também traz novamente a "computação verificável", que antes era vista como uma tecnologia cara e experimental, para o centro da narrativa da indústria.
Um, RISC Zero: o pioneiro do zkVM genérico
No caminho evolutivo da computação verificável, a empresa de prova zero RISC Zero, proveniente dos Estados Unidos, é uma das práticas mais antigas e representativas. Eles não só construíram o primeiro zkVM genérico da indústria com base na mesma arquitetura RISC-V, mas também desenvolveram a Boundless, uma camada de computação verificável, tentando atualizar a prova zero de uma ferramenta de ponto único para uma "computação em nuvem" compartilhada e comercializável entre cadeias. Isso significa que, no futuro, os desenvolvedores não precisarão mais ser limitados pelo alto Gas on-chain ou pelas restrições do próprio EVM, mas poderão invocar recursos de computação verificável quase infinitos em qualquer bloco.
Atualmente, a versão Beta da mainnet Boundless já está online. Seu CEO, Shiv Shankar, afirmou: "Boundless realiza computação cruzada segura evitando tarefas de computação duplicadas, aumentando assim a escalabilidade da blockchain. Isso não apenas melhora a eficiência e aumenta a segurança, mas também permite que desenvolvedores e mineradores participem de ecossistemas cruzados." O pesquisador da Ethereum Foundation, Justin Drake, afirmou: "O RISC Zero zkVM que sustenta o ecossistema Boundless atende a todas as necessidades críticas de escalabilidade da Ethereum: capacidade de prova em tempo real, ambiente de validação doméstica com múltiplas GPUs, licença de código aberto flexível e implementação de base construída do zero."
Em poucos dias na versão Beta da mainnet da Boundless, este primeiro mercado que valida o consenso do Ethereum já alcançou uma escala 10 vezes maior do que a validação atual (30 bilhões) (500 bilhões); um total de 576 validadores conseguiu enviar provas, tornando-se a rede de validadores mais descentralizada do mundo; o mercado atingiu um crescimento de 10 vezes, com um volume diário de pedidos que chegou a 8000 pedidos, e um poder de computação de até 2,6 trilhões, praticamente sem interrupções, completando mais de 99% dos pedidos diariamente; um validador externo quebrou o novo recorde de velocidade, alcançando 5,63MHz, muito acima dos anteriores 2,5MHz; os pedidos quase sempre mantêm-se em 0 pedidos bloqueados, o que nos permitiu vislumbrar o impacto potencial da POWV (prova de trabalho) na adoção de ZK na fase inicial de ativação da mainnet; a inovação aberta entre os validadores já começou, sendo um dos destaques a capacidade dos validadores de bloquear tarefas dentro do mesmo bloco em menos de 100 milissegundos.
Dois, O funcionamento e as inovações de design do Boundless
Na evolução da prova de conhecimento zero de uma ferramenta de ponto único para uma camada de computação geral, a grande quebra da Boundless reside na transformação da computação verificável de uma capacidade técnica isolada em uma infraestrutura on-chain comercializável e combinável.
Especificamente, a lógica central da Boundless possui três elementos principais: zkVM genérico, protocolo de verificação de cadeia cruzada e modelo econômico PoVW (Proof of Verifiable Work).
zkVM genérico: A base do Boundless depende do zkVM (R0VM 2.0) desenvolvido pela RISC Zero, que é baseado na arquitetura RISC-V de padrão aberto, podendo executar qualquer programa genérico e gerar provas de conhecimento zero verificáveis. Isso significa que, independentemente de contratos inteligentes EVM, provas de estado Rollup ou cálculos complexos fora da cadeia, o zkVM pode ser responsável por gerar provas de validade, que são então rapidamente verificadas por contratos na cadeia, tornando todo o processo transparente para o usuário final e para a cadeia principal.
Protocólo de validação em cadeia cruzada: Boundless não está limitado a uma única cadeia, mas desde o início foi projetado para ser nativo em cadeia cruzada: ele cria um mercado de liquidação sem permissão ao implementar simultaneamente contratos do Boundless Market em várias cadeias, automaticamente combinando as necessidades de prova dos desenvolvedores com os recursos de poder de computação dos nós Prover em todo o mundo. Mais importante ainda, o Boundless Market já foi implementado nativamente em todas as cadeias principais, permitindo que os desenvolvedores permaneçam em seus ambientes ecológicos familiares, interagindo apenas com o endereço do contrato local, podendo pagar as taxas com o token nativo da cadeia e obter provas de cálculo verificáveis instantaneamente. Este design de mercado descentralizado em cadeia cruzada reduz significativamente a barreira de entrada, tornando a computação verificável verdadeiramente um recurso público em cadeia que é escalável, liquidável e combinável, semelhante aos serviços em nuvem.
Mecanismo de incentivo PoVW: A parte mais inovadora reside no mecanismo de incentivo PoVW. Diferente do PoW, que recompensa apenas o cálculo de hash, e do PoS, que recompensa o capital ocioso, o PoVW pela primeira vez comercializa a real carga de trabalho de cálculo de zk-SNARKs, completando um ciclo fechado com medição e pagamento em blockchain. Quanto mais ciclos válidos o Prover completar, mais incentivos em tokens ele receberá, de acordo com a carga de trabalho, e os dados de medição são registrados na cadeia, auditáveis. Este mecanismo não apenas garante a flexibilidade da oferta de poder de computação, mas também incentiva mais nós a otimizar continuamente a eficiência da prova e reduzir custos, formando um mercado de oferta e demanda de poder de computação verificável.
O responsável pelos produtos de tecnologia, Jacob Everly, revelou em uma entrevista com a mídia em março deste ano que o Banco de Compensações Internacionais (BIS) de Cingapura já desenvolveu um sistema protótipo utilizando as tecnologias RISC Zero e Boundless, capaz de verificar se os comerciantes da região da Ásia-Pacífico podem negociar na Bolsa de Cingapura sem precisar fornecer informações pessoais completas. Os usuários só precisam enviar o passaporte e o número de telefone, podendo gerar uma prova de conhecimento zero (zk-SNARKs) que comprove sua elegibilidade para negociação. Atualmente, mais de 30 equipes planejam construir e implantar aplicativos na Boundless. Jacob Everly disse: "Nosso objetivo é alcançar 100 equipes parceiras no próximo ano, fazendo da Boundless o padrão da indústria."
Três, o mapa tecnológico multidimensional do RISC Zero
Além da Boundless, a RISC Zero continua a iterar sobre a usabilidade e escalabilidade dos zk-SNARKs, lançando vários produtos chave, solidificando ainda mais sua posição como uma plataforma de computação verificável geral.
R0VM 2.0: A nova versão do núcleo zkVM não só reduz o tempo de prova de um bloco único do Ethereum de 35 minutos para 44 segundos, como também diminui o custo de prova da cadeia OP em 5 vezes, com uma única transação custando apenas 0,0012 dólares, reduzindo significativamente a barreira de entrada para os desenvolvedores acessarem o ZK. Ao mesmo tempo, a versão R0VM 2.0 melhorou o suporte à memória e à pré-compilação, podendo lidar com provas EVM em maior escala e conteúdos de mídia verificáveis, e planeja alcançar provas em tempo real no nível de 12 segundos ainda este ano, promovendo ainda mais a transição da prova de zero conhecimento de um experimento para a produção em massa. Vale ressaltar que a versão R0VM 3.0 também está em desenvolvimento, com lançamento previsto para mais tarde este ano. Esta versão utiliza o novo sistema de prova Binius lançado pelo Ethereum, e a velocidade de prova será ainda mais aumentada.
ZK Co-processador Steel 2.0: Para as limitações fixas do ecossistema EVM, a RISC Zero também lançou o ZK Co-processador Steel 2.0, que pode executar cálculos complexos, acessar estados históricos e realizar cálculos entre blocos fora da cadeia, e através de um custo de prova de apenas 270.000 gas, alcança a verificação de segurança na cadeia, sendo compatível com Solidity e R0-Helios cliente leve, facilitando a implantação na Ethereum e OP Stack.
OP Kailua Modo de Validade: fornece a capacidade de uma transição suave de OP Rollup para ZK Rollup, sem necessidade de uma grande reestruturação, obtendo a alta segurança e rápida liquidação trazidas pelo ZK. Projetos como Base, BOB, entre outros, já se integraram, oferecendo opções de atualização custo-efetivas para cadeias de alta capacidade.
Quatro, a missão e a ambição do RISC Zero
RISC Zero é uma equipe que combina um espírito rebelde com a busca racional por tecnologia. No início de 2022, durante a conferência ETH Denver, alguns membros da RISC Zero conseguiram se infiltrar no evento com tecido adquirido em uma gráfica local e ferramentas simples. Foi exatamente nesta "invasão de hackers" que eles conseguiram alcançar um compromisso de investimento inicial com os primeiros investidores.
Com esse espírito aventureiro de não seguir as regras e uma exploração profunda da tecnologia de cálculo de zero conhecimento, a RISC Zero continua a ganhar a contínua aposta do mercado de capitais: em março de 2022, eles completaram uma rodada de financiamento anjo de 2 milhões de dólares e em agosto do mesmo ano conseguiram 12 milhões de dólares em uma rodada de sementes; em julho de 2023, conseguiram com sucesso 4 milhões de dólares em uma nova rodada de financiamento.
Ao contrário de outros projetos de conhecimento zero, o RISC Zero escolheu um caminho mais genérico: construir o primeiro zkVM do mundo capaz de executar qualquer código de programa genérico, baseado no conjunto de instruções de código aberto RISC-V, permitindo que as provas de conhecimento zero tenham verdadeira capacidade de computação universal e reduzindo a barreira de entrada para desenvolvedores, que podem continuar a usar ferramentas de programação familiares, como Rust e outras linguagens modernas, sem precisar se preocupar com a eficiência do ZK e ferramentas de fácil utilização.
Hoje, esta pequena equipe composta por geeks e futuristas está tentando construir um ecossistema de computação verificável aberto, em cadeia cruzada e sem permissão sobre o zkVM, trazendo uma nova base de confiança para a internet descentralizada – que é exatamente a origem e a ambição da Boundless.
Conclusão:
Boundless não é apenas uma nova tentativa técnica do RISC Zero no campo dos zk-SNARKs, mas também um ensaio prático para a computação verificável se direcionar ao mercado aberto, à colaboração em cadeia cruzada e à escalabilidade do poder de computação em nuvem. À medida que o Boundless e seus componentes, como zkVM e PoVW, continuam a evoluir, este experimento em torno do "motor de supercomputação descentralizado e verificável" pode estar abrindo um caminho de poder de computação mais genérico e ambicioso para o mundo Blockchain.
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.
Ethereum RISC-V colocado na agenda: RISC Zero cria um zkVM genérico, Boundless abre um novo cenário de computação verificável
Neste momento em que a computação verificável está a tornar-se o centro da narrativa industrial, a RISC Zero está a remodelar o desempenho e as fronteiras de confiança da blockchain com uma arquitetura de computação de conhecimento zero mais genérica e aberta. Com o primeiro zkVM genérico baseado em RISC-V da indústria e a camada de computação verificável em cadeia cruzada Boundless, esta equipa de geeks está a levar a prova de conhecimento zero de uma ferramenta de nicho para poder de computação em nuvem em escala, tentando equipar a Internet descentralizada com um "motor de supercomputação" verificável.
Recentemente, o cofundador do Ethereum, Vitalik Buterin, propôs um ajuste significativo na camada de execução da rede Ethereum: substituir o bytecode atual da Máquina Virtual Ethereum (Ethereum Virtual Machine, EVM) pelo conjunto de instruções RISC-V. O novo plano não alterará as funções principais dos contratos inteligentes, como contas e armazenamento, mas mudará fundamentalmente a forma como o código dos contratos é compilado e executado. De certa forma, a proposta de Vitalik não é apenas uma nova atualização para a padronização e combinabilidade da camada de execução do Ethereum, mas também traz novamente a "computação verificável", que antes era vista como uma tecnologia cara e experimental, para o centro da narrativa da indústria.
Um, RISC Zero: o pioneiro do zkVM genérico
No caminho evolutivo da computação verificável, a empresa de prova zero RISC Zero, proveniente dos Estados Unidos, é uma das práticas mais antigas e representativas. Eles não só construíram o primeiro zkVM genérico da indústria com base na mesma arquitetura RISC-V, mas também desenvolveram a Boundless, uma camada de computação verificável, tentando atualizar a prova zero de uma ferramenta de ponto único para uma "computação em nuvem" compartilhada e comercializável entre cadeias. Isso significa que, no futuro, os desenvolvedores não precisarão mais ser limitados pelo alto Gas on-chain ou pelas restrições do próprio EVM, mas poderão invocar recursos de computação verificável quase infinitos em qualquer bloco.
Atualmente, a versão Beta da mainnet Boundless já está online. Seu CEO, Shiv Shankar, afirmou: "Boundless realiza computação cruzada segura evitando tarefas de computação duplicadas, aumentando assim a escalabilidade da blockchain. Isso não apenas melhora a eficiência e aumenta a segurança, mas também permite que desenvolvedores e mineradores participem de ecossistemas cruzados." O pesquisador da Ethereum Foundation, Justin Drake, afirmou: "O RISC Zero zkVM que sustenta o ecossistema Boundless atende a todas as necessidades críticas de escalabilidade da Ethereum: capacidade de prova em tempo real, ambiente de validação doméstica com múltiplas GPUs, licença de código aberto flexível e implementação de base construída do zero."
Em poucos dias na versão Beta da mainnet da Boundless, este primeiro mercado que valida o consenso do Ethereum já alcançou uma escala 10 vezes maior do que a validação atual (30 bilhões) (500 bilhões); um total de 576 validadores conseguiu enviar provas, tornando-se a rede de validadores mais descentralizada do mundo; o mercado atingiu um crescimento de 10 vezes, com um volume diário de pedidos que chegou a 8000 pedidos, e um poder de computação de até 2,6 trilhões, praticamente sem interrupções, completando mais de 99% dos pedidos diariamente; um validador externo quebrou o novo recorde de velocidade, alcançando 5,63MHz, muito acima dos anteriores 2,5MHz; os pedidos quase sempre mantêm-se em 0 pedidos bloqueados, o que nos permitiu vislumbrar o impacto potencial da POWV (prova de trabalho) na adoção de ZK na fase inicial de ativação da mainnet; a inovação aberta entre os validadores já começou, sendo um dos destaques a capacidade dos validadores de bloquear tarefas dentro do mesmo bloco em menos de 100 milissegundos.
Dois, O funcionamento e as inovações de design do Boundless
Na evolução da prova de conhecimento zero de uma ferramenta de ponto único para uma camada de computação geral, a grande quebra da Boundless reside na transformação da computação verificável de uma capacidade técnica isolada em uma infraestrutura on-chain comercializável e combinável.
Especificamente, a lógica central da Boundless possui três elementos principais: zkVM genérico, protocolo de verificação de cadeia cruzada e modelo econômico PoVW (Proof of Verifiable Work).
zkVM genérico: A base do Boundless depende do zkVM (R0VM 2.0) desenvolvido pela RISC Zero, que é baseado na arquitetura RISC-V de padrão aberto, podendo executar qualquer programa genérico e gerar provas de conhecimento zero verificáveis. Isso significa que, independentemente de contratos inteligentes EVM, provas de estado Rollup ou cálculos complexos fora da cadeia, o zkVM pode ser responsável por gerar provas de validade, que são então rapidamente verificadas por contratos na cadeia, tornando todo o processo transparente para o usuário final e para a cadeia principal.
Protocólo de validação em cadeia cruzada: Boundless não está limitado a uma única cadeia, mas desde o início foi projetado para ser nativo em cadeia cruzada: ele cria um mercado de liquidação sem permissão ao implementar simultaneamente contratos do Boundless Market em várias cadeias, automaticamente combinando as necessidades de prova dos desenvolvedores com os recursos de poder de computação dos nós Prover em todo o mundo. Mais importante ainda, o Boundless Market já foi implementado nativamente em todas as cadeias principais, permitindo que os desenvolvedores permaneçam em seus ambientes ecológicos familiares, interagindo apenas com o endereço do contrato local, podendo pagar as taxas com o token nativo da cadeia e obter provas de cálculo verificáveis instantaneamente. Este design de mercado descentralizado em cadeia cruzada reduz significativamente a barreira de entrada, tornando a computação verificável verdadeiramente um recurso público em cadeia que é escalável, liquidável e combinável, semelhante aos serviços em nuvem.
Mecanismo de incentivo PoVW: A parte mais inovadora reside no mecanismo de incentivo PoVW. Diferente do PoW, que recompensa apenas o cálculo de hash, e do PoS, que recompensa o capital ocioso, o PoVW pela primeira vez comercializa a real carga de trabalho de cálculo de zk-SNARKs, completando um ciclo fechado com medição e pagamento em blockchain. Quanto mais ciclos válidos o Prover completar, mais incentivos em tokens ele receberá, de acordo com a carga de trabalho, e os dados de medição são registrados na cadeia, auditáveis. Este mecanismo não apenas garante a flexibilidade da oferta de poder de computação, mas também incentiva mais nós a otimizar continuamente a eficiência da prova e reduzir custos, formando um mercado de oferta e demanda de poder de computação verificável.
O responsável pelos produtos de tecnologia, Jacob Everly, revelou em uma entrevista com a mídia em março deste ano que o Banco de Compensações Internacionais (BIS) de Cingapura já desenvolveu um sistema protótipo utilizando as tecnologias RISC Zero e Boundless, capaz de verificar se os comerciantes da região da Ásia-Pacífico podem negociar na Bolsa de Cingapura sem precisar fornecer informações pessoais completas. Os usuários só precisam enviar o passaporte e o número de telefone, podendo gerar uma prova de conhecimento zero (zk-SNARKs) que comprove sua elegibilidade para negociação. Atualmente, mais de 30 equipes planejam construir e implantar aplicativos na Boundless. Jacob Everly disse: "Nosso objetivo é alcançar 100 equipes parceiras no próximo ano, fazendo da Boundless o padrão da indústria."
Três, o mapa tecnológico multidimensional do RISC Zero
Além da Boundless, a RISC Zero continua a iterar sobre a usabilidade e escalabilidade dos zk-SNARKs, lançando vários produtos chave, solidificando ainda mais sua posição como uma plataforma de computação verificável geral.
R0VM 2.0: A nova versão do núcleo zkVM não só reduz o tempo de prova de um bloco único do Ethereum de 35 minutos para 44 segundos, como também diminui o custo de prova da cadeia OP em 5 vezes, com uma única transação custando apenas 0,0012 dólares, reduzindo significativamente a barreira de entrada para os desenvolvedores acessarem o ZK. Ao mesmo tempo, a versão R0VM 2.0 melhorou o suporte à memória e à pré-compilação, podendo lidar com provas EVM em maior escala e conteúdos de mídia verificáveis, e planeja alcançar provas em tempo real no nível de 12 segundos ainda este ano, promovendo ainda mais a transição da prova de zero conhecimento de um experimento para a produção em massa. Vale ressaltar que a versão R0VM 3.0 também está em desenvolvimento, com lançamento previsto para mais tarde este ano. Esta versão utiliza o novo sistema de prova Binius lançado pelo Ethereum, e a velocidade de prova será ainda mais aumentada.
ZK Co-processador Steel 2.0: Para as limitações fixas do ecossistema EVM, a RISC Zero também lançou o ZK Co-processador Steel 2.0, que pode executar cálculos complexos, acessar estados históricos e realizar cálculos entre blocos fora da cadeia, e através de um custo de prova de apenas 270.000 gas, alcança a verificação de segurança na cadeia, sendo compatível com Solidity e R0-Helios cliente leve, facilitando a implantação na Ethereum e OP Stack.
OP Kailua Modo de Validade: fornece a capacidade de uma transição suave de OP Rollup para ZK Rollup, sem necessidade de uma grande reestruturação, obtendo a alta segurança e rápida liquidação trazidas pelo ZK. Projetos como Base, BOB, entre outros, já se integraram, oferecendo opções de atualização custo-efetivas para cadeias de alta capacidade.
Quatro, a missão e a ambição do RISC Zero
RISC Zero é uma equipe que combina um espírito rebelde com a busca racional por tecnologia. No início de 2022, durante a conferência ETH Denver, alguns membros da RISC Zero conseguiram se infiltrar no evento com tecido adquirido em uma gráfica local e ferramentas simples. Foi exatamente nesta "invasão de hackers" que eles conseguiram alcançar um compromisso de investimento inicial com os primeiros investidores.
Com esse espírito aventureiro de não seguir as regras e uma exploração profunda da tecnologia de cálculo de zero conhecimento, a RISC Zero continua a ganhar a contínua aposta do mercado de capitais: em março de 2022, eles completaram uma rodada de financiamento anjo de 2 milhões de dólares e em agosto do mesmo ano conseguiram 12 milhões de dólares em uma rodada de sementes; em julho de 2023, conseguiram com sucesso 4 milhões de dólares em uma nova rodada de financiamento.
Ao contrário de outros projetos de conhecimento zero, o RISC Zero escolheu um caminho mais genérico: construir o primeiro zkVM do mundo capaz de executar qualquer código de programa genérico, baseado no conjunto de instruções de código aberto RISC-V, permitindo que as provas de conhecimento zero tenham verdadeira capacidade de computação universal e reduzindo a barreira de entrada para desenvolvedores, que podem continuar a usar ferramentas de programação familiares, como Rust e outras linguagens modernas, sem precisar se preocupar com a eficiência do ZK e ferramentas de fácil utilização.
Hoje, esta pequena equipe composta por geeks e futuristas está tentando construir um ecossistema de computação verificável aberto, em cadeia cruzada e sem permissão sobre o zkVM, trazendo uma nova base de confiança para a internet descentralizada – que é exatamente a origem e a ambição da Boundless.
Conclusão:
Boundless não é apenas uma nova tentativa técnica do RISC Zero no campo dos zk-SNARKs, mas também um ensaio prático para a computação verificável se direcionar ao mercado aberto, à colaboração em cadeia cruzada e à escalabilidade do poder de computação em nuvem. À medida que o Boundless e seus componentes, como zkVM e PoVW, continuam a evoluir, este experimento em torno do "motor de supercomputação descentralizado e verificável" pode estar abrindo um caminho de poder de computação mais genérico e ambicioso para o mundo Blockchain.