理解零知識證明所需的知識量:超過零。