🎥 Novo chat à lareira: Dentro do SP1 com @tamirhemo, Chefe de Criptografia na @SuccinctLabs. Mergulhamos fundo na arquitetura do SP1, avanços de desempenho e o que é necessário para garantir VMs ZK de nível de produção. Marcos temporais: 0:00 O que é o SP1 e a missão da Succinct 2:31 Por que as VMs ZK são mais gerais do que circuitos ZK personalizados 3:30 Hipercubo & prova em tempo real em EthProofs 4:30 Decisões de design por trás dos ganhos de desempenho do SP1 7:36 Teoria vs trade-offs de aritmética 10:19 Superfícies de ataque do SP1 & mitigação 14:04 Provedores de teoremas interativos vs ferramentas SMT (Picus) 15:36 Integração de ferramentas & o que ainda está faltando 18:18 Pré-compilações: quando adicioná-las & impacto na segurança 20:24 É “compilar-para-circuito” um dual útil para VMs ZK? 21:12 Garantias do provador, implantação e riscos de privacidade 24:04 Provas incrementais: provas locais + de servidor 26:14 Provas vs conjecturas & priorização criptográfica 29:23 Nova criptografia & o que mais entusiasma Tamir 32:01 Aplicações construindo sobre o SP1 34:45 Rede de provadores vs serviços de prova privada 36:55 Cronograma para prova em casa para 99% dos blocos 39:34 O mais difícil 1%: gargalos de 12 segundos 42:08 Blocos adversariais & opcodes “matadores de provadores” 43:18 Além do Ethereum: outras cargas de trabalho do SP1 45:16 O que vem a seguir para o SP1 47:15 Considerações finais Apresentado por @bensepanski da @VeridiseInc, filmado em Buenos Aires, 17 de novembro de 2025 🇦🇷 Recapitulação do vídeo abaixo 🧵 1/5

Tamir explica por que a Succinct passou de circuitos ZK personalizados para um ZK-VM de propósito geral, e por que o SP1 é centrado em pré-compilações: circuitos otimizados onde importa, programas flexíveis em todo o lado. O objetivo não é provar cada ciclo — o SP1 prova o comportamento prometido do programa. 2/5

🚀 Destaques de desempenho O SP1 Hypercube agora prova ~99,7% dos blocos Ethereum em menos de 12s com ~16 GPUs — atingindo o limite para hardware de consumo. Principais desbloqueios: polinômios multilineares, melhor liberdade de aritmética e remoção de gargalos de recursão. 3/5

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