理解零知识证明所需的知识量:超过零。