Оновлення 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, але конкретний вплив залежатиме від реакції та прийняття ринку та розробників.