Chaque lot est traité séparément en utilisant des circuits de lot ou « batch circuits », qui vérifient la partie inférieure de l’arbre de Merkle. Le traitement par lots le rend non seulement gérable, mais nous permet également d’exécuter ces vérifications en même temps (traitement parallèle).