為了使系統值得信賴,Aleo 將計算行為與驗證行為分開。這種分離確保了可擴展性。我們稱這種設計模式為什麼?