Aleo は、ネストされた償却を使用して、再帰的証明を実用的にします。 バリデーターは、すべてのノードですべてのトランザクションを再実行するのではなく、簡潔な証明を検証します。 これは、ブロックチェーンのメインフレームコンピューティングからパーソナルコンピューティングへの移行です。