🎥 Nouă discuție lângă șemineu: Inside SP1 cu @tamirhemo, șeful departamentului de criptografie la @SuccinctLabs. Explorăm în profunzime arhitectura SP1, progresele de performanță și ce este necesar pentru a securiza ZK-VM-uri de nivel de producție. Marcaje temporale: 0:00 Care este misiunea SP1 și Succinct 2:31 De ce ZK-VM-urile sunt mai generale decât circuitele ZK personalizate 3:30 Hypercube & demonstrarea în timp real în EthProofs 4:30 Decizii de proiectare din spatele creșterilor de performanță ale SP1 7:36 Compromisuri între teorie și aritmeticizare 10:19 Suprafețe de atac SP1 & atenuări 14:04 Demonstrații interactive de teoreme vs instrumente SMT (Picus) 15:36 Integrarea uneltelor și ce mai lipsește 18:18 Precompilare: când să le adaugi și impactul asupra securității 20:24 Este "compile-to-circuit" un dual util pentru ZK-VM-uri? Garanții Prover, implementarea și riscurile privind confidențialitatea 21:12 24:04 Demonstrare incrementală: local + demonstrații server 26:14 Demonstrații vs conjecturi & prioritizare criptografică 29:23 Criptografie nouă & ce îl entuziasmează cel mai mult pe Tamir 32:01 Aplicații construite pe SP1 34:45 Rețeaua Prover vs servicii private de demonstrație 36:55 Cronologia pentru testarea acasă în 99% din blocuri 39:34 Cel mai greu 1%: blocaje de 12 secunde 42:08 Blocuri adversariale & coduri de operare "prover-killer" 43:18 Dincolo de Ethereum: alte sarcini de lucru SP1 45:16 Ce urmează pentru SP1 47:15 Remarci de încheiere Prezentat de @bensepanski din @VeridiseInc, filmat la Buenos Aires, 17 noiembrie 2025 🇦🇷 Recapitulare video mai jos 🧵 1/5

Tamir explică de ce Succinct a trecut de la circuite ZK personalizate la un ZK-VM cu scop general și de ce SP1 este centrat pe precompilare: circuite optimizate acolo unde contează, programe flexibile peste tot. Scopul nu este să demonstrezi fiecare ciclu — SP1 dovedește comportamentul promis al programului. 2/5

🚀 Repere ale performanțelor SP1 Hypercube dovedește acum că ~99,7% dintre Ethereum blochează sub 12 cu ~16 GPU-uri — atingând pragul pentru hardware de consumator. Deblocări de chei: polinoame multiliniare, o libertate mai bună de aritmeticizare și eliminarea blocajelor de recursivitate. 3/5

Securitatea este în prim-plan. Tamir explică modul în care suprafețele de atac sunt atenuate, codurile de operare prover-killer și de ce verificarea formală este esențială pentru ZK-VM-uri. @SuccinctLabs colaborează cu @VeridiseInc pentru a verifica oficial circuitele SP1 folosind Picus pentru a elimina bug-urile înainte de expediere. 4/5