Дизайн протоколу STARKs останніми роками прагне використовувати менші поля для підвищення швидкості доказів. Наприклад, Starkware може доводити 620,000 хешів Poseidon2 на ноутбуці M3 за секунду. У цій статті буде розглянуто, як працюють ці технології, з особливою увагою до рішення Circle STARKs.
Однією з поширених проблем при використанні менших полів є те, що зловмисники можуть зламати протокол, намагаючись обмежену кількість можливих значень. Рішенням можуть бути багаторазові випадкові перевірки або розширення полів. Розширені поля подібні до множин, але базуються на скінченних полях.
Геній Circle STARKs полягає в тому, що можна знайти групу розміру p, яка має подібні властивості один до одного. Ця група складається з точок, які задовольняють певним умовам, такими як набір точок, для яких x^2 mod p дорівнює певному значенню.
Circle STARKs підтримує FFT, але об'єктами обробки не є строго поліноміальні функції, а простір Рімана-Роша. Як розробник, ви майже можете про це забути, просто зберігайте поліноми як набір значень для оцінки.
У бізнес-обчисленнях Circle STARKs потрібно оцінити в двох точках, щоб довести, що додається віртуальна точка. Для зниклих多项式 Circle STARKs використовує специфічні функціональні форми.
Circle STARKs використовує модифікований зворотний порядок, щоб відобразити свою особливу структуру складання. Цей порядок робить FRI більш економним у використанні простору.
Ефективність Circle STARKs дуже висока, вони в повній мірі використовують простір у обчислювальному трекінгу. Хоча Binius у деяких аспектах є кращим, концепція Circle STARKs є більш простою.
В цілому, Circle STARKs не є складнішими для розробників, ніж звичайні STARKs. Майбутні напрямки оптимізації STARK можуть включати: арифметичну оптимізацію для базових криптографічних примітивів, рекурсивну конструкцію для підвищення паралелізації, покращення арифметики віртуальної машини для оптимізації досвіду розробки.
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
12 лайків
Нагородити
12
3
Поділіться
Прокоментувати
0/400
OnChain_Detective
· 07-21 05:30
хмм... аналіз шаблонів показує підозрілі розриви в реалізації circlestark, якщо чесно
Глибина аналізу технології Circle STARKs: новий напрямок ефективної верифікації
Дослідження Circle STARKs
Дизайн протоколу STARKs останніми роками прагне використовувати менші поля для підвищення швидкості доказів. Наприклад, Starkware може доводити 620,000 хешів Poseidon2 на ноутбуці M3 за секунду. У цій статті буде розглянуто, як працюють ці технології, з особливою увагою до рішення Circle STARKs.
! Нова робота Віталіка: Дослідження кола STARKs
Однією з поширених проблем при використанні менших полів є те, що зловмисники можуть зламати протокол, намагаючись обмежену кількість можливих значень. Рішенням можуть бути багаторазові випадкові перевірки або розширення полів. Розширені поля подібні до множин, але базуються на скінченних полях.
! Нова робота Віталіка: дослідження кола STARKs
Геній Circle STARKs полягає в тому, що можна знайти групу розміру p, яка має подібні властивості один до одного. Ця група складається з точок, які задовольняють певним умовам, такими як набір точок, для яких x^2 mod p дорівнює певному значенню.
! Нова робота Віталіка: Explore Circle STARKs
Circle STARKs підтримує FFT, але об'єктами обробки не є строго поліноміальні функції, а простір Рімана-Роша. Як розробник, ви майже можете про це забути, просто зберігайте поліноми як набір значень для оцінки.
! Нова робота Віталіка: дослідження кола STARKs
У бізнес-обчисленнях Circle STARKs потрібно оцінити в двох точках, щоб довести, що додається віртуальна точка. Для зниклих多项式 Circle STARKs використовує специфічні функціональні форми.
! Нова робота Віталіка: Дослідження кола STARKs
Circle STARKs використовує модифікований зворотний порядок, щоб відобразити свою особливу структуру складання. Цей порядок робить FRI більш економним у використанні простору.
! Нова робота Віталіка: Досліджуючи коло STARKs
Ефективність Circle STARKs дуже висока, вони в повній мірі використовують простір у обчислювальному трекінгу. Хоча Binius у деяких аспектах є кращим, концепція Circle STARKs є більш простою.
! Нова робота Віталіка: Досліджуючи коло STARKs
В цілому, Circle STARKs не є складнішими для розробників, ніж звичайні STARKs. Майбутні напрямки оптимізації STARK можуть включати: арифметичну оптимізацію для базових криптографічних примітивів, рекурсивну конструкцію для підвищення паралелізації, покращення арифметики віртуальної машини для оптимізації досвіду розробки.
! Нове творіння Віталіка: дослідження кола STARKs