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