SNARK'lar vs STARK'lar, mistiklik olmadan. Bir SNARK, güvenilir bir kurulum gerektirir: gizli rastgelelik "toksik atık" üretmek için bir kezlik bir tören. Bu atık sonra yok edilmelidir. Eğer bir kopya hayatta kalırsa, kanıtlar sahte olabilir. İlk nesil büyük ZK rollup'ları — zkSync Era, Scroll, Polygon zkEVM — hepsi SNARK tabanlı kanıtlama ile piyasaya sürüldü. Hepsi, güvenmeniz gereken bir kurulum töreni gerçekleştirdi. Çoklu taraf ritüelleri riski azaltır ("bir katılımcının dürüst olduğu sürece güvenli"). Ancak bu varsayım asla ortadan kalkmaz. Bir STARK, hiçbir törene ihtiyaç duymaz. Toksik atık yoktur, yok edilecek hiçbir şey yoktur, güvenilmesi gereken hiçbir şey yoktur. Güvenlik, cüzdanınızın zaten bağımlı olduğu çakışma dirençli hash fonksiyonlarına indirgenir. Ayrıca, döngüde eliptik eğri eşlemeleri olmadığı için STARK'lar kuantum dirençli olabilir. SNARK'ların ilk nesilde kazanmasının dürüst nedeni: daha küçük kanıtlar ve Ethereum üzerinde daha ucuz doğrulama. Miden'in tahmini: doğrulama zaten cihazınıza taşınacak, burada kanıt boyutu neredeyse önemsiz ama güven varsayımı kritik öneme sahip. Herhangi bir ZK sistemi için sormak gereken bir soru: Kanıt size neye güvenmenizi gerektiriyor? Cevap bir tören içeriyorsa, matematiğe değil, insanlara güveniyorsunuz. @0xMiden VM STARK tabanlıdır. Hash fonksiyonuna güveniyorsunuz. Bu tam liste.