システムを信頼できるものにするために、Aleo は計算行為と検証行為を分離しています。この分離により、スケーラビリティが確保されます。このデザインパターンを何と呼びますか?