从信息论的角度来看，零知识证明是没有意义的。 如果仅考虑信息约束，如何用1000位来验证TB级的数据？在数学上这是不可能的。 ZK之所以有效，是因为它假设攻击者在计算上是有限制的。如果去掉这个假设，整个系统就会崩溃。