Implementasi bukti berbasis STARK/hash biasanya tidak memiliki pengetahuan nol. Mengapa? "Efisiensi" adalah jawaban yang biasa tetapi agak mengejutkan: dibandingkan dengan NTT, pengacakan ulang tampaknya tidak mahal. Seorang rekan mengangkat penjelasan alternatif yang menarik: kompleksitas teknik.