🎥 Yeni şömine başı sohbeti: SP1'in İçinde, @SuccinctLabs'de Kriptografi Başkanı @tamirhemo ile. SP1'in mimarisine, performans atılımlarına ve üretim kalitesinde ZK-VM'lerin güvenliğinin gerekenlerine derinlemesine iniyoruz. Zaman damgaları: 0:00 SP1 nedir ve Succinct'in görevi 2:31 Neden ZK-VM'ler özel ZK devrelerinden daha genel 3:30 Hypercube ve EthProofs'ta gerçek zamanlı kanıtlama 4:30 SP1'in performans artışlarının arkasındaki tasarım kararları 7:36 Teori ve Aritmetizasyon Takas Vermeleri 10:19 SP1 saldırı yüzeyleri ve azaltma önlemleri 14:04 Etkileşimli teorem kanıtlayıcıları vs SMT araçları (Picus) 15:36 Araç entegrasyonu ve hâlâ eksik olanlar 18:18 Ön derlemeler: ne zaman eklenmeli ve güvenlik etkisi 20:24 "derleme-devreye" ZK-VM'ler için faydalı bir çift midir? 21:12 Kanıtlayıcı garantileri, dağıtım ve gizlilik riskleri 24:04 Artan kanıtlama: yerel + sunucu ispatları 26:14 Ispatlar vs varsayımlar ve kriptografik önceliklendirme 29:23 Yeni kriptografi ve Tamir'i en çok heyecanlandıran şey 32:01 SP1 üzerine inşa edilen uygulamalar 34:45 Kanıtlayıcı ağı vs özel kanıtlama hizmetleri 36:55 Evde deneme zaman çizelgesi blokların %99'u için 39:34 En zor %1: 12 saniyelik darboğazlar 42:08 Düşman bloklar ve "kanıtlayıcı-öldürücü" opkodlar 43:18 Ethereum'un ötesinde: diğer SP1 iş yükleri 45:16 SP1 için sırada ne var? 47:15 Kapanış Konuşmaları @VeridiseInc'den @bensepanski tarafından sunulan, Buenos Aires'te 17 Kasım 2025'te 🇦🇷 çekildi Aşağıdaki 🧵 video özeti 1/5

Tamir, Sucinct'in özel ZK devrelerinden genel amaçlı bir ZK-VM'ye neden geçtiğini ve SP1'in neden ön derleme merkezli olduğunu açıklıyor: önemli olduğu yerlerde optimize edilmiş devreler, diğer yerlerde esnek programlar. Amaç her döngüyü kanıtlamak değil — SP1 programın vaat edilen davranışını kanıtlıyor. 2/5

🚀 Performans öne çıkanlar SP1 Hypercube artık ~16 GPU ile 12 yaş altı Ethereum bloklarının %99,7'sini kanıtlıyor — tüketici sınıfı donanım eşiğine ulaşıyor. Anahtar kilitler: çok doğrusal polinomlar, daha iyi aritmetizasyon özgürlüğü ve özyineleme darboğazlarının ortadan kalkması. 3/5

Güvenlik ön plandadır. Tamir, saldırı yüzeylerinin nasıl azaltıldığını, kanıtlayıcı opcode'ları ve ZK-VM'ler için resmi doğrulamanın neden gerekli olduğunu anlatıyor. @SuccinctLabs, SP1 devrelerini Picus kullanarak göndermeden önce hataları ortadan kaldırmak için resmi olarak doğrulamak için @VeridiseInc ile birlikte çalışıyor. 4/5