Hash tabanlı SNARK'lar, Ethereum'un kuantum sonrası yol haritasının merkezi haline geliyor, peki gerçekten ne kadar güvenliler? Bu bölümde (@leanEthereum mini dizisi'nin 3. bölümü), @nico_mnbl, @GiacomoFenzi ve @asanso ile post-kuantum SNARK'ların teorisi ve güvenliğini incelemek için sohbet eder. Bunlar şunları kapsar: – LeanVM'nin arkasındaki SNARK yığını (çok doğrusal aritmetizasyon + toplam kontrol) – 1 milyon dolarlık Yakınlık Boşluğu Ödülü ve bunun tetiklediği yeni araştırma dalgası – Son sonuçların hash tabanlı ispat sistemleri için güvenlik marjlarını nasıl etkilediği – Ethereum'un uzun vadeli protokol güvenliği için kanıtlanabilir güvenlik rejimlerine doğru ilerlemesinin nedeni Ayrıca kodlama teorisi, liste çözme ve hash tabanlı ispat sistemlerindeki açık problemleri de incelerler. Bölümün tamamını dinleyin —----- ZAMAN KODLARI 02:24 – Ethereum'un neden post-kuantum SNARK'lara ihtiyacı var? 03:30 – LeanVM SNARK yığını (çok doğrusal + toplam kontrol) 04:53 – 1M dolarlık Yakınlık Farkı Ödülü 12:04 – Yeni araştırma makalelerinin dalgası 12:52 – Johnson topu ile kapasite sınırı 21:24 – Konuşlandırılmış STARK'lara yönelik yeni saldırı analizi 27:07 – 128-bit güvenlik eşiği neden önemlidir 30:26 – Post-kuantum SNARK'larda açık araştırma soruları