Le implementazioni di prove basate su STARK/hash non sono solitamente a conoscenza zero. Perché? "Efficienza" è la risposta abituale ma sorprendente: rispetto agli NTT, la riaridizzazione non sembra costosa. Un collega ha sollevato un'interessante spiegazione alternativa: complessità ingegneristica.