Pentru a face sistemele demne de încredere, Aleo separă actul de calcul de actul de verificare. Această separare asigură scalabilitatea. Cum numim acest model de design?