Останніми роками тенденція в проектуванні протоколу STARKs полягає в переході до використання менших полів. Найраніші реалізації STARKs використовували поля на 256 біт, але такий дизайн мав низьку ефективність. Щоб підвищити ефективність, STARKs почали використовувати менші поля, такі як Goldilocks, Mersenne31 та BabyBear.
Використання малих полів створює певні виклики, такі як зменшення діапазону випадкового вибору. Є два рішення: багаторазова випадкова перевірка або розширення полів. Розширення полів подібні до множин, але базуються на скінченних полях.
Circle STARKs запропонували хитрий спосіб знайти групу розміром p над простим p, яка має властивість двох до одного. Ця група складається з точок, які задовольняють певним умовам, і дотримується певного правила додавання.
Circle STARKs підтримує FFT, але об'єктами обробки не є строго багаточлени, а простір Рімана-Роша. Як розробник, ви можете майже ігнорувати це, просто зберігаючи багаточлени як набір значень оцінки.
У комерційних обчисленнях, зниклих многочленах, зворотному порядку та інших аспектах, Circle STARKs мають деякі відмінності від звичайних STARKs, і вимагають використання різних технік.
Circle STARKs є дуже ефективними на 31-му простому числі. У порівнянні з великими полями SNARKs, вони повністю використовують обчислювальний простір. Хоча Binius у певних аспектах є кращим, концепція Circle STARKs є простішою.
Для розробників Circle STARKs не є значно складнішими, ніж звичайні STARKs. Розуміння Circle FRI та FFTs також допомагає зрозуміти інші спеціальні FFTs.
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
Circle STARKs: аналіз нового типу STARKs, що підвищує ефективність
Дослідження Circle STARKs
Останніми роками тенденція в проектуванні протоколу STARKs полягає в переході до використання менших полів. Найраніші реалізації STARKs використовували поля на 256 біт, але такий дизайн мав низьку ефективність. Щоб підвищити ефективність, STARKs почали використовувати менші поля, такі як Goldilocks, Mersenne31 та BabyBear.
! Нова робота Віталіка: Дослідження кола STARKs
Використання малих полів створює певні виклики, такі як зменшення діапазону випадкового вибору. Є два рішення: багаторазова випадкова перевірка або розширення полів. Розширення полів подібні до множин, але базуються на скінченних полях.
! Нова робота Віталіка: дослідження кола STARKs
Circle STARKs запропонували хитрий спосіб знайти групу розміром p над простим p, яка має властивість двох до одного. Ця група складається з точок, які задовольняють певним умовам, і дотримується певного правила додавання.
! Нова робота Віталіка: Explore Circle STARKs
Circle STARKs підтримує FFT, але об'єктами обробки не є строго багаточлени, а простір Рімана-Роша. Як розробник, ви можете майже ігнорувати це, просто зберігаючи багаточлени як набір значень оцінки.
! Нова робота Віталіка: дослідження кола STARKs
У комерційних обчисленнях, зниклих многочленах, зворотному порядку та інших аспектах, Circle STARKs мають деякі відмінності від звичайних STARKs, і вимагають використання різних технік.
! Нова робота Віталіка: Дослідження кола STARKs
Circle STARKs є дуже ефективними на 31-му простому числі. У порівнянні з великими полями SNARKs, вони повністю використовують обчислювальний простір. Хоча Binius у певних аспектах є кращим, концепція Circle STARKs є простішою.
! Нова робота Віталіка: Досліджуючи коло STARKs
Для розробників Circle STARKs не є значно складнішими, ніж звичайні STARKs. Розуміння Circle FRI та FFTs також допомагає зрозуміти інші спеціальні FFTs.
! Нова робота Віталіка: Досліджуючи коло STARKs
Майбутня оптимізація STARKs, ймовірно, буде зосереджена на:
В цілому, Circle STARKs є цікавою варіацією STARKs, яка підвищує ефективність при збереженні простоти.
! Нове творіння Віталіка: дослідження кола STARKs