Yüzlerce işlemi ana ağ dışında gerçekleştiren ve bu işlemlerin doğruluğunu "Sıfır Bilgi Kanıtı" (Zero-Knowledge Proof) adı verilen matematiksel bir yöntemle ana ağa sunan ölçeklendirme çözümüdür. Optimistic Rollup’ların aksine, işlemlerin geçerli olduğunu kanıtlamak için bir bekleme süresine ihtiyaç duymaz; çünkü matematiksel kanıt, işlemin doğruluğunu anında teyit eder.