Aleo использует вложенную амортизацию, чтобы сделать рекурсивные доказательства практичными. Вместо того, чтобы повторно выполнять каждую транзакцию на каждом узле, валидаторы проверяют краткие доказательства. Это переход от вычислений на мэйнфреймах к персональным вычислениям для блокчейнов.