يقوم البرنامج بتشغيل العمليات. تقوم البرامج الموثوقة بتشغيل البراهين.