zk-STARK

zk-STARK miqyaslana bilən və şəffaf sıfır bilikli sübutdur: etibarlı quraşdırmaya ehtiyacı yoxdur, gizli parametrlər əvəzinə yalnız heş funksiyalarına və ictimai təsadüfiliyə söykənir. Bu, zk-SNARK-lara xas «zəhərli tullantı» riskini aradan qaldırır; əsas fərziyyələr elliptik əyrilərdən asılı olmadığı üçün ümumiyyətlə kvant hücumlarına davamlı sayılır. Güzəşt ölçüdədir: STARK sübutları xeyli böyükdür, ona görə də zəncirdə dərc etmək və yoxlamaq daha bahalı başa gəlir, buna baxmayaraq yoxlama işin təkrar icrasından qat-qat yaxşı miqyaslanır. Ethereum üzərindəki bir neçə rollup tranzaksiya paketlərini sübut etmək üçün STARK istifadə edir. Praktikada SNARK ilə STARK arasında seçim sübut ölçüsü, generasiya xərci, quraşdırma fərziyyələri və uzunmüddətli kriptoqrafik risk barədə mühəndis qərarıdır.