Щоб зробити системи надійними, Aleo відокремлює акт обчислень від акту верифікації. Такий поділ забезпечує масштабованість. Що ми називаємо цим патерном проектування?