STARK/基於哈希的證明實現通常不是零知識的。為什麼？"效率"是通常但有些令人驚訝的答案：與NTT相比，重新隨機化似乎並不昂貴。 一位同事提出了一個有趣的替代解釋：工程複雜性。