Віталік Бутерін, Ethereum's вундеркінд, кинув бомбу. Він представив Circle STARKs, новий криптографічний протокол. Це має революціонізувати безпеку та ефективність блокчейну.
Бутерін виклав все у своєму останньому блозі. Протокол використовує менші поля, такі як Mersenne31. Це значно підвищує швидкість доказів. Безпека не постраждала.
"Найважливіша тенденція в дизайні STARK протоколу за останні два роки - це перехід до роботи з малими полями," написав Бутерін.
Традиційні STARK'и використовують 256-бітні поля. Вони безпечні, але громіздкі. Circle STARKs змінює гру. Вони знижують обчислювальні витрати. Швидкість доказів зростає.
Результати вражають. Ноутбук M3 може перевірити 620,000 хешів Poseidon2 на секунду. Це велика справа.
Але є підводні камені. Малі поля вразливі до атак грубої сили. Бутерін має вирішення цієї проблеми. Circle STARKs виконують кілька випадкових перевірок. Вони також використовують поля розширення.
Це створює великий головний біль для потенційних нападників. Обчислювальний бар'єр захмарний. Це зберігає безпеку протоколу.
Бутерін пояснює проблему: "З STARK'ами над меншими полями у нас проблема: є лише близько двох мільярдів можливих значень x, з яких можна вибрати, і тому нападник, бажаючий сфальсифікувати доказ, має спробувати лише два мільярди разів — велика робота, але цілком здійсненна для рішучого нападника!"
Circle STARKs вводять новий підхід під назвою Circle FRI. Це ключове для підтримки криптографічної цілісності. Неполіномні входи не проходять доказ. Це розумний обхідний шлях.
В результаті? Circle STARKs пропонує більше за свої гроші. Вони гнучкі і універсальні. Це великий крок уперед для обчислювальної продуктивності у світі блокчейну.