STARK и SNARK и угроза квантовых компьютеров Известно, что STARK являются защищенными от квантовых атак, в то время как SNARK подвержены взлому квантовыми компьютерами. Почему? Я говорю здесь о SNARK на эллиптических кривых, тех, с которыми большинство из вас знакомы (например, Groth16). SNARK использует "секретный ключ доказательства", чтобы позволить доказателю ответить на определенный вопрос. Способ, которым создается секрет, заключается в многократном повторении определенной математической операции. Хорошая аналогия: вы начинаете с кубика Рубика и выполняете определенную операцию (скажем, поворачиваете одну сторону и вращаете кубик в руке). Затем вы повторяете это много раз, миллион миллиардов раз. Точное количество раз, которое вы выполняете эту операцию — это и есть секрет. Затем вы представляете испорченный кубик Рубика, чтобы весь мир мог его увидеть. Теперь, если вы сможете посмотреть на кубик и ответить, сколько раз операция была выполнена, чтобы достичь этого текущего состояния, вы сломаете SNARK. Один из способов сделать это — взять кубик Рубика и начать с ним возиться, считая, сколько раз вы выполняете операцию, пока не достигнете конфигурации, опубликованной публично. Но это занимает много времени (миллион миллиардов шагов). Ах, но квантовый компьютер — это действительно умный компьютер, который может посмотреть на кубик и выдать число: 112,302,305,166 раз, например. И с этим ответом SNARK сломан. Хорошо, а что насчет STARK? В этом случае, чтобы сломать STARK, вам нужно "сломать хэш". Хэш работает примерно так: вы берете кубик Рубика, выполняете одну из этих операций. Затем вы записываете узор на бумаге, складываете его, разрезаете, перемешиваете квадраты в безумном порядке и размещаете их на новом кубике Рубика. Затем вы выполняете еще одну операцию на кубике Рубика, а затем снова переходите к бумаге. И так далее. Важный момент заключается в следующем: вместо того, чтобы выполнять только один вид операции (математически, "групповая операция") в случае SNARK, с STARK вы смешиваете большое количество очень разных операций, которые не имеют связи и структуры. И это смешивание многих вещей — то, что сбивает с толку компьютеры, как классические, так и квантовые, и спасает ситуацию. КОНЕЦ.