Обновление zkSync: почему игрок SNARK перешел на STARK?

Игрок SNARK действительно объявил, что он на одном уровне со STARK? Эпоха STARK с @zksync наступила так скоро, @Starknet дрожит!

Итак, что представляет собой новая версия Boojum, обновленная с помощью zkSync? Почему zkSync так быстро объявил об обновлении Stark? В чем принципиальная разница между снарком и старком? Какое влияние это обновление окажет на рынок L2?

С точки зрения технического обсуждения, давайте быстро рассмотрим и обсудим.

1. Boojum — это переходная версия zkSync от SNARK к системе проверки STARK. Это означает, что система подтверждения zkSync Prover будет иметь возможности интерфейса STARK, но по-прежнему будет использовать систему подтверждения SNARK для удовлетворения большинства основных потребностей.

2. Boojum — это вариант zkSync для реализации стратегии мультицепочки zk Stack. По сравнению со SNARK, метод доказательства STARK имеет возможность неинтерактивной проверки и подходит для сложной нерекурсивной проверки в кроссчейн-среде.

3. Основное различие между SNARK и STARK заключается в методе проверки. SNARK основан на математических допущениях и подходит для вывода доказательств zk на основе одного и того же открытого ключа в той же системе, в то время как процесс доказательства STARK содержит избыточную информацию и требует больших вычислительных ресурсов.

4. Основная цепочка zkSync по-прежнему будет использовать SNARK в качестве основной системы проверки, а STARK — это просто возможность расширения своей стратегии с несколькими цепочками. Это отличается от стратегического аспекта Starknet, но может оказать некоторое конкурентное давление на другие решения L2, такие как Op Stark, Arbitrum Orbit и Polygon 2.0.

В целом, zkSync перешел на систему проверки STARK через вариант обновления Boojum, который показывает, что они признают, что SNARK имеет технические ограничения в некоторых аспектах, и используют преимущества конкурентов, чтобы преодолеть свой собственный технический потолок. Это обновление может оказать определенное влияние на рынок L2, но конкретное влияние будет зависеть от реакции и принятия рынком и разработчиками.