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