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