在加密数据上运行可验证的程序。 私密。 可证明。 可编程。 可移植。 可插拔。