1/ Rezistențele complete zk pentru modele AI întregi sunt puternice... Dar în practică: prea greu, prea lent, prea scump. De aceea am construit DSperse → verificarea bazată pe felii.