zk-STARK

zk-STARK, ölçeklenebilir ve şeffaf bir sıfır bilgi ispatıdır: güvenilir kuruluma ihtiyaç duymaz, gizli parametreler yerine yalnızca özet (hash) fonksiyonlarına ve herkese açık rastgeleliğe dayanır. Bu, zk-SNARK'lardaki zehirli atık riskini ortadan kaldırır; dayandığı varsayımlar eliptik eğrilere bağlı olmadığı için genelde kuantum saldırılarına dayanıklı kabul edilir. Bedeli boyuttur: STARK ispatları belirgin biçimde daha büyüktür, dolayısıyla zincire yazmak ve doğrulamak daha pahalıdır; yine de doğrulama, işi yeniden yürütmeye kıyasla çok daha iyi ölçeklenir. Ethereum üzerindeki bazı rollup'lar işlem yığınlarını kanıtlamak için STARK kullanır. Pratikte SNARK ile STARK arasındaki seçim; ispat boyutu, ispat üretme maliyeti, kurulum varsayımları ve uzun vadeli kriptografik risk üzerine bir mühendislik kararıdır.