STARK/ハッシュベースの証明の実装は、通常、ゼロ知識ではありません。なぜでしょうか。「効率」は、NTTと比較して、再ランダム化はコストがかからないように思われる、という、普通の答えですが、やや意外な答えです。 ある同僚は、エンジニアリングの複雑さという興味深い別の説明を提起しました。