提出了对基本问题的严格而系统的处理:定义加密任务并使用现有工具解决新的加密问题。专注于计算难度,伪随机性和零知识证明。