Um Systeme vertrauenswürdig zu machen, trennt Aleo den Akt der Berechnung vom Akt der Verifizierung. Diese Trennung gewährleistet Skalierbarkeit. Wie nennen wir dieses Entwurfsmuster?