Гравець SNARK дійсно оголосив, що стежить за STARK? Ера STARK з @zksync настає так скоро @Starknet тремтить!
Отже, що таке нова версія zkSync оновленого Boojum? Чому zkSync так швидко оголосив про оновлення Stark? Яка суттєва різниця між Снарком і Старком? Як це оновлення матиме вплив на ринок L2?
З точки зору технічної дискусії, давайте швидко прокоментуємо та обговоримо. 1/5
Простіше кажучи, Boojum — це перехідна версія zkSync від SNARK до системи перевірки STARK.
Це означає, що протягом тривалого часу система сертифікації zkSync матиме можливості інтерфейсу Stark, як і раніше, використовуватиме зрілу сертифікацію SNARK системи сертифікації. Цього можна досягти, підключившись до 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 і використанню козирів конкуруючих продуктів, щоб пробити власну стелю. 5/5