特別是在可驗證計算的狀態下