Provas de conhecimento zero (ZKPs) são uma daquelas tecnologias que soam como mágica: elas permitem que você prove que algo é verdadeiro sem revelar todos os detalhes. Elas podem proteger blockchains, verificar computações e até mesmo proteger a privacidade online. Mas a mágica muitas vezes vem com um porém – elas são notoriamente difíceis de trabalhar. Configurar a infraestrutura, contratar especialistas em criptografia e construir sistemas de prova personalizados tem sido fora do alcance da maioria das equipes.$PROVE
@Succinct Labs, uma pequena startup de San Francisco, quer mudar isso. A proposta deles é refrescantemente simples: e se usar provas de conhecimento zero fosse tão fácil quanto executar software no seu laptop ou chamar uma API em nuvem?
Para que isso aconteça, eles construíram duas coisas-chave: um poderoso zkVM chamado SP1 e uma Rede Provedora descentralizada que qualquer um pode acessar. Juntas, essas ferramentas visam democratizar o ZK, movendo-o de criptógrafos de nicho para desenvolvedores do dia a dia.
SP1: Um zkVM que parece familiar.
A maioria dos sistemas de zero conhecimento força os desenvolvedores a pensarem como criptógrafos. Você precisa projetar circuitos, aprender linguagens especiais e otimizar para restrições que você nunca ouviu falar. SP1 (abreviação de Provedor Succinto 1) inverte esse modelo.
Em vez de reescrever tudo, você apenas escreve seu código em Rust, C++ ou qualquer linguagem que compile para RISC-V. O SP1 cuida disso, executando seu programa e gerando uma prova de zero conhecimento.
É como se alguém tivesse dado aos desenvolvedores o equivalente a um compilador para provas. Você não precisa saber como o motor funciona por trás dos panos – você apenas escreve código, e o sistema garante que a saída seja verificável.
E não é apenas acessível, é rápido. Os benchmarks mostram que o SP1 pode ser dezenas de vezes mais rápido do que os zkVMs anteriores. O sistema também suporta recursos avançados como recursão (provas dentro de provas) e possui módulos pré-construídos otimizados para operações criptográficas comuns como hashing e curvas elípticas.
Importante, o SP1 é de código aberto e auditado, então não é uma caixa preta. Equipes como Celestia, Mantle, Polygon e Lido já estão construindo produtos reais com isso.
A Rede Provedora: ZK como um Serviço.
Mesmo com o SP1, executar computações pesadas de provas em seus próprios servidores pode ser assustador. É aí que a Rede Provedora do Succinct entra.
Pense nisso como um mercado descentralizado para provas. Os desenvolvedores submetem trabalhos (programas mais entradas), e provedores independentes fazem lances pela chance de gerar a prova. O provedor vencedor usa o SP1, envia o resultado e recebe o pagamento.
Por que isso importa? Porque os desenvolvedores não precisam de hardware especializado, fazendas de GPU ou criptógrafos no quadro. Eles apenas se conectam à rede, e por baixo dos panos, as provas estão sendo processadas em GPUs, FPGAs e outras máquinas de alto desempenho.
A própria rede é coordenada por contratos inteligentes da Ethereum. Pagamentos, staking e verificação acontecem de forma transparente on-chain. Provedores apostam um token chamado PROVE para participar, alinhando incentivos e garantindo segurança.
Na prática, esse design significa:
Finalização mais rápida: A World Chain cortou os tempos de finalização de sete dias para cerca de uma hora.
Custos mais baixos: Provas agregadas reduzem taxas de gás para verificação.
Confiabilidade: Múltiplos provedores competem, portanto a disponibilidade se mantém alta.
A partir de 2025, a rede já lidou com mais de 5 milhões de provas, garantindo mais de 4 bilhões de dólares em valor. Isso não é uma demonstração de testnet, é escala de produção.
Por que essa arquitetura funciona.
A abordagem do Succinct parece nova porque se inspira no melhor de ambos os mundos.
Off-chain: Todo o trabalho pesado (executando SP1, processando provas) acontece rapidamente em hardware especializado.
On-chain: A liquidação, pagamentos e verificação são registrados na Ethereum, com as provas do SP1 garantindo que tudo seja auditável.
Até mesmo a contabilidade da própria rede é comprovada – saldos, atribuições de trabalho e pagamentos são implementados como aplicações verificáveis em RISC-V. Em outras palavras, a rede se prova.
Esse design recursivo e autossuficiente é o que dá ao Succinct sua credibilidade. Os desenvolvedores não precisam confiar nos servidores do Succinct – eles podem verificar a matemática por conta própria.
Casos de Uso do Mundo Real.
Como o SP1 é de uso geral, a gama de casos de uso é ampla:
Escalando blockchains: Mantle e outros rollups estão usando SP1 para se tornarem zkRollups, reduzindo drasticamente os tempos de confirmação.
Pontes cross-chain: Succinct impulsionou o IBC Eureka, conectando mais de 120 cadeias Cosmos com Ethereum.
Aplicativos de interoperabilidade: Uma parceria com a LayerZero introduziu vApps que combinam mensagens cross-chain com provas.
DeFi e trading: Projetos usam SP1 para oráculos e livros de ordens on-chain.
Identidade e privacidade: De rifas verificáveis a votação privada, o SP1 suporta aplicações leves que preservam a privacidade.
Clientes leves: Clientes de blockchain inteiros (como Tendermint) podem ser provados de forma sucinta, permitindo carteiras móveis seguras.
O tema é consistente: em vez de reinventar o ZK para cada projeto, os desenvolvedores podem simplesmente se conectar ao SP1 e à Rede Provedora.
Momento de Adoção.
Succinct não é apenas teoria – está ganhando tração rapidamente.
Arbitrum: Um contrato exclusivo de um ano com Tandem (Offchain Labs) para trazer a prova ZK para as cadeias Arbitrum.
OP Stack: A cadeia do Worldcoin usou SP1 para cortar a finalização para uma hora. Outros projetos do OP Stack estão experimentando com configurações similares.
Polygon, Celestia, Lido, Near, Avail: Todos construindo ou experimentando com SP1.
Parceiros de hardware: Equipes como Cysic e ZAN estão se juntando à rede, com a ZAN mostrando aumentos de 20x usando FPGAs.
Em paralelo, o Succinct lançou a Fundação Succinct, agora trabalhando com quase 40 protocolos para financiar e expandir o ecossistema.
Como se Destaca.
Comparado ao zkSync, Polygon zkEVM ou StarkWare, o Succinct é menos sobre possuir uma cadeia e mais sobre ser a camada de prova universal. Enquanto outros otimizam para Ethereum especificamente, o zkVM RISC-V do Succinct pode lidar com qualquer programa, em qualquer cadeia.
Essa abordagem de uso geral é a razão pela qual seus parceiros variam de rollups L2 a projetos de IA. Não está atada a um ecossistema – é uma plataforma de prova neutra.
Equipe, Financiamento e Visão.
O Succinct Labs foi fundado por Uma Roy (ex-Google Brain) e John Guibas (formação no MIT). A equipe ainda é pequena – menos de dez engenheiros – mas eles levantaram cerca de 66 milhões de dólares em rodadas de seed e Série A lideradas pela Paradigm, com apoio de anjos de grandes nomes do cripto.
A visão deles é direta, mas ambiciosa: trazer ZK para o mainstream fazendo com que pareça computação em nuvem. O CEO Uma Roy coloca de forma simples: as provas se tornarão a maneira padrão pela qual a internet estabelece confiança. O CTO John Guibas chama a infraestrutura da Rede Provedora de escala da internet.
Por que isso importa.
@Succinct está enfrentando um problema difícil, mas crítico: transformar provas de zero conhecimento de uma ferramenta especializada de criptógrafos em infraestrutura do dia a dia. Ao combinar o SP1 (o zkVM que torna as provas acessíveis) com a Rede Provedora (o mercado que torna as provas escaláveis), eles estão construindo uma nova cadeia de suprimento de provas.
Se eles tiverem sucesso, os desenvolvedores não precisarão pensar em ZK de forma alguma – eles apenas escreverão código, executá-lo-ão e receberão de volta uma prova que o mundo pode confiar.
Essa é uma grande mudança. E isso pode fazer com que o Succinct não seja apenas mais um projeto de blockchain, mas a camada de prova para a própria internet.
