Віталік Бутерін представляє Circle STARK для ефективності блокчейну

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

У своєму останньому дописі Бутерін пояснює, що цей технологічний стрибок використовує менші поля, такі як Mersenne31, щоб значно підвищити швидкість перевірки без шкоди для заходів безпеки.

«Найважливішою тенденцією в розробці протоколу STARK за останні два роки став перехід до роботи над невеликими полями».

За темою: Чарльз Хоскінсон відкидає точку зору Віталіка Бутеріна щодо прокриптовалютного голосування

Менші поля, більші прибутки

Відповідно до допису, традиційні масштабовані прозорі AR-гументи знань (STARK) працюють над 256-бітними полями, які, хоча й безпечні, зазвичай неефективні.

Circle STARK використовує менші поля, що призводить до зниження обчислювальних витрат, швидшої швидкості перевірки та більш ефективних переваг, таких як перевірка 620 000 хешів Poseidon2 в секунду на ноутбуці M3.

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

За темою: Віталік Бутерін попереджає про політиків, які стверджують, що вони «прокрипто»

Коло СТАРК безпеки

Традиційні малі поля мають обмежені можливі значення та можуть піддаватися атакам грубої сили.

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

Цей захід безпеки створює обчислювальний бар’єр для зловмисників, зберігаючи цілісність протоколу.

«Зі STARK над меншими полями у нас є проблема: існує лише близько двох мільярдів можливих значень x для вибору, тому зловмиснику, який хоче зробити підроблений доказ, потрібно спробувати лише два мільярди разів — багато роботи, але доситьце можливо для рішучого нападника!»

За темою: StarkWare перевіряє перше підтвердження нульового знання біткойнів

Практичні наслідки

Інтерактивні докази близькості Oracle Fast Reed-Solomon Proofs of Proximity (FRI) доводять, що функція є поліномом певного ступеня та є ключовим аспектом Circle STARK.

Представляючи Circle FRI, підхід, який підтримує цілісність криптографічного процесу, Circle STARK гарантує, що неполіноміальні вхідні дані не пройдуть перевірку.

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