Para hacer que los sistemas sean confiables, Aleo separa el acto de computación del acto de verificación. Esta separación garantiza la escalabilidad. ¿Cómo llamamos a este patrón de diseño?