Реалізації доведення на основі STARK/хешу зазвичай не мають нульового розголошення. Чому? «Ефективність» — це звичайна, але дещо несподівана відповідь: у порівнянні з NTT, повторна рандомізація не здається дорогою. Колега висунув цікаве альтернативне пояснення: інженерна складність.