Lüğət məqaləsi
Doğruluq sübutu
infrastructureDoğruluq sübutu rollup paketinin düzgün icra olunduğunu riyazi şəkildə göstərir və L1 onu etiraz pəncərəsi olmadan qəbul edir.
Tərif
Doğruluq sübutu ikinci qat tranzaksiya paketi ilə birlikdə göndərilən və yeni vəziyyətin əvvəlkindən düzgün hesablandığını göstərən kriptoqrafik sübutdur. Birinci qatdakı kontrakt bu sübutu riyazi şəkildə yoxlayır, ona görə də nə operatora güvənməli, nə də tranzaksiyaları yenidən icra etməli olur. ZK rollupı məhz bu müəyyən edir: doğruluq əvvəlcədən sübut olunduğu üçün birinci qata çıxarışlar sübut qəbul edilən kimi tamamlana bilir və optimistik rolluplara lazım olan çoxgünlük etiraz pəncərəsinə ehtiyac qalmır. Nəzərə alın ki, doğruluq icranı əhatə edir, niyyəti yox: sübut qaydalara əməl olunduğunu təsdiqləyir, kontraktın yaxşı dizayn edildiyini və ya sekvenserin tranzaksiyanızı ədalətli sıraladığını yox.
Növbəti