🎥 Nova conversa à beira da lareira: Inside SP1 com @tamirhemo, chefe de criptografia da @SuccinctLabs. Aprofundamos a arquitetura do SP1, avanços em desempenho e o que é necessário para garantir ZK-VMs de produção em nível de produção. Carimbos de data: 0:00 Qual é a missão de SP1 e Succinct 2:31 Por que as ZK-VMs são mais gerais do que circuitos ZK personalizados 3:30 Hipercubo e demonstração em tempo real em EthProofs 4:30 Decisões de design por trás dos ganhos de desempenho do SP1 7:36 Trade-offs entre teoria e aritmética 10:19 Superfícies de ataque SP1 e mitigações 14:04 Provadores interativos de teoremas vs ferramentas SMT (Picus) 15:36 Integração de ferramentas e o que ainda está faltando 18:18 Pré-compilações: quando adicioná-las e impacto na segurança 20:24 "compile-to-circuit" é um dual útil para ZK-VMs? Garantias de Prover, implantação e riscos de privacidade 21:12 24:04 Provação incremental: local + provas de servidor 26:14 Provas vs conjecturas & priorização criptográfica 29:23 Nova criptografia & o que mais empolga Tamir 32:01 Aplicações construindo no SP1 34:45 Rede Prover vs serviços privados de prova 36:55 Cronograma para provar em casa em 99% dos bloqueios 39:34 O 1% mais difícil: gargalos de 12 segundos 42:08 Bloqueios adversariais & códigos de operação "prover-killer" 43:18 Além do Ethereum: outras cargas de trabalho do SP1 45:16 O que vem a seguir para o SP1 47:15 Observações finais Apresentado por @bensepanski de @VeridiseInc, filmado em Buenos Aires, 17 de novembro de 2025 🇦🇷 Resumo do vídeo abaixo 🧵 1/5

Tamir explica por que a Succinct passou de circuitos ZK personalizados para uma ZK-VM de uso geral, e por que o SP1 é centrado em pré-compilação: circuitos otimizados onde importa, programas flexíveis em todos os outros lugares. O objetivo não é provar todo ciclo — o SP1 prova o comportamento prometido pelo programa. 2/5

🚀 Destaques das apresentações O SP1 Hypercube agora comprova que ~99,7% dos blocos Ethereum são abaixo de 12s com ~16 GPUs — atingindo o limite para hardware de nível consumidor. Desbloqueios de chave: polinômios multilineares, melhor liberdade de aritmetização e remoção de gargalos de recursão. 3/5

A segurança está em primeiro plano. Tamir explica como superfícies de ataque são mitigadas, os opcodes prove-killer e por que a verificação formal é essencial para as ZK-VMs. @SuccinctLabs trabalha com @VeridiseInc para verificar formalmente circuitos SP1 usando Picus para eliminar bugs antes de serem enviados. 4/5