Aleo uses nested amortization to make recursive proofs practical. Rather than re-executing every transaction on every node, validators verify succinct proofs. This is the shift from mainframe computing to personal computing for blockchains.