For å gjøre systemene pålitelige, skiller Aleo beregningshandlingen fra verifiseringshandlingen. Denne separasjonen sikrer skalerbarhet. Hva kaller vi dette designmønsteret?