Lüğət məqaləsi
zk-SNARK
infrastructurezk-SNARK kiçik və sürətlə yoxlanan sıfır bilikli sübutdur; ZK rolluplarda və məxfilik koinlərində istifadə olunur, quraşdırma tələb edir.
Tərif
zk-SNARK yığcam və qeyri-interaktiv sıfır bilikli sübut növüdür: sübutun özü çox kiçikdir və tez yoxlanılır, sübut edən tərəf isə onu bir dəfə göndərir, qarşılıqlı yazışma tələb olunmur. Məhz buna görə zk-SNARK-lar blokçeynlərdə praktikdir, çünki orada hesablama xərcini hər yoxlayıcı ödəyir; bir sıra məxfilik yönümlü kripto valyutalar və ZK rolluplar bu texnologiya üzərində qurulub. Tarixi güzəşt etibarlı quraşdırmadır (trusted setup): birdəfəlik mərasim ictimai parametrləri yaradır və bəzən «zəhərli tullantı» adlanan gizli qalıqlar buraxır; onlar məhv edilməlidir, çünki əlində saxlayan şəxs saxta sübut düzəldə bilər. Çoxtərəfli mərasimlər riski azaldır, bir vicdanlı iştirakçı kifayətdir. zk-SNARK-lar həm də kvant hücumlarına davamlı sayılmayan elliptik əyri fərziyyələrinə söykənir.
Növbəti