Der rekursive Circuit nimmt 64 verschiedene Beweise (π0, ..., π63), Hashes (h0, ..., h63), Eigenkapital (e0, ..., e63) und Schulden (d0, ..., d63) von den unteren Circuits als Eingaben. Es kombiniert diese Eingaben und erzeugt 3 Ausgaben: einen neuen Hash (hrekursiv), das Gesamteigenkapital (erekursiv) und die Gesamtschulden (drekursiv).