Время 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-битное поле (!). • Масштабируемость — Тот факт, что они работают над любым полем, плюс отсутствие необходимости в доверенной настройке, означает, что нам не нужно было ничего менять в ончейн-верификаторе, даже по мере того как мы многократно увеличивали размер обрабатываемых вычислений. Итог: прозрачность, квантово-безопасность, эффективность и масштабируемость — это были огромные преимущества, которые ZK-STARKs предложили миру в 2018 году. К настоящему времени они стали золотым стандартом для безопасного масштабирования и конфиденциальности ZK. КОНЕЦ