لجعل الأنظمة جديرة بالثقة ، يفصل Aleo فعل الحساب عن فعل التحقق. يضمن هذا الفصل قابلية التوسع. ماذا نسمي نمط التصميم هذا؟