Succinct é um projeto ZK de topo, cujo produto principal SP1 é atualmente o zkVM mais rápido. O projeto já angariou 55 milhões de dólares em financiamento.
O SP1 possui as seguintes características:
• Desempenho líder, velocidade de prova até 28 vezes maior que outros zkVM, com custos significativamente reduzidos.
• Suporte para escrever ZKP em Rust, podendo reutilizar bibliotecas de código existentes, aumentando a eficiência de desenvolvimento em 100 vezes.
• Suporta aplicações de nível de produção, auditadas profissionalmente e adotadas por vários grandes projetos.
1. Introdução ao SP1
SP1 é uma máquina virtual de conhecimento nulo genérica (zkVM), que permite aos desenvolvedores escrever código comum usando Rust ou outras linguagens suportadas pela compilação LLVM, gerando provas de conhecimento nulo eficientes para validar a execução correta do programa.
A principal inovação do SP1 é a redução significativa da barreira de desenvolvimento para provas de conhecimento zero, mantendo ao mesmo tempo um desempenho e flexibilidade excepcionais. Isso torna o desenvolvimento de ZKP tão simples quanto escrever software comum, permitindo que infraestruturas de blockchain (, como Rollup, pontes entre cadeias e oráculos, possam alcançar verificabilidade por meio de código manutenível.
Prova de Conhecimento Zero ) ZKP ( pode provar a correção de um cálculo sem revelar quaisquer dados de entrada. Esta técnica tem ampla aplicação no campo da blockchain, incluindo escalabilidade, interoperabilidade, proteção de privacidade, bem como pontes e oráculos.
No entanto, o desenvolvimento tradicional de ZKP é muito complexo, exigindo uma equipe de criptografia especializada, longos ciclos de desenvolvimento e altos custos de manutenção. O surgimento do SP1 mudou completamente essa situação.
Dois, características do SP1
) 1. Desempenho excepcional
Em cargas de trabalho reais de blockchain ###, como validação de clientes leves, Rollup, etc., o SP1 é de 4 a 28 vezes mais rápido do que outros zkVM, com desempenho que pode até rivalizar circuitos dedicados otimizados manualmente. A versão mais recente do SP1 Turbo (v4.0.0), quando executada em um cluster de GPU, valida blocos da rede principal do Ethereum em apenas 40 segundos, com custos de apenas alguns centavos.
( 2. Suporte para desenvolvimento em Rust
O SP1 permite que os desenvolvedores escrevam lógica de ZKP em Rust e reutilizem diretamente as bibliotecas do ecossistema Rust existentes. Os desenvolvedores podem utilizar diretamente o código de nós de blockchain existente com pequenas modificações para gerar ZKP, economizando o trabalho de escrever circuitos complexos do zero.
) 3. Mecanismo de pré-compilação
O SP1 introduziu um mecanismo de "pré-compilação", altamente otimizado para operações criptográficas comuns ###, como keccak, sha256 e verificação de assinaturas ###. Essas pré-compilações reduziram drasticamente os custos de computação, melhorando significativamente a eficiência do SP1 ao lidar com cargas de trabalho complexas em blockchain. Por exemplo, o SP1 executa o cliente leve ZK Tendermint, reduzindo o tempo de verificação de 2,2 horas para 4,6 minutos.
( 4. Código aberto e segurança
SP1 é um projeto totalmente open source ) sob a licença MIT/Apache 2.0 ###. Sua arquitetura modular permite que os desenvolvedores personalizem a "pré-compilação", otimizando o desempenho para casos de uso específicos. O SP1 atraiu desenvolvedores de vários projetos conhecidos para contribuir em seu aprimoramento.
Além disso, o SP1 já foi auditado várias vezes por várias das principais empresas de segurança ZK e obteve uma excelente classificação de "zero vulnerabilidades críticas" em competições de auditoria pública.
( 5. Parcerias amplas
Vários projetos conhecidos adotaram o SP1 para construir ZKP, garantindo mais de 1 bilhão de dólares em ativos on-chain )TVL###. Desde Rollup até pontes cross-chain, de oráculos a protocolos de privacidade, o SP1 está se tornando a configuração padrão da infraestrutura blockchain.
Três, Cenários de Aplicação do SP1
SP1 tem várias aplicações no campo da blockchain:
Rollup: Construir ZK Rollup usando SP1, gerar provas de conhecimento zero para a conversão de estado, conectar-se a blockchains principais como Ethereum ou Bitcoin, alcançando alta capacidade de processamento e baixo custo.
Ponte entre cadeias: O SP1 pode verificar o consenso Layer 1 ( como Tendermint ou cliente leve do Ethereum ), construindo uma ponte entre cadeias segura e eficiente.
Interoperabilidade: através do SP1, os Rollups podem alcançar uma rápida determinística e interoperabilidade entre si.
Oráculo: SP1 suporta computação massiva fora da cadeia (, como consultas de estado histórico, aprendizado de máquina na cadeia ), e gera provas verificáveis na cadeia, reduzindo significativamente os custos de Gas.
Privacidade: O SP1 permite transações e estados privados, protegendo a segurança dos dados dos usuários.
Agregação: O SP1 pode agregar ZKP semelhantes, reduzindo ainda mais os custos de verificação na cadeia.
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.
25 Curtidas
Recompensa
25
9
Repostar
Compartilhar
Comentário
0/400
LeekCutter
· 07-29 03:45
é apenas um programador que ainda faz negociação de criptomoedas
Ver originalResponder0
SchrodingerWallet
· 07-28 07:18
Com 28 vezes, pode destruir várias dezenas de zkvm.
Ver originalResponder0
RugpullTherapist
· 07-26 04:26
O mago zkVM fez mais uma das suas.
Ver originalResponder0
ZkProofPudding
· 07-26 04:25
28 vezes mais rápido que é um pouco difícil de acreditar
Ver originalResponder0
GateUser-c802f0e8
· 07-26 04:25
28x realmente é impressionante
Ver originalResponder0
SoliditySlayer
· 07-26 04:20
rust é realmente ótimo
Ver originalResponder0
SnapshotBot
· 07-26 04:13
Este gajo até à lua.
Ver originalResponder0
NFTArtisanHQ
· 07-26 04:02
interseção fascinante de estéticas de conhecimento zero e paradigmas de escalabilidade... simplesmente deslumbrante
Ver originalResponder0
Hash_Bandit
· 07-26 04:00
vinte e oito vezes mais rápido, hein? assim como a mineração com asics vs gpu em '13... otimização de taxa de hash impressionante, não vou mentir
SP1: O desempenho atual do zkVM mais rápido supera o dos concorrentes em 28 vezes.
Succinct SP1: a zkVM mais rápida atualmente
Succinct é um projeto ZK de topo, cujo produto principal SP1 é atualmente o zkVM mais rápido. O projeto já angariou 55 milhões de dólares em financiamento.
O SP1 possui as seguintes características:
• Desempenho líder, velocidade de prova até 28 vezes maior que outros zkVM, com custos significativamente reduzidos.
• Suporte para escrever ZKP em Rust, podendo reutilizar bibliotecas de código existentes, aumentando a eficiência de desenvolvimento em 100 vezes.
• Suporta aplicações de nível de produção, auditadas profissionalmente e adotadas por vários grandes projetos.
1. Introdução ao SP1
SP1 é uma máquina virtual de conhecimento nulo genérica (zkVM), que permite aos desenvolvedores escrever código comum usando Rust ou outras linguagens suportadas pela compilação LLVM, gerando provas de conhecimento nulo eficientes para validar a execução correta do programa.
A principal inovação do SP1 é a redução significativa da barreira de desenvolvimento para provas de conhecimento zero, mantendo ao mesmo tempo um desempenho e flexibilidade excepcionais. Isso torna o desenvolvimento de ZKP tão simples quanto escrever software comum, permitindo que infraestruturas de blockchain (, como Rollup, pontes entre cadeias e oráculos, possam alcançar verificabilidade por meio de código manutenível.
Prova de Conhecimento Zero ) ZKP ( pode provar a correção de um cálculo sem revelar quaisquer dados de entrada. Esta técnica tem ampla aplicação no campo da blockchain, incluindo escalabilidade, interoperabilidade, proteção de privacidade, bem como pontes e oráculos.
No entanto, o desenvolvimento tradicional de ZKP é muito complexo, exigindo uma equipe de criptografia especializada, longos ciclos de desenvolvimento e altos custos de manutenção. O surgimento do SP1 mudou completamente essa situação.
Dois, características do SP1
) 1. Desempenho excepcional
Em cargas de trabalho reais de blockchain ###, como validação de clientes leves, Rollup, etc., o SP1 é de 4 a 28 vezes mais rápido do que outros zkVM, com desempenho que pode até rivalizar circuitos dedicados otimizados manualmente. A versão mais recente do SP1 Turbo (v4.0.0), quando executada em um cluster de GPU, valida blocos da rede principal do Ethereum em apenas 40 segundos, com custos de apenas alguns centavos.
( 2. Suporte para desenvolvimento em Rust
O SP1 permite que os desenvolvedores escrevam lógica de ZKP em Rust e reutilizem diretamente as bibliotecas do ecossistema Rust existentes. Os desenvolvedores podem utilizar diretamente o código de nós de blockchain existente com pequenas modificações para gerar ZKP, economizando o trabalho de escrever circuitos complexos do zero.
) 3. Mecanismo de pré-compilação
O SP1 introduziu um mecanismo de "pré-compilação", altamente otimizado para operações criptográficas comuns ###, como keccak, sha256 e verificação de assinaturas ###. Essas pré-compilações reduziram drasticamente os custos de computação, melhorando significativamente a eficiência do SP1 ao lidar com cargas de trabalho complexas em blockchain. Por exemplo, o SP1 executa o cliente leve ZK Tendermint, reduzindo o tempo de verificação de 2,2 horas para 4,6 minutos.
( 4. Código aberto e segurança
SP1 é um projeto totalmente open source ) sob a licença MIT/Apache 2.0 ###. Sua arquitetura modular permite que os desenvolvedores personalizem a "pré-compilação", otimizando o desempenho para casos de uso específicos. O SP1 atraiu desenvolvedores de vários projetos conhecidos para contribuir em seu aprimoramento.
Além disso, o SP1 já foi auditado várias vezes por várias das principais empresas de segurança ZK e obteve uma excelente classificação de "zero vulnerabilidades críticas" em competições de auditoria pública.
( 5. Parcerias amplas
Vários projetos conhecidos adotaram o SP1 para construir ZKP, garantindo mais de 1 bilhão de dólares em ativos on-chain )TVL###. Desde Rollup até pontes cross-chain, de oráculos a protocolos de privacidade, o SP1 está se tornando a configuração padrão da infraestrutura blockchain.
Três, Cenários de Aplicação do SP1
SP1 tem várias aplicações no campo da blockchain:
Rollup: Construir ZK Rollup usando SP1, gerar provas de conhecimento zero para a conversão de estado, conectar-se a blockchains principais como Ethereum ou Bitcoin, alcançando alta capacidade de processamento e baixo custo.
Ponte entre cadeias: O SP1 pode verificar o consenso Layer 1 ( como Tendermint ou cliente leve do Ethereum ), construindo uma ponte entre cadeias segura e eficiente.
Interoperabilidade: através do SP1, os Rollups podem alcançar uma rápida determinística e interoperabilidade entre si.
Oráculo: SP1 suporta computação massiva fora da cadeia (, como consultas de estado histórico, aprendizado de máquina na cadeia ), e gera provas verificáveis na cadeia, reduzindo significativamente os custos de Gas.
Privacidade: O SP1 permite transações e estados privados, protegendo a segurança dos dados dos usuários.
Agregação: O SP1 pode agregar ZKP semelhantes, reduzindo ainda mais os custos de verificação na cadeia.