Costurile la benzină nu sunt adevăratul obstacol. @brevis_zk evidențiază ceea ce strică cu adevărat sistemele. Logica repetată, reverificarea istoricului și revalidarea presupunerilor fragmentează compuționabilitatea. Asta nu e securitate. Este o coordonare irosită. ZK schimbă modelul permițând protocoalelor să reutilizeze adevăruri verificate. Eficiența vine din faptul că nu se execută ceea ce este deja dovedit.