Implementările de dovezi bazate pe STARK/hash nu sunt de obicei zero-knowledge. De ce? "Eficiența" este răspunsul obișnuit, dar oarecum surprinzător: în comparație cu NTT-urile, rerandomizarea nu pare costisitoare. Un coleg a ridicat o explicație alternativă interesantă: complexitatea ingineriei.