Aleo utilise l'amortissement imbriqué pour rendre les preuves récursives pratiques. Plutôt que de réexécuter chaque transaction sur chaque nœud, les validateurs vérifient des preuves succinctes. C'est le passage de l'informatique centralisée à l'informatique personnelle pour les blockchains.