Чтобы сделать системы надежными, Aleo отделяет процесс вычисления от процесса проверки. Это разделение обеспечивает масштабируемость. Как мы называем эту архитектурную модель?