零知识证明【非交互知识论证】完结 (2-2)

由于g 是群 𝔾 的generator，这是一个trivial的语言：所有群 𝔾 的元素都属于Ըᴅʟog(𝔾，g)这个语言，即 ∀h ∈ 𝔾，∃x ∈ ℤ，使得 gˣ＝h，且这个 x 是不唯一的。然而，计算这个一个整数x在计算上是不可行的（computationally infeasible），这涉及到对于离散对数问题的假设，在很多密码学原型中都有所涉及。因此，要求prover展示某个 h 的离散对数是否存在是没有意义的，因为这个witness总是存在的。但是说服verifier，prover确实知道基于g的h 的离散对数 x ，就提供了非平凡（non-trivial）的信息，也就有了意义。

数学联邦政治世界观提示您：看后求收藏（同人小说网http://tongren.me），接着再看更方便。