机构名称：
¥ 1.0
说明：前两个项目（在FNP中，可能不在FP中）与上一个问题相同。由于G的输出保证为有效的循环组和生成器，因此必须总共该问题，因此它也在TFNP中。此外，由于G>保证G是生成器，并且T∈G（可以有效检查），因此存在一个唯一的解决方案x，因此问题在TFUP中。我们注意到，这种G是加密离散对数假设的常规设置的一部分（一个示例是G找到prime P以及P -1的分解，使用它来找到z ∗ p的生成器g，而输出（p，p，p -p -1，g）；其他组还有其他示例）。与G相对于G的离散log假设是给定这样的输出（G，N，G）和目标T，很难找到X，因此组中的G X = T。一个更强的加密假设是，即使您给予了G的内部随机性R（而不仅仅是其输出），这仍然很难。在某些情况下，这也被认为是正确的（例如，对于z ∗ p示例，如类中所述）。这个更强的假设对应于这个问题中TFUP问题的硬度。
测验4- coms e6261：高级加密
主要关键词
相关文件推荐
