Để làm cho các hệ thống đáng tin cậy, Aleo tách biệt hành động tính toán khỏi hành động xác minh. Sự tách biệt này đảm bảo khả năng mở rộng. Chúng ta gọi mẫu thiết kế này là gì?