Дослідження Circle STARKs

Останніми роками в дизайні протоколу STARKs спостерігається тенденція до переходу на використання менших полів. Найперші реалізації STARKs використовували 256-бітні поля, але цей дизайн був менш ефективним. Для підвищення ефективності STARKs почали використовувати менші поля, такі як Goldilocks, Mersenne31 та BabyBear.

! Нова робота Віталіка: Дослідження кола STARKs

Однією з проблем використання менших полів є те, що є лише близько 2 мільярдів можливих випадкових значень для вибору, що є здійсненним для зловмисників, які хочуть підробити доказ. Рішення включають проведення кількох випадкових перевірок або розширення полів.

! Нова робота Віталіка: дослідження кола STARKs

Circle STARKs пропонує ефективний метод реалізації FRI на малих полях, таких як Mersenne31. Він використовує спеціальні властивості точок на колі для побудови групи розміру p, що має подібні до двох у один відображення.

! Нова робота Віталіка: Explore Circle STARKs

Ключові технології Circle STARKs включають:

• Використовуйте точки на колі для обчислень, а не єдине число
• Спеціальна двоетапна відповідність для зменшення розміру набору даних
• Коло FFT-алгоритм обробки простору Рімана-Роша
• Покращені бізнес-обчислення та конструкція зниклих多项式
• Змінений обернений бітовий порядок

! Нова робота Віталіка: дослідження кола STARKs

На відміну від звичайних STARKs, Circle STARKs концептуально не є значно більш складними. Вони надають розробникам спосіб створення ефективних STARKs на малих полях, що має на меті досягнення максимальної ефективності базового рівня STARKs.

! Нова робота Віталіка: Дослідження кола STARKs

Майбутніми акцентами оптимізації STARKs можуть бути:

• Максимізація арифметичної ефективності базових криптографічних примітивів, таких як хеш-функції
• Використання рекурсивного конструктора для підвищення паралельності
• Покращити арифметику віртуальної машини для підвищення досвіду розробки

! Нова робота Віталіка: Досліджуючи коло STARKs

Коло STARKs представляє собою важливий прогрес технології STARK, відкриваючи нові можливості для створення ефективних систем нульових знань на малих полях.

! Нова робота Віталіка: Досліджуючи коло STARKs

! Нове творіння Віталіка: дослідження кола STARKs