Las implementaciones de prueba basadas en STARK/hash no suelen ser de conocimiento cero. ¿Por qué? "Eficiencia" es la respuesta habitual pero algo sorprendente: en comparación con los NTT, la realeatorización no parece costosa. Un colega planteó una explicación alternativa interesante: la complejidad de la ingeniería.