Succinct lança SP1: Máquina virtual de conhecimento zero com desempenho líder.
Succinct é um projeto de zero conhecimento muito notável, cujo produto principal SP1 é considerado o zkVM com o melhor desempenho atualmente.
O SP1 tem as seguintes características destacadas:
• A velocidade de prova é até 28 vezes mais rápida do que outros zkVM, com custos significativamente reduzidos.
• Suporte para escrever provas de conhecimento zero em Rust, aumentando a eficiência de desenvolvimento em cem vezes.
• Já foi auditado por várias empresas de segurança e adotado por vários projetos conhecidos
Introdução ao SP1
SP1 é uma máquina virtual de conhecimento zero genérica ( zkVM ), que permite aos desenvolvedores escrever código em linguagens populares como Rust e gerar provas de conhecimento zero eficientes, para validar a execução correta dos programas.
A sua inovação central reside na redução significativa da barreira de desenvolvimento de provas de conhecimento zero, mantendo ao mesmo tempo desempenho e flexibilidade de topo. O SP1 torna o desenvolvimento de aplicações de conhecimento zero tão simples quanto escrever software comum, fornecendo suporte de verificabilidade para infraestruturas de blockchain ( como Rollup, pontes entre cadeias, oráculos, etc. ).
A tecnologia de prova de conhecimento zero ( ZKP ) pode provar a correção do cálculo sem revelar os dados de entrada, tendo ampla aplicação no campo da blockchain:
• Aumentar a capacidade através de Rollup
• Promover a interoperabilidade entre cadeias
• Proteger a privacidade das transações
• Validar dados off-chain
A complexidade de desenvolvimento do ZKP tradicional é alta, com longos ciclos e custos elevados. O surgimento do SP1 mudou completamente essa situação.
Principais características do SP1
Desempenho líder na indústria
Em cargas de trabalho de blockchain reais, o SP1 é de 4 a 28 vezes mais rápido do que outros zkVM. A versão mais recente, SP1 Turbo, valida blocos da mainnet Ethereum em clusters de GPU em apenas 40 segundos, com custos reduzidos para alguns centavos.
Suporte ao desenvolvimento em Rust
SP1 permite escrever lógica ZKP diretamente em Rust e reutilizar bibliotecas existentes do ecossistema Rust. Os desenvolvedores podem facilmente transformar o código existente de nós de blockchain em aplicações ZKP.
Mecanismo de pré-compilação
O SP1 introduz um mecanismo de pré-compilação, visando operações criptográficas comuns ( como keccak, sha256, verificação de assinatura, etc. ) que são altamente otimizadas, aumentando significativamente o desempenho. Por exemplo, o tempo de verificação do cliente leve ZK Tendermint no SP1 foi reduzido de 2,2 horas para 4,6 minutos.
Segurança de código aberto
SP1 é completamente open source ( sob a licença MIT/Apache 2.0 ). Sua arquitetura modular permite a personalização de pré-compilação, otimizando o desempenho para cenários específicos. O SP1 atraiu desenvolvedores de vários projetos conhecidos para contribuir em sua melhoria.
O SP1 foi auditado por várias empresas de segurança ZK de topo e obteve um resultado de zero vulnerabilidades críticas em competições de auditoria públicas.
Adoção ampla
Vários projetos conhecidos adotaram o SP1 para construir ZKP, garantindo mais de 1 bilhão de dólares em ativos on-chain (TVL). O SP1 está se tornando um componente padrão da infraestrutura blockchain.
Cenários de aplicação do SP1
SP1 tem várias aplicações no campo da blockchain:
• Rollup: Construir ZK Rollup, gerar provas de transição de estado, conectar-se a cadeias principais como Ethereum.
• Ponte entre cadeias: validar o consenso de diferentes cadeias, construir uma ponte entre cadeias segura e eficiente
• Interoperabilidade: permitir a determinação rápida e a interoperabilidade entre Rollups
• Oracle: suporta cálculos massivos fora da cadeia e gera provas verificáveis na cadeia
• Proteção de privacidade: realizar transações e estados privados
• Prova de agregação: Agregação de ZKP do mesmo tipo, reduzindo ainda mais o custo de validação na cadeia.
SP1 está trazendo uma transformação revolucionária para o ecossistema blockchain, tornando a tecnologia de provas de conhecimento zero mais fácil de usar, mais eficiente e mais acessível.
Ver original
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.
SP1: A Succinct lançou uma máquina virtual de conhecimento zero com desempenho superior.
Succinct lança SP1: Máquina virtual de conhecimento zero com desempenho líder.
Succinct é um projeto de zero conhecimento muito notável, cujo produto principal SP1 é considerado o zkVM com o melhor desempenho atualmente.
O SP1 tem as seguintes características destacadas:
• A velocidade de prova é até 28 vezes mais rápida do que outros zkVM, com custos significativamente reduzidos. • Suporte para escrever provas de conhecimento zero em Rust, aumentando a eficiência de desenvolvimento em cem vezes. • Já foi auditado por várias empresas de segurança e adotado por vários projetos conhecidos
Introdução ao SP1
SP1 é uma máquina virtual de conhecimento zero genérica ( zkVM ), que permite aos desenvolvedores escrever código em linguagens populares como Rust e gerar provas de conhecimento zero eficientes, para validar a execução correta dos programas.
A sua inovação central reside na redução significativa da barreira de desenvolvimento de provas de conhecimento zero, mantendo ao mesmo tempo desempenho e flexibilidade de topo. O SP1 torna o desenvolvimento de aplicações de conhecimento zero tão simples quanto escrever software comum, fornecendo suporte de verificabilidade para infraestruturas de blockchain ( como Rollup, pontes entre cadeias, oráculos, etc. ).
A tecnologia de prova de conhecimento zero ( ZKP ) pode provar a correção do cálculo sem revelar os dados de entrada, tendo ampla aplicação no campo da blockchain:
• Aumentar a capacidade através de Rollup • Promover a interoperabilidade entre cadeias • Proteger a privacidade das transações • Validar dados off-chain
A complexidade de desenvolvimento do ZKP tradicional é alta, com longos ciclos e custos elevados. O surgimento do SP1 mudou completamente essa situação.
Principais características do SP1
Em cargas de trabalho de blockchain reais, o SP1 é de 4 a 28 vezes mais rápido do que outros zkVM. A versão mais recente, SP1 Turbo, valida blocos da mainnet Ethereum em clusters de GPU em apenas 40 segundos, com custos reduzidos para alguns centavos.
SP1 permite escrever lógica ZKP diretamente em Rust e reutilizar bibliotecas existentes do ecossistema Rust. Os desenvolvedores podem facilmente transformar o código existente de nós de blockchain em aplicações ZKP.
O SP1 introduz um mecanismo de pré-compilação, visando operações criptográficas comuns ( como keccak, sha256, verificação de assinatura, etc. ) que são altamente otimizadas, aumentando significativamente o desempenho. Por exemplo, o tempo de verificação do cliente leve ZK Tendermint no SP1 foi reduzido de 2,2 horas para 4,6 minutos.
SP1 é completamente open source ( sob a licença MIT/Apache 2.0 ). Sua arquitetura modular permite a personalização de pré-compilação, otimizando o desempenho para cenários específicos. O SP1 atraiu desenvolvedores de vários projetos conhecidos para contribuir em sua melhoria.
O SP1 foi auditado por várias empresas de segurança ZK de topo e obteve um resultado de zero vulnerabilidades críticas em competições de auditoria públicas.
Vários projetos conhecidos adotaram o SP1 para construir ZKP, garantindo mais de 1 bilhão de dólares em ativos on-chain (TVL). O SP1 está se tornando um componente padrão da infraestrutura blockchain.
Cenários de aplicação do SP1
SP1 tem várias aplicações no campo da blockchain:
• Rollup: Construir ZK Rollup, gerar provas de transição de estado, conectar-se a cadeias principais como Ethereum. • Ponte entre cadeias: validar o consenso de diferentes cadeias, construir uma ponte entre cadeias segura e eficiente • Interoperabilidade: permitir a determinação rápida e a interoperabilidade entre Rollups • Oracle: suporta cálculos massivos fora da cadeia e gera provas verificáveis na cadeia • Proteção de privacidade: realizar transações e estados privados • Prova de agregação: Agregação de ZKP do mesmo tipo, reduzindo ainda mais o custo de validação na cadeia.
SP1 está trazendo uma transformação revolucionária para o ecossistema blockchain, tornando a tecnologia de provas de conhecimento zero mais fácil de usar, mais eficiente e mais acessível.