Le circuit récursif intègre 64 preuves différentes (π0, ..., π63), les hachages (h0, ..., h63), les fonds propres (e0, ..., e63), et les dettes (d0, ..., d63) des circuits de couche inférieure en tant qu’entrées. Il combine ces entrées et produit 3 sorties : un nouveau hachage (hrecursive), les fonds propres totaux (erecursive), et la dette totale (drecursive).