为了使系统值得信赖,Aleo 将计算行为与验证行为分开。这种分离确保了可扩展性。我们称这种设计模式为什么?