Nos últimos dois anos, o progresso da tecnologia zkVM (máquina virtual de conhecimento zero) tem sido notável, passando do estágio inicial de "poder provar" para o atual "prova em tempo real", marcando um grande salto nesta área.
O sistema SP1 Hypercube da Succinct, lançado em maio deste ano, atraiu ampla atenção no setor. Este sistema redesenhou o sistema de prova com uma arquitetura inovadora de polinômios multilineares, alcançando uma melhoria de magnitude em relação ao seu antecessor, o SP1 Turbo, tanto em termos de latência quanto de custo. De acordo com dados oficiais, até 93% dos blocos do Ethereum podem ser comprovados em 12 segundos, com uma otimização de desempenho global de impressionantes 5 vezes.
Esta quebra não foi alcançada apenas com a otimização do código, mas sim com uma reestruturação completa da arquitetura do sistema. Os engenheiros redesenharam o sistema de restrições e o pipeline, tratando cada bloco gerado em cada intervalo de tempo como um objeto em tempo real que pode ser processado de forma sustentável, aumentando assim significativamente a eficiência do sistema.
A ideia central da otimização do sistema SP1 é comprimir ao máximo o fluxo de "execução → rastreamento → restrição → prova". O material do curso relacionado da Universidade de Stanford analisa profundamente o fluxo de prova do SP1, desde a execução de instruções RISC-V até a coleta de rastreamento, passando pelas restrições de AIR/polinômios e, finalmente, a geração da prova, detalhando a importância de cada etapa e sua verificabilidade.
É importante notar que a otimização moderna do zkVM já ultrapassou o escopo da otimização tradicional de compiladores. As pesquisas mais recentes mostram que, embora a otimização padrão do LLVM ainda tenha um efeito significativo em zkVM do tipo RISC-V (como RISC Zero e SP1), com um aumento de desempenho superior a 40%, esse aumento é muito inferior ao efeito de otimização em CPUs tradicionais. A principal razão para esse fenômeno é que o gargalo de desempenho do zkVM se origina principalmente de seu sistema de restrição exclusivo, e não de características de hardware, como gerenciamento de cache ou previsão de desvios, encontrados em CPUs tradicionais.
Com a contínua evolução da tecnologia zkVM, podemos esperar ver mais desenvolvimentos revolucionários no futuro, que trarão novas possibilidades para a aplicação e disseminação da tecnologia blockchain.
Esta página pode conter conteúdo de terceiros, que é fornecido apenas para fins informativos (não para representações/garantias) e não deve ser considerada como um endosso de suas opiniões pela Gate nem como aconselhamento financeiro ou profissional. Consulte a Isenção de responsabilidade para obter detalhes.
13 Curtidas
Recompensa
13
5
Repostar
Compartilhar
Comentário
0/400
RugResistant
· 08-29 11:09
Mais uma pessoa experiente em tecnologia. Pode ser realista?
Ver originalResponder0
AirdropHarvester
· 08-27 22:41
bull! Doze segundos para terminar!
Ver originalResponder0
PumpingCroissant
· 08-27 22:41
Desempenho cinco vezes Comprar, comprar, comprar
Ver originalResponder0
MoonRocketman
· 08-27 22:34
O motor de decolagem foi aquecido até 93%, e a velocidade de verificação está quase rompendo a atmosfera
Nos últimos dois anos, o progresso da tecnologia zkVM (máquina virtual de conhecimento zero) tem sido notável, passando do estágio inicial de "poder provar" para o atual "prova em tempo real", marcando um grande salto nesta área.
O sistema SP1 Hypercube da Succinct, lançado em maio deste ano, atraiu ampla atenção no setor. Este sistema redesenhou o sistema de prova com uma arquitetura inovadora de polinômios multilineares, alcançando uma melhoria de magnitude em relação ao seu antecessor, o SP1 Turbo, tanto em termos de latência quanto de custo. De acordo com dados oficiais, até 93% dos blocos do Ethereum podem ser comprovados em 12 segundos, com uma otimização de desempenho global de impressionantes 5 vezes.
Esta quebra não foi alcançada apenas com a otimização do código, mas sim com uma reestruturação completa da arquitetura do sistema. Os engenheiros redesenharam o sistema de restrições e o pipeline, tratando cada bloco gerado em cada intervalo de tempo como um objeto em tempo real que pode ser processado de forma sustentável, aumentando assim significativamente a eficiência do sistema.
A ideia central da otimização do sistema SP1 é comprimir ao máximo o fluxo de "execução → rastreamento → restrição → prova". O material do curso relacionado da Universidade de Stanford analisa profundamente o fluxo de prova do SP1, desde a execução de instruções RISC-V até a coleta de rastreamento, passando pelas restrições de AIR/polinômios e, finalmente, a geração da prova, detalhando a importância de cada etapa e sua verificabilidade.
É importante notar que a otimização moderna do zkVM já ultrapassou o escopo da otimização tradicional de compiladores. As pesquisas mais recentes mostram que, embora a otimização padrão do LLVM ainda tenha um efeito significativo em zkVM do tipo RISC-V (como RISC Zero e SP1), com um aumento de desempenho superior a 40%, esse aumento é muito inferior ao efeito de otimização em CPUs tradicionais. A principal razão para esse fenômeno é que o gargalo de desempenho do zkVM se origina principalmente de seu sistema de restrição exclusivo, e não de características de hardware, como gerenciamento de cache ou previsão de desvios, encontrados em CPUs tradicionais.
Com a contínua evolução da tecnologia zkVM, podemos esperar ver mais desenvolvimentos revolucionários no futuro, que trarão novas possibilidades para a aplicação e disseminação da tecnologia blockchain.