Succinct: O projeto ZK líder e a sua tecnologia SP1

Succinct é um projeto de prova de zero conhecimento de topo (ZK), tendo já completado duas rodadas de financiamento, totalizando 55 milhões de dólares. O produto central do projeto, SP1, é considerado a máquina virtual de zero conhecimento mais rápida atualmente (zkVM).

As principais vantagens do SP1 incluem:

• Desempenho excepcional, com velocidade de prova até 28 vezes mais rápida do que outros zkVM, com custos significativamente reduzidos.
• Suporte para a escrita de ZKP na linguagem Rust, permitindo a reutilização da biblioteca de código existente e aumentando significativamente a eficiência do desenvolvimento.
• Adequado para cenários de aplicações em produção, passou por rigorosas auditorias de segurança e já foi adotado por vários projetos conhecidos.

Introdução ao SP1

SP1 é uma zkVM de uso geral que permite aos desenvolvedores escrever código comum usando Rust ou outras linguagens compatíveis com a compilação LLVM, gerando provas de conhecimento zero eficientes para verificar a execução correta dos programas.

A inovação central do SP1 reside na drástica redução da barreira de entrada para o desenvolvimento de ZKP, 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 cross-chain e oráculos, ) alcance a verificabilidade através de código mantível.

A tecnologia ZKP tem ampla aplicação no campo da blockchain, incluindo:

• Escalabilidade: comprimir um grande número de transações em uma prova através do Rollup, aliviando a carga da cadeia principal.
• Interoperabilidade: verificar o estado de diferentes cadeias, promovendo a comunicação entre cadeias.
• Proteção da privacidade: garantir a privacidade de transações ou estados, protegendo os dados dos usuários.
• Ponte e oráculo: implementação de verificação sem confiança em cadeia para dados ou cálculos fora da cadeia.

A emergência do SP1 mudou completamente a situação tradicional do desenvolvimento de ZKP, que era complexo, demorado e caro.

Principais características do SP1

1. zkVM de desempenho líder

Em cargas de trabalho reais de blockchain, o SP1 é de 4 a 28 vezes mais rápido que outros zkVM, chegando perto do desempenho de circuitos dedicados otimizados manualmente. A versão mais recente, SP1 Turbo (v4.0.0), valida blocos da mainnet Ethereum em um cluster de GPU em apenas 40 segundos, com um custo extremamente baixo.

2. Suporte a ZKP escrito em Rust

O SP1 permite que os desenvolvedores usem Rust para escrever lógica de ZKP e reutilizem diretamente as bibliotecas existentes do ecossistema Rust. Os desenvolvedores podem aproveitar diretamente o código dos nós de blockchain existentes e, com pequenas modificações, gerar ZKP, simplificando significativamente o processo de desenvolvimento.

3. Mecanismo de pré-compilação

O SP1 introduz um mecanismo de "pré-compilação" que otimiza significativamente operações criptográficas comuns, reduzindo consideravelmente o custo computacional. Por exemplo, o tempo de validação do cliente leve ZK Tendermint no SP1 foi reduzido de 2,2 horas para 4,6 minutos.

4. Código aberto e segurança

SP1 é completamente open source ( sob licença MIT/Apache 2.0 ), cuja arquitetura modular permite que os desenvolvedores personalizem a "pré-compilação", otimizando o desempenho para casos de uso específicos. SP1 foi auditado por várias das principais empresas de segurança ZK e obteve uma pontuação de zero vulnerabilidades críticas em competições de auditoria públicas.

5. Cooperaçã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 uma parte importante da infraestrutura de blockchain, com uma gama de aplicações que incluem Rollup, pontes cross-chain, oráculos e protocolos de privacidade.

Cenários de Aplicação do SP1

SP1 tem várias aplicações no campo da blockchain:

• Rollup: Construir ZK Rollup, gerar provas de conhecimento zero para a transição de estado, conectar à cadeia principal para alcançar alta capacidade e baixo custo.
• Ponte entre cadeias: validação do consenso da Layer 1, construção de uma ponte entre cadeias segura e eficiente.
• Interoperabilidade: alcançar determinação rápida e interoperabilidade entre Rollups.
• Oráculo: suporta cálculos em larga escala fora da cadeia e gera provas verificáveis na cadeia, reduzindo o custo do Gas.
• Proteção de privacidade: realizar transações e estados secretos, protegendo os dados dos usuários.
• Agregação: agrega ZKP semelhantes, reduzindo ainda mais o custo de verificação na cadeia.

A chegada do SP1 trouxe uma mudança revolucionária na infraestrutura da blockchain, pavimentando o caminho para mais aplicações inovadoras.