Аналіз принципів Binius STARKs та роздуми про їх оптимізацію
1. Вступ
Основною причиною низької ефективності STARKs є те, що більшість чисел у фактичних програмах є досить малими, як-от індекси в циклах for, логічні значення, лічильники тощо. Однак для забезпечення безпеки, заснованої на доказах Меркле, під час розширення даних за допомогою кодування Ріда-Соломона багато додаткових надмірних значень займають ціле поле, навіть якщо самі початкові значення є дуже малими. Щоб вирішити цю проблему, зменшення розміру поля стало ключовою стратегією.
Перший покоління STARKs має ширину кодування 252 біти, друге покоління STARKs має ширину кодування 64 біти, третє покоління STARKs має ширину кодування 32 біти, але 32-бітна ширина кодування все ще має велику кількість витраченої площі. У порівнянні з цим, двійкове поле дозволяє безпосередньо виконувати операції над бітом, кодування компактне та ефективне без будь-яких витрат.