🎥 Nuovo incontro informale: Dentro SP1 con @tamirhemo, Responsabile della crittografia presso @SuccinctLabs. Ci immergiamo nel profondo dell'architettura di SP1, delle innovazioni nelle prestazioni e di cosa serve per garantire ZK-VM di livello produttivo. Timestamp: 0:00 Cos'è SP1 e la missione di Succinct 2:31 Perché i ZK-VM sono più generali rispetto ai circuiti ZK su misura 3:30 Ipercubica e dimostrazione in tempo reale in EthProofs 4:30 Decisioni di design dietro i guadagni di prestazione di SP1 7:36 Teoria vs compromessi di aritmetizzazione 10:19 Superfici di attacco di SP1 e mitigazioni 14:04 Provatori interattivi vs strumenti SMT (Picus) 15:36 Integrazione degli strumenti e cosa manca ancora 18:18 Precompilazioni: quando aggiungerle e impatto sulla sicurezza 20:24 È "compila-in-circuito" un utile duale per i ZK-VM? 21:12 Garanzie del provatore, distribuzione e rischi per la privacy 24:04 Dimostrazione incrementale: prove locali + server 26:14 Prove vs congetture e priorità crittografiche 29:23 Nuova crittografia e cosa entusiasma di più Tamir 32:01 Applicazioni che si costruiscono su SP1 34:45 Rete di provatori vs servizi di dimostrazione privati 36:55 Tempistiche per la dimostrazione a casa per il 99% dei blocchi 39:34 L'1% più difficile: colli di bottiglia di 12 secondi 42:08 Blocchi avversariali e opcodes "killer del provatore" 43:18 Oltre Ethereum: altri carichi di lavoro di SP1 45:16 Cosa c'è in serbo per SP1 47:15 Osservazioni finali Ospitato da @bensepanski di @VeridiseInc, filmato a Buenos Aires, 17 novembre 2025 🇦🇷 Riepilogo video qui sotto 🧵 1/5

Tamir spiega perché Succinct è passato da circuiti ZK su misura a un ZK-VM di uso generale, e perché SP1 è incentrato sui precompilati: circuiti ottimizzati dove conta, programmi flessibili altrove. L'obiettivo non è dimostrare ogni ciclo — SP1 dimostra il comportamento promesso del programma. 2/5

🚀 Punti salienti delle prestazioni SP1 Hypercube ora prova ~99,7% dei blocchi di Ethereum in meno di 12 secondi con ~16 GPU — raggiungendo la soglia per l'hardware di consumo. Sblocchi chiave: polinomi multilineari, maggiore libertà di aritmetizzazione e rimozione dei colli di bottiglia della ricorsione. 3/5

La sicurezza è al centro dell'attenzione. Tamir spiega come vengono mitigati i punti di attacco, gli opcodes prover-killer e perché la verifica formale è essenziale per i ZK-VM. @SuccinctLabs collabora con @VeridiseInc per verificare formalmente i circuiti SP1 utilizzando Picus per eliminare i bug prima della spedizione. 4/5