Se você passou algum tempo em círculos de blockchain ou criptografia, provavelmente ouviu o burburinho sobre provas de conhecimento zero (ZKPs). Elas são uma parte inteligente da matemática que permite provar que algo é verdadeiro sem mostrar por que é verdadeiro, meio que como provar que você conhece a senha sem realmente digitá-la na frente de alguém.
ZKPs podem potencializar privacidade, segurança e escalabilidade na Web3. Mas aqui está a pegadinha: gerar essas provas tem sido tradicionalmente doloroso — é lento, caro e muitas vezes requer um entendimento em nível de doutorado de criptografia.$PROVE
@Succinct Labs, uma startup pequena, mas bem financiada, do Vale do Silício, quer mudar isso. Fundada em 2022 por Uma Roy e uma equipe de veteranos em criptografia, levantaram 55 milhões de Paradigm e outros investidores famosos para tornar ZKPs fáceis de usar, rápidas de gerar e, mais importante, disponíveis para todos.
A abordagem deles se resume a duas inovações principais:
1. Uma Rede de Provas descentralizada — um mercado global e aberto onde qualquer um pode solicitar ou gerar provas ZK
2. SP1, uma máquina virtual de conhecimento zero de alto desempenho e propósito geral (zkVM) que pode provar a execução de qualquer programa
Junte-os, e você obtém algo como computação em nuvem para provas, exceto que, em vez de confiar na Amazon ou no Google, você está acessando uma rede descentralizada que é incentivada a ser rápida, barata e honesta.
O Grande Problema: Provas ZK São Poderosas, mas Dolorosas
Provas de conhecimento zero existem há décadas, mas até recentemente eram principalmente brinquedos acadêmicos. No blockchain, agora são usados para:
Escalonamento (zkRollups na Ethereum)
Privacidade (transações blindadas)
Pontes (verificando eventos entre cadeias sem confiar em intermediários)
A pegadinha? Para usar ZKPs, você ou:
Contrate uma equipe rara e cara de engenharia ZK para projetar circuitos personalizados para sua lógica
Configure e mantenha seus próprios servidores de alta potência com GPUs ou FPGAs para gerar provas
Ou pague um serviço centralizado para fazer isso por você e espere que eles não fiquem offline
@Succinct a aposta é simples: e se a geração de provas fosse tão fácil de terceirizar quanto armazenamento de arquivos ou poder computacional? É aí que entra a Rede de Provas deles.
A Rede de Provas Succinct — Provas Sob Demanda
Pense na Rede de Provas como um mercado para matemática.
De um lado, você tem solicitantes — projetos, aplicativos ou blockchains que precisam de provas. Do outro lado, você tem provadores — pessoas ou organizações que operam hardware de alto desempenho que podem gerar essas provas.
Aqui está como funciona:
1. Um solicitante envia um trabalho: Eu preciso de uma prova de que este programa foi executado corretamente, e eu pagarei X tokens
2. Os provadores fazem lances para realizar o trabalho — competindo tanto em preço quanto em velocidade
3. O vencedor gera a prova, a envia de volta e é pago
4. Se eles falharem ou enganarem, perdem sua participação mantida no token PROVE da rede
É sem permissão — qualquer pessoa com o hardware certo pode entrar como provador — e é descentralizado, então nenhuma empresa única controla quem pode provar o quê. Os trabalhos são combinados por um leilão automatizado, não por um guardião central.
O design tem alguns efeitos colaterais interessantes:
Custos mais baixos: a competição empurra os preços para baixo
Tempo de resposta mais rápido: provadores se otimizam para ganhar trabalhos
Confiabilidade: se um provador desaparecer, outro pode entrar
Sem dor de configuração: os solicitantes não precisam executar nenhum hardware de prova
Em resumo, é como AWS para provas ZK, exceto que a AWS é substituída por um enxame de operadores independentes correndo para atendê-lo primeiro.
SP1 — O zkVM Que Prova Qualquer Coisa
Se a Rede de Provas é o mercado, SP1 é o motor. É a máquina virtual de conhecimento zero construída sob medida da Succinct que pode executar qualquer programa compilado para a arquitetura RISC-V e gerar uma prova de sua execução.$PROVE
Por que isso importa? A maioria dos sistemas ZK é especializada — um zkEVM pode provar transações Ethereum, mas não um modelo de IA personalizado ou um mecanismo de jogo. O SP1 é de propósito geral. Se você pode escrevê-lo em Rust ou C++, o SP1 pode prová-lo. Isso significa:
Sem aprender linguagens ZK exóticas
Sem circuitos criptográficos feitos à mão
Sem ciclos de desenvolvimento de meses apenas para obter uma prova
E é rápido. Realmente rápido. Benchmarks independentes mostram que o provador SP1 executa certos programas até 28× mais rápido do que zkVMs comparáveis. Está repleto de otimizações para operações criptográficas comuns, como hashing, verificações de assinatura e curvas elípticas, e pode até aproveitar GPUs ou FPGAs para grandes aumentos de velocidade.
Melhor de tudo, SP1 é de código aberto e auditado, então os desenvolvedores podem inspecioná-lo, confiar nele e até melhorá-lo.
Por que Eles Funcionam Tão Bem Juntos
Aqui está a mágica:
O SP1 facilita a escrita de programas que podem ser provados
A Rede de Provas facilita a geração dessas provas em escala, sem precisar executar sua própria infraestrutura
Para um desenvolvedor, o fluxo é simples:
1. Escreva sua lógica em código normal
2. Compile para SP1
3. Envie solicitações de prova para a rede
4. Receba uma prova que você pode verificar na cadeia ou em qualquer outro lugar
Sem doutorado em criptografia. Sem fazenda de GPUs na sua garagem. Apenas provas funcionando.
Prova do Mundo Real
A abordagem da Succinct não é apenas teoria — já está em produção:
A Rede Mantle está em transição de um Rollup Otimista para um zkRollup alimentado pela Succinct
A ponte Cosmos para Ethereum agora usa as provas da Succinct para conectar mais de 120 cadeias
World Chain da equipe Worldcoin usa Succinct para reduzir a finalização de transações de 7 dias para 1 hora
Galxe usa SP1 para provar que sorteios na cadeia são justos
Projetos de hackathon até usaram SP1 para provar edições de imagens em um navegador
Estes são casos de uso muito diferentes, mas todos dependem da mesma infraestrutura central — prova de propósito geral mais um mercado descentralizado para executá-la.
Como se Compara
Comparado a outros esforços ZK, a Succinct se destaca por algumas razões:
De propósito geral — não preso a um blockchain ou tipo de transação
Provedores descentralizados — nenhum ponto único de falha ou controle
Eficiência orientada pelo mercado — leilões mantêm preços baixos e velocidades altas
Amigável para desenvolvedores — escreva em Rust ou C++, sem necessidade de aprender novas linguagens
Testados em batalha — já alimentando sistemas ao vivo em escala
O Quadro Maior
@Succinct Labs não está apenas construindo outra ferramenta de blockchain, eles estão construindo uma camada de infraestrutura para computação sem confiança. Se tiverem sucesso, as provas ZK poderiam passar de um nicho exótico para uma parte cotidiana do software, muito como os certificados SSL fizeram pela segurança na web.
Ao tornar as provas fáceis de escrever com SP1 e fáceis de executar com a Rede de Provas, eles estão baixando a barreira para que qualquer desenvolvedor possa construir sistemas verificáveis. E estão fazendo isso sem sacrificar descentralização, desempenho ou abertura.
A longo prazo, isso poderia significar uma web onde você nunca precisa aceitar a palavra de alguém — você pode apenas verificar a prova.
