STARK/基于哈希的证明实现通常不是零知识的。为什么？"效率"是通常但有些令人惊讶的答案：与NTT相比，重新随机化似乎并不昂贵。 一位同事提出了一个有趣的替代解释：工程复杂性。