在加密數據上運行可驗證的程序。 私密。 可證明。 可編程。 可攜帶。 可插拔。