Succinct é um projeto ZK de topo que recebeu 55 milhões de dólares em financiamento, e seu produto principal SP1 é considerado a zkVM mais rápida atualmente.
O SP1 possui as seguintes características destacadas:
Desempenho excecional, a velocidade de prova pode ser até 28 vezes superior à de outros zkVM, com custos reduzidos para uma fração do original.
Permitir que os desenvolvedores escrevam ZKP em Rust, reutilizando bibliotecas de código existentes, aumentando significativamente a eficiência do desenvolvimento.
Suporta cenários de aplicações de nível de produção, já foi auditado por autoridades 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 comum usando Rust ou outras linguagens suportadas pela compilação LLVM, gerando assim provas de conhecimento zero eficientes para verificar a execução correta dos programas.
A inovação central do SP1 reside na redução significativa da barreira de desenvolvimento para provas de conhecimento zero, mantendo ao mesmo tempo um desempenho e flexibilidade de topo. Isso torna o desenvolvimento de ZKP tão simples quanto escrever software comum, permitindo que a infraestrutura blockchain (como Rollup, pontes entre cadeias, oráculos, etc.) alcance a verificabilidade através de código manutenível.
A tecnologia de prova de conhecimento zero (ZKP) pode provar a correção de um cálculo sem revelar qualquer dado de entrada. Essa capacidade tem amplas aplicações no campo da blockchain, incluindo escalabilidade, interoperabilidade entre cadeias, proteção de privacidade, ponte e oráculos.
No entanto, a complexidade do desenvolvimento tradicional de ZKP sempre foi um grande desafio. A chegada do SP1 mudou completamente essa situação.
Principais características do SP1
Desempenho excepcional
O SP1 é de 4 a 28 vezes mais rápido do que outros zkVM em cargas de trabalho de blockchain reais (como validação de clientes leves, Rollup, etc.), e o desempenho pode até rivalizar circuitos dedicados otimizados manualmente. A versão mais recente, SP1 Turbo (v4.0.0), ao ser executada em um cluster de GPU, leva apenas 40 segundos para validar blocos da mainnet do Ethereum, com custo de apenas alguns centavos.
Suporte ao desenvolvimento na linguagem Rust
O SP1 permite que os desenvolvedores escrevam lógica ZKP em Rust e reutilizem diretamente as bibliotecas do ecossistema Rust existentes. Isso simplifica muito o processo de desenvolvimento, permitindo que os desenvolvedores utilizem diretamente o código de nós de blockchain existente para modificações, gerando ZKP e economizando o trabalho de escrever circuitos complexos desde o início.
Mecanismo de pré-compilação
O SP1 introduziu um mecanismo de "pré-compilação", que foi altamente otimizado para operações criptográficas comuns (como keccak, sha256, verificação de assinatura, etc.). Essas pré-compilações reduziram significativamente o custo computacional, melhorando de forma notável a eficiência do SP1 em lidar com cargas de trabalho complexas na blockchain.
Código aberto e segurança
SP1 é um projeto completamente open source, licenciado sob MIT/Apache 2.0. Sua arquitetura modular permite que os desenvolvedores personalizem o "pré-compilado", otimizando o desempenho para casos de uso específicos. O SP1 foi auditado várias vezes por diversas empresas de segurança ZK de topo e obteve um excelente resultado de "zero vulnerabilidades críticas" em competições de auditoria pública.
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 Rollups até pontes entre cadeias, desde oráculos até protocolos de privacidade, o SP1 está se tornando uma parte importante da infraestrutura de blockchain.
Cenários de aplicação do SP1
SP1 tem várias aplicações no campo da blockchain:
Rollup: Utilizar SP1 para construir ZK Rollup, gerar provas de conhecimento zero para a transição de estado, conectando à cadeia principal para alcançar alta capacidade e baixo custo.
Ponte Inter-Blockchain: O SP1 pode verificar o consenso da Layer 1, construindo uma ponte inter-blockchain segura e eficiente.
Interoperabilidade: Através do SP1, os Rollups podem alcançar determinismo rápido e interoperabilidade entre si.
Oráculo: SP1 suporta cálculos em larga escala fora da 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 o custo de verificação na cadeia.
De um modo geral, o SP1, como um projeto zkVM de alto desempenho e fácil de usar, está a fornecer um apoio importante ao desenvolvimento da infraestrutura blockchain.
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.
16 Curtidas
Recompensa
16
7
Compartilhar
Comentário
0/400
DataBartender
· 17h atrás
rust voando rápido
Ver originalResponder0
GasGuzzler
· 18h atrás
Rápido, lança um white paper e vamos ganhar dinheiro.
Ver originalResponder0
alpha_leaker
· 08-04 12:11
Finalmente posso usar Rust, é ótimo
Ver originalResponder0
MEV_Whisperer
· 08-02 21:07
A velocidade está muito mais rápida do que antes. Estou ansioso.
SP1: Projeto de zkVM de topo com 28 vezes mais velocidade arrecada 55 milhões de dólares
Succinct: o projeto zkVM mais rápido SP1
Succinct é um projeto ZK de topo que recebeu 55 milhões de dólares em financiamento, e seu produto principal SP1 é considerado a zkVM mais rápida atualmente.
O SP1 possui as seguintes características destacadas:
Introdução ao SP1
SP1 é uma máquina virtual de conhecimento zero genérica (zkVM), que permite aos desenvolvedores escrever código comum usando Rust ou outras linguagens suportadas pela compilação LLVM, gerando assim provas de conhecimento zero eficientes para verificar a execução correta dos programas.
A inovação central do SP1 reside na redução significativa da barreira de desenvolvimento para provas de conhecimento zero, mantendo ao mesmo tempo um desempenho e flexibilidade de topo. Isso torna o desenvolvimento de ZKP tão simples quanto escrever software comum, permitindo que a infraestrutura blockchain (como Rollup, pontes entre cadeias, oráculos, etc.) alcance a verificabilidade através de código manutenível.
A tecnologia de prova de conhecimento zero (ZKP) pode provar a correção de um cálculo sem revelar qualquer dado de entrada. Essa capacidade tem amplas aplicações no campo da blockchain, incluindo escalabilidade, interoperabilidade entre cadeias, proteção de privacidade, ponte e oráculos.
No entanto, a complexidade do desenvolvimento tradicional de ZKP sempre foi um grande desafio. A chegada do SP1 mudou completamente essa situação.
Principais características do SP1
O SP1 é de 4 a 28 vezes mais rápido do que outros zkVM em cargas de trabalho de blockchain reais (como validação de clientes leves, Rollup, etc.), e o desempenho pode até rivalizar circuitos dedicados otimizados manualmente. A versão mais recente, SP1 Turbo (v4.0.0), ao ser executada em um cluster de GPU, leva apenas 40 segundos para validar blocos da mainnet do Ethereum, com custo de apenas alguns centavos.
O SP1 permite que os desenvolvedores escrevam lógica ZKP em Rust e reutilizem diretamente as bibliotecas do ecossistema Rust existentes. Isso simplifica muito o processo de desenvolvimento, permitindo que os desenvolvedores utilizem diretamente o código de nós de blockchain existente para modificações, gerando ZKP e economizando o trabalho de escrever circuitos complexos desde o início.
O SP1 introduziu um mecanismo de "pré-compilação", que foi altamente otimizado para operações criptográficas comuns (como keccak, sha256, verificação de assinatura, etc.). Essas pré-compilações reduziram significativamente o custo computacional, melhorando de forma notável a eficiência do SP1 em lidar com cargas de trabalho complexas na blockchain.
SP1 é um projeto completamente open source, licenciado sob MIT/Apache 2.0. Sua arquitetura modular permite que os desenvolvedores personalizem o "pré-compilado", otimizando o desempenho para casos de uso específicos. O SP1 foi auditado várias vezes por diversas empresas de segurança ZK de topo e obteve um excelente resultado de "zero vulnerabilidades críticas" em competições de auditoria pública.
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 Rollups até pontes entre cadeias, desde oráculos até protocolos de privacidade, o SP1 está se tornando uma parte importante da infraestrutura de blockchain.
Cenários de aplicação do SP1
SP1 tem várias aplicações no campo da blockchain:
Rollup: Utilizar SP1 para construir ZK Rollup, gerar provas de conhecimento zero para a transição de estado, conectando à cadeia principal para alcançar alta capacidade e baixo custo.
Ponte Inter-Blockchain: O SP1 pode verificar o consenso da Layer 1, construindo uma ponte inter-blockchain segura e eficiente.
Interoperabilidade: Através do SP1, os Rollups podem alcançar determinismo rápido e interoperabilidade entre si.
Oráculo: SP1 suporta cálculos em larga escala fora da 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 o custo de verificação na cadeia.
De um modo geral, o SP1, como um projeto zkVM de alto desempenho e fácil de usar, está a fornecer um apoio importante ao desenvolvimento da infraestrutura blockchain.