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