Віталік Бутерін публікує "Дослідження 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 зміститься до створення високоефективних арифметичних версій примітивів, таких як хеш-функції та підписи (та оптимізація цих примітивів для цієї мети), створення рекурсивних конструкцій для більшої паралелізації, арифметизації віртуальних машин для покращення досвіду розробників разом з іншими передовими завданнями.