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