Geçerlilik İspatı

Geçerlilik ispatı, katman 2 işlem yığınıyla birlikte gönderilen ve yeni durumun bir öncekinden doğru hesaplandığını gösteren kriptografik bir ispattır. Katman 1'deki sözleşme bu ispatı matematiksel olarak denetler; dolayısıyla operatöre güvenmek veya işlemleri yeniden yürütmek zorunda kalmaz. ZK rollup'ı tanımlayan şey budur: doğruluk baştan kanıtlandığı için katman 1'e yapılan çekimler, ispat kabul edilir edilmez sonuçlanabilir; iyimser rollup'ların ihtiyaç duyduğu günler süren itiraz penceresine gerek kalmaz. Şunu unutmayın: geçerlilik yürütmeyi kapsar, niyeti değil. İspat kuralların uygulandığını doğrular; sözleşmenin iyi tasarlandığını ya da sıralayıcının işleminizi adil sıraladığını göstermez.