🎥 Obrolan tepi api baru: Di dalam SP1 dengan @tamirhemo, Kepala Kriptografi di @SuccinctLabs. Kami menyelami lebih dalam arsitektur SP1, terobosan kinerja, dan apa yang diperlukan untuk mengamankan ZK-VM tingkat produksi. Stempel waktu: 0:00 Apa itu SP1 dan misi Ringkas 2:31 Mengapa ZK-VM lebih umum daripada sirkuit ZK yang dipesan lebih dahulu 3:30 Hypercube & pembuktian waktu nyata di EthProofs 4:30 Keputusan desain di balik peningkatan kinerja SP1 7:36 Pertukaran teori vs aritmetisasi 10:19 Permukaan serangan SP1 & mitigasi 14:04 Alat uji teorema interaktif vs alat SMT (Picus) 15:36 Integrasi perkakas & apa yang masih hilang 18:18 Precompiles: kapan harus menambahkannya & dampak keamanan 20:24 Apakah "kompilasi-ke-sirkuit" ganda yang berguna untuk ZK-VM? 21:12 Bukti jaminan, penerapan, dan risiko privasi 24:04 Pembuktian bertahap: bukti lokal + server 26:14 Bukti vs dugaan & prioritas kriptografi 29:23 Kriptografi baru & apa yang paling menggairahkan Tamir 32:01 Aplikasi dibangun di SP1 34:45 Jaringan Prover vs layanan pembuktian pribadi 36:55 Timeline untuk membuktikan di kandang untuk 99% blok 39:34 1% tersulit: kemacetan 12 detik 42:08 Blok musuh & opcode "prover-killer" 43:18 Di luar Ethereum: beban kerja SP1 lainnya 45:16 Apa selanjutnya untuk SP1 47:15 Penutup Dilayani oleh @bensepanski dari @VeridiseInc, difilmkan di Buenos Aires, 17 Nov 2025 🇦🇷 Rekap video di bawah ini 🧵 1/5

Tamir menjelaskan mengapa Succinct beralih dari sirkuit ZK yang dipesan lebih dahulu ke ZK-VM tujuan umum, dan mengapa SP1 berpusat pada prakompilasi: sirkuit yang dioptimalkan di tempat yang penting, program fleksibel di tempat lain. Tujuannya bukan membuktikan setiap siklus - SP1 membuktikan perilaku yang dijanjikan program. 2/5

🚀 Sorotan performa SP1 Hypercube sekarang membuktikan ~99,7% blok Ethereum di bawah 12 tahun dengan ~16 GPU — mencapai ambang batas untuk perangkat keras tingkat konsumen. Kunci terbuka: polinomial multilinier, kebebasan aritmetisasi yang lebih baik, dan menghilangkan kemacetan rekursi. 3/5

Keamanan adalah yang terdepan dan tengah. Tamir membahas bagaimana permukaan serangan dimitigasi, kode operasi pembunuh prover, dan mengapa verifikasi formal sangat penting untuk ZK-VM. @SuccinctLabs bekerja dengan @VeridiseInc untuk memverifikasi sirkuit SP1 secara resmi menggunakan Picus untuk menghilangkan bug sebelum dikirim. 4/5