Игрок SNARK действительно объявил, что следит за STARK? Эра STARK с @zksync наступит так скоро, что @Starknet дрожит!
Итак, что представляет собой новая версия zkSync, обновленная Boojum? Почему zkSync так быстро объявила об обновлении Stark? В чем принципиальная разница между Снарком и Старком? Какое влияние окажет это обновление на рынок L2?
С точки зрения технической дискуссии, давайте быстро прокомментируем и обсудим. 1/5
Проще говоря, Boojum — это переходная версия zkSync от SNARK к системе доказательств STARK.
Это означает, что в течение долгого времени система сертификации Prover zkSync будет иметь возможности интерфейса Stark. Для большинства основных потребностей по-прежнему будет использоваться зрелая сертификация SNARK. Отдельные приложения, особенно в многоцепной среде zk Stack, должны использовать zk. системы сертификации. Этого можно добиться, подключившись к boojum. 2/5
Ключевым моментом в этом круге является то, что Boojum является неизбежным выбором для zkSync для реализации стратегии мультичейна zk Stack.
По сравнению со STARK, метод доказательства SNARK основан на рекурсивной проверке, которая подходит для доказательства вывода zk на основе того же открытого ключа в той же системе, тогда как доказательство STARK может быть основано на неинтерактивном методе проверки, что позволяет выполнять сложную нерекурсивную реализацию в состояние перекрестной цепи. 3/5
В этом основное различие между двумя системами доказательств SNARK и STARK.
По сравнению с методом проверки SNARK, основанным на математических предположениях, процесс доказательства STARK содержит большое количество избыточной информации, поэтому ресурсы вычислительного алгоритма относительно высоки, а скорость также высока.
Таким образом, основная цепочка zkSync будет использовать SNARK в качестве основной системы сертификации в будущем, а STARK — это всего лишь расширение ее стратегии мультичейнов. 4/5
Это соответствует легкому и эффективному духу разработки zkSync.
Таким образом, разработка Boojum компанией zkSync не находится в том же стратегическом измерении, что и Starknet, но она будет представлять определенные угрозы для других, таких как Op Stark, Arbitrum Orbit и Polygon2.0.
Вы должны знать, что переход zkSync на STARK эквивалентен признанию технических недостатков SNARK и использованию козырей конкурирующих продуктов для прорыва собственного потолка. Модель и амбиции этой волны игроков L2 действительно идут одна за другой. 5/5