Aleo gebruikt geneste afschrijving om recursieve bewijzen praktisch te maken. In plaats van elke transactie op elke node opnieuw uit te voeren, verifiëren validators beknopte bewijzen. Dit is de verschuiving van mainframe computing naar persoonlijke computing voor blockchains.