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