Pour rendre les systèmes dignes de confiance, Aleo sépare l'acte de calcul de l'acte de vérification. Cette séparation garantit l'évolutivité. Comment appelons-nous ce modèle de conception ?