🎥 Nuevo chat junto a la chimenea: Inside SP1 con @tamirhemo, jefe de criptografía en @SuccinctLabs. Profundizamos en la arquitectura de SP1, los avances en rendimiento y lo que se necesita para asegurar ZK-VMs de calidad de producción. Marcas de tiempo: 0:00 ¿Cuál es la misión de SP1 y Succinct? 2:31 Por qué las ZK-VM son más generales que los circuitos ZK personalizados 3:30 Hipercubo y demostración en tiempo real en EthProofs 4:30 Decisiones de diseño detrás de las mejoras de rendimiento de SP1 7:36 Compensaciones entre teoría y aritmética 10:19 Superficies de ataque SP1 y mitigaciones 14:04 Demostradores interactivos de teoremas vs herramientas SMT (Picus) 15:36 Integración de herramientas y qué falta aún 18:18 Precompilaciones: cuándo añadirlas y el impacto en la seguridad 20:24 ¿Es "compilar a circuito" un dual útil de ZK-VMs? Garantías de Prover, despliegue y riesgos de privacidad 21:12 24:04 Demostración incremental: pruebas locales + de servidor 26:14 Demostraciones vs conjeturas y priorización criptográfica 29:23 Nueva criptografía y qué más entusiasma a Tamir 32:01 Aplicaciones que se construyen sobre SP1 34:45 Red de prueba vs servicios privados de demostración 36:55 Cronología para demostrar en casa en el 99% de los bloques 39:34 El 1% más difícil: cuellos de botella de 12 segundos 42:08 Bloqueos adversariales y códigos de operación "prover-killer" 43:18 Más allá de Ethereum: otras cargas de trabajo de SP1 45:16 ¿Qué sigue para SP1? 47:15 Palabras finales Presentado por @bensepanski de @VeridiseInc, rodado en Buenos Aires, 17 de noviembre de 2025 🇦🇷 Resumen en vídeo a continuación 🧵 1/5

Tamir explica por qué Succinct pasó de circuitos ZK personalizados a una ZK-VM de propósito general, y por qué SP1 está centrado en la precompilación: circuitos optimizados donde importa, programas flexibles en todas partes. El objetivo no es demostrar en cada ciclo — SP1 demuestra el comportamiento prometido del programa. 2/5

🚀 Aspectos destacados de la actuación SP1 Hypercube demuestra ahora que el ~99,7% de Ethereum bloquea por debajo de 12 con ~16 GPUs — alcanzando el umbral para hardware de nivel consumidor. Desbloqueos de clave: polinomios multilineales, mejor libertad de aritmética y eliminación de cuellos de botella de recursión. 3/5

La seguridad está en primer plano. Tamir explica cómo se mitigan las superficies de ataque, los códigos de operación prover-killer y por qué la verificación formal es esencial para las ZK-VMs. @SuccinctLabs trabaja con @VeridiseInc para verificar formalmente los circuitos SP1 usando Picus para eliminar errores antes de que se envíen. 4/5