Виталик Бутерин публикует "Исследование Circle STARKs"

PANews сообщило 23 июля, что соучредитель Ethereum Виталик Бутерин опубликовал статью под названием "Исследование Circle STARKs", в которой обсуждается конструкция, известная как Circle STARKs. Она обладает некоторыми уникальными свойствами и разработана для совместимости с эффективным полем Mersenne31. Виталик считает, что по сравнению с обычными STARK, Circle STARKs не добавляют значительной сложности для разработчиков. В процессе реализации, по сравнению с обычным FRI, я заметил всего три отличия. Математический принцип, лежащий в основе "полинома", используемого в Circle FRI, довольно неочевиден и требует времени для понимания и оценки. Однако эта сложность скрыта таким образом, что разработчики ее практически не замечают. Сложность математики Circle инкапсулирована, а не системна. Понимание Circle FRI и Circle FFT также может стать хорошим порталом знаний для понимания других "экзотических FFT": наиболее заметно бинарного домена FFT, ранее использованного в Binius и LibSTARK, а также более экзотических конструкций, таких как эллиптическая кривая FFT, использующая однозначные отображения, хорошо согласованные с операциями точек эллиптической кривой. В сочетании с Mersenne31, BabyBear и технологиями бинарного домена (такими как Binius), мы действительно чувствуем, что приближаемся к пределу эффективности базового слоя STARK. На данный момент ожидается, что граница оптимизации STARK сместится в сторону создания высокоэффективных арифметических версий примитивов, таких как хеш-функции и подписи (и оптимизации этих примитивов для этой цели), создания рекурсивных конструкций для большей параллелизации, арифметизации виртуальных машин для улучшения опыта разработчиков и других продвинутых задач.