Untuk membuat sistem dapat dipercaya, Aleo memisahkan tindakan komputasi dari tindakan verifikasi. Pemisahan ini memastikan skalabilitas. Apa yang kita sebut pola desain ini?