لا تكون تطبيقات الإثبات المستندة إلى STARK / التجزئة عادة معرفة صفرية. لماذا؟ "الكفاءة" هي الإجابة المعتادة ولكنها مفاجئة إلى حد ما: بالمقارنة مع NTTs ، لا تبدو إعادة التوزيع العشوائي مكلفة. أثار أحد الزملاء تفسيرا بديلا مثيرا للاهتمام: التعقيد الهندسي.