Aleo verwendet geschachtelte Amortisation, um rekursive Beweise praktikabel zu machen. Anstatt jede Transaktion auf jedem Knoten erneut auszuführen, überprüfen Validatoren prägnante Beweise. Dies ist der Übergang von der Großrechnerverarbeitung zur Personalverarbeitung für Blockchains.