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

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

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

Використання малих полів може значно підвищити швидкість доказу, але також викликає деякі проблеми безпеки. Основна проблема полягає в тому, що доступних випадкових значень у малих полях менше, і їх легко може вгадати зловмисник. Щоб вирішити цю проблему, є два варіанти: провести кілька випадкових перевірок або використовувати розширені поля.

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

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

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

Ключові моменти Circle STARKs включають:

1. Використовуйте двостороннє відображення на круговій групі замість звичайного квадратного відображення в FRI.
2. Стиснення многочленів до одновимірного простору для обробки
3. Розроблено спеціальний алгоритм Circle FFT
4. Використання різних комерційних обчислень та методів побудови зниклих多项式
5. Використання зміненого зворотного порядку

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

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

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

Circle STARKs в поєднанні з полем Mersenne31 можуть реалізувати дуже ефективну систему доказів. Вона повністю використовує переваги 31-бітного простого поля, зменшуючи витрати простору.

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

Майбутні напрямки оптимізації STARKs можуть включати:

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

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

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

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