Час ZK-STARKs: Білий папір ZK STARK був опублікований у 2018 році (разом з основним компонентом, який називається FRI). Тоді ми вже бачили, що ZK SNARKs на основі еліптичних кривих можуть забезпечити конфіденційність для блокчейнів, і здавалося, що це все, чого світ сподівався. Тоді чому зовсім нова конструкція? Що було на першому місці в наших думках? Основні переваги ZK STARKs були такими: • Прозорість (T у STARK) — Це означає відсутність «токсичних відходів» налаштування, які необхідні у церемонії для SNARKs. Це дуже важливо для довіри. Щоб пояснити — немає довіреного налаштування, тому прозорі ZK-STARKs можна довіряти навіть якщо їх використовує Дарт Вейдер. • Безпека після квантової ери — У 2018 році не так багато хто говорив про квантову загрозу та те, як вона може зруйнувати криптографію на основі еліптичних кривих. Але ZK STARKs є безпечними після квантової ери і насправді вимагають лише існування безпечного хеш-функції. Це виявилося важливим у наш час надзвичайної інтелектуальної потужності та її загрози для стандартних припущень складності, таких як ті, що лежать в основі RSA, DH, ECDSA, конструкцій на основі ґраток тощо. • Незалежність від поля — ZK-SNARKs Zcash вимагали дуже специфічних алгебраїчних структур (скінченні поля) і великих з них. STARKs, з іншого боку, працюють буквально над усіма скінченними полями, включаючи двійкові та малі прості поля, що краще для ефективного часу обчислень. Для не-математиків це означає значно більшу швидкість та масштабованість. Наприклад, ми зафіксували арифметику поля M31 (яку використовує наш останній і найкращий STARK-провайдер, S-two), яка є на 100 разів швидшою за арифметику, яку ми використовували для нашого першого покоління провайдера, який вимагав 256-бітного поля (!). • Масштабованість — Той факт, що вони працюють над будь-яким полем, плюс відсутність потреби у довіреному налаштуванні, означає, що нам не потрібно було нічого змінювати в onchain-верифікаторі, навіть коли ми масштабували і знову масштабували розмір обчислень, які ми обробляли. Підсумовуючи — прозорість, постквантова безпека, ефективність та масштабованість — це великі переваги, які ZK STARKs запропонували світу у 2018 році. Зараз вони стали золотим стандартом для безпечного ZK-масштабування та конфіденційності. КІНЕЦЬ