Para tornar os sistemas confiáveis, a Aleo separa o ato de computação do ato de verificação. Esta separação garante escalabilidade. Como chamamos este padrão de design?