Aleo utilizza l'ammortamento annidato per rendere pratiche le prove ricorsive. Invece di rieseguire ogni transazione su ogni nodo, i validatori verificano prove succinte. Questo è il passaggio dal calcolo su mainframe al calcolo personale per le blockchain.