- Тема
37k Популярність
4k Популярність
5k Популярність
42k Популярність
17k Популярність
31k Популярність
31k Популярність
3k Популярність
112k Популярність
27k Популярність
- Закріпити
37k Популярність
4k Популярність
5k Популярність
42k Популярність
17k Популярність
31k Популярність
31k Популярність
3k Популярність
112k Популярність
27k Популярність
PSE Trading: де вихід для доказів з нульовим знанням?
Оригінальний допис від @Calvin, торгового аналітика PSE
«Загалом я вважаю, що в короткостроковій перспективі Optimistic rollup має перевагу з точки зору сумісності з EVM, тоді як очікується, що ZKrollup буде кращим у простих рівнях платежів, транзакціях та інших конкретних випадках використання.
Однак у середньостроковій та довгостроковій перспективі ZK rollup виграє у всіх випадках використання з удосконаленням технології ZK-SNARK. "
Це оригінальні слова Бога V у його блозі «Неповне керівництво по зведенню».
ZK є ідеалом ETH. Застосування доказів з нульовим знанням (далі - ZK) в екосистемі Ethereum розкриває його здатність вирішувати проблему неможливого трикутника блокчейна (тобто безпеки, масштабованості та децентралізації). централізації) без мати доступ до повної інформації про транзакції, покращуючи масштабованість системи без шкоди для безпеки.
Впровадження ZK ще більше посилило децентралізацію системи ETH (зниження порогу вузла) і забезпечило децентралізацію та антицензурні можливості мережі, завдяки чому ETH входить у море, як дракон, і його важко стерти.
Чому з таким важливим ЗК у всіх такий поганий досвід використання, а масштабне впровадження не може викликати хвилі?
1. Поточна проблема зведення з нульовим знанням
Я пояснюю причину того, чому поточне підтвердження з нульовим знанням все ще перебуває в періоді вузьких місць, трьома аспектами: проблемами сумісності, проблемами ефективності та проблемами структури даних.
1.1 Основна і найактуальніша проблема: проблеми сумісності
Оскільки EVM (віртуальна машина Ethereum) піднялася до рівня Java у просторі блокчейну, вона стала лінгва франка нового цінного Інтернету. Завдяки численним інструментам, службам, бібліотекам та інфраструктурі широке використання EVM майже стало неминучою тенденцією в поточному технологічному середовищі.
В Інтернеті поширена приказка: «Все, що можна реалізувати на Java, зрештою буде реалізовано на Java».
Ще одна важлива, але заплутана концепція — «сумісність EVM» і «еквівалент EVM».
Зрозумійте різницю між ними з точки зору «близькості» та «методу впровадження»——
«Сумісність»: система здатна виконувати та розуміти байт-код EVM таким чином, щоб підтримувати смарт-контракти, написані на Solidity або інших мовах EVM.
«Еквівалент»: еквівалентність EVM є вищою планкою. Система, еквівалентна EVM, не тільки здатна виконувати байт-код EVM, але й точно відповідає EVM за поведінкою та шляхом. Усі інструменти та бібліотеки, націлені на Ethereum, також повинні працювати на еквівалентних системах EVM без будь-яких змін.
Переваги та недоліки «еквівалента EVM»:
Перевага:
Повна підтримка ланцюжка інструментів та інфраструктури: Ethereum має велику екосистему ланцюжка інструментів та інфраструктури, включаючи різні інструменти розробки, тестові фреймворки, бібліотеки коду та служби. Якщо рішення L2 є еквівалентом EVM, то всі ці інструменти та сервіси можуть бездоганно інтегруватися з ним, оскільки з їхньої точки зору це рішення L2 схоже на іншу мережу Ethereum.
Недоліки:
OP написав статтю, щоб дослідити сумісність EVM та еквівалентність EVM. Спочатку OVM, який використовував OP, пізніше був змінений на еквівалент EVM. Це також важлива причина, чому я вважаю, що OP не використовував ARB у початковий варварський період зростання. Між еквівалентом EVM і ARB існує розрив у сумісності, але тепер він змінений, і він навіть перевершує ARB у сумісності. .
З цієї точки зору ми також можемо зрозуміти важливість сумісності EVM, і навіть еквівалентність потрібна для залучення розробників, тим самим створюючи користувачів і тим самим створюючи екологію.
1.2 Технічне середовище зведення ZK фактично незріле
З точки зору можливості перевірки даних, можливість перевірки даних є ключовою особливістю системи блокчейн, яка забезпечує прозорість і можливість перевірки системи.
Структура перевірки ZK Rollup відносно складна, тому всі дані повинні бути доступними в ланцюжку. Це забезпечує міцну безпеку та цілісність, але також збільшує складність і вартість зберігання даних, яке дуже відрізняється від OP.
Зі збільшенням розміру даних zkSync може стати неможливим зберігати всі дані в основному ланцюжку. Це може вимагати запровадження зовнішньої перевірки даних, тим самим змінюючи існуючий вторинний метод перевірки та зменшуючи залежність від даних основної мережі.
Такі зміни породили нові виклики: як забезпечити безпеку системи, одночасно зменшуючи залежність від даних основного ланцюга?
Таким чином, перетворення zkSync на STARK також частково викликано цим, оскільки STARK більше підходить для використання зовнішніх перевірених даних, ніж SNARK.
Згідно з наведеним вище описом, реалізація зведеного пакету ZK все ще повинна покладатися на ETH для більш дружніх до ZK покращень, таких як покращення рівня DA та EVM.
1.3 Окрім зведення ZK, існують інші проблеми, наприклад проблеми з ефективністю:
У сфері блокчейну швидкість Sequencer (зазвичай вимірюється кількістю транзакцій за секунду, TPS) є ключовим показником для оцінки продуктивності системи ZK. Секвенсор відповідає за сортування та обробку транзакцій, а його здатність до обробки безпосередньо визначає пропускну здатність усього ланцюжка.
Однак у поточній реалізації (Zksync) обчислювальна потужність одного секвенсора становить лише кілька сотень транзакцій на секунду, обмеження, яке виявляє значне вузьке місце продуктивності.
Щоб розширити TPS, можна розглянути два основні способи: один – продовжувати покращувати можливості одного секвенсора, але це може збільшити ризик централізації системи; інший – запровадити більше секвенсорів для розподілу обробки. завантажувати, хоча й робити це Покращена децентралізація, але координація кількох секвенсорів може збільшити затримку та зменшити загальний TPS. Це питання підкреслює ретельно зважену проблему пошуку правильного балансу між покращенням продуктивності та збереженням децентралізації.
Напрямок розвитку технології ZK, як продемонстрував zkSync, спрямований на просування процесу децентралізованого секвенсора. Такий вибір зробить продуктивність і надалі важливим вузьким місцем у розвитку технології ZK. Хоча використання кількох секвенсорів і модульної конструкції забезпечує певне рішення, на практиці можуть виникнути складні проблеми координації та синхронізації. Це може не тільки вплинути на час відгуку та пропускну здатність системи, але й створити нові проблеми безпеки та надійності.
Проблеми з продуктивністю залишаються ключовою проблемою, яку потрібно вирішити. Майбутні дослідження та розробки, можливо, повинні будуть зосередитися на тому, як покращити продуктивність і масштабованість системи ZK шляхом оптимізації алгоритмів, стратегій координації та апаратної підтримки без шкоди для принципу децентралізації.
2. Доказ з нульовим знанням є найкращим ідеалом ETH
Ми говорили про поточні проблеми ЖК та труднощі, з якими він стикається, тож у чому причина смерті ЖК?
2.1
«Протокол Ethereum спочатку був задуманий як оновлена версія криптовалют, що забезпечує розширену функціональність через мову програмування дуже загального призначення... Протокол Ethereum виходить далеко за межі валюти».
Майбутнє ETH не обмежується лише платформою передачі цінностей, його кінцевим ідеалом є створення нового цифрового світу, який є надійним, масштабованим і гарантує конфіденційність.
Доказ нульового знання є ключовим кроком, щоб допомогти ETH рухатися до вищої мети. Доказ нульового знання є не лише технологічним прогресом ETH, але й втіленням його культури та філософії. Це нове розуміння та прагнення до конфіденційності, безпеки та масштабованості.
2.2
Традиційні соціальні структури покладаються на централізовані інституції для побудови довіри. Докази з нульовим знанням дозволяють встановити довіру без взаємного знання. Ця децентралізована модель довіри має потенціал перевернути існуючі соціальні, фінансові та урядові структури, спровокувавши соціальну революцію.
Поточна структура Ethereum жертвує конфіденційністю заради безпеки та зручності. ETH переосмислює концепцію конфіденційності через запровадження підтвердження з нульовим знанням. Людям більше не потрібно вибирати між конфіденційністю та безпекою, вони можуть користуватися обома правами одночасно.
Впровадження ZK дозволить полегшити процес верифікації для вузлів ETH для перевірки дійсності транзакцій навіть без знання повних даних. Це може зменшити вимоги до обчислень і зберігання для роботи вузла, тим самим знизивши поріг для участі в мережі. Згідно з оригінальними словами V God, «Мобільні телефони можуть брати участь у роботі вузлів ETH».
Зменшуючи вимоги до апаратного забезпечення та обслуговування для роботи вузлів, ZKP допомагають більшій кількості учасників приєднатися до мережі. Це посилює децентралізований характер мережі, тим самим посилюючи децентралізацію.
2.3
Впровадження ZK може запобігти будь-якому центральному органу відстеження та втручання в певні транзакції, захищаючи конфіденційність транзакцій.Крім того, децентралізація додатково гарантує відсутність єдиної точки збою, що ускладнює атаку або закриття мережі.
Захист конфіденційності спонукає до участі більше людей, незалежно від того, чи є вони окремими особами чи організаціями, щоб ця відкрита екосистема могла вільно розвиватися без обмежень центральної влади.
Зрештою, ZK робить ETH справді глобальною мережею завдяки інтеграції конфіденційності та децентралізації, з необмеженим потенціалом і еластичністю, такими ж незмивними, як дракон, що входить у море.
3. Нульові знання доводять розумний шлях для майбутнього впровадження
Необхідність — це пункт призначення, проблема — це статус-кво, тож який шлях?
**Спочатку давайте поговоримо про висновок: це зробити еквівалентне зведення ZK для EVM і дочекатися, поки поточний Ethereum оновить ZK-дружню EVM, і йти рука об руку, щоб допомогти ідеальній інтеграції технології ZK і ETH. **
3.1 Чотири типи ZKrollup в устах Бога V
Тип 1 ZK-EVM прагне бути повністю еквівалентним Ethereum без компромісів. Це нічого не змінює, навіть якщо це ускладнює створення доказів.
Переваги: ідеальна сумісність.
Недолік: Тривалий час перевірки.
Хто його розробляє? : ZK-EVM Community Edition.
Тип 2 ZK-EVM прагне бути повністю еквівалентним EVM, але зі змінами зовнішніх структур даних.
Перевага: точний еквівалент на рівні віртуальної машини.
Недолік: покращений, але все ще повільний час перевірки.
Хто його розробляє? : сувій і багатокутник Гермез.
Тип 3 ZK-EVM майже еквівалентний EVM, але зроблено деякі компроміси для подальшого покращення часу перевірки та простоти розробки.
Переваги: легше побудувати, швидше перевірка.
Недолік: більше несумісностей.
Хто його розробляє? : сувій і багатокутник.
Системи типу 4 працюють шляхом компіляції безпосередньо з мови високого рівня, без виконання через EVM.
Перевага: дуже швидкий час перевірки.
Недолік: більше несумісностей.
Хто його розробляє? : ZKSync і проект Nethermind's Warp. (зверніть увагу, що StarkNet навіть не сумісний з EVM і не обговорюється)
Різні типи ZK-EVM представляють складний набір компромісів між сумісністю та ефективністю.
Тип 1 націлений на повну сумісність, але підлягає тривалому часу перевірки, що виявляє реальну проблему, оскільки Ethereum не розглядає ZK-дружній дизайн.
Тип 2 і тип 3 шукають баланс між повною сумісністю та ефективністю перевірки, демонструючи дослідження та компроміс практичних рішень за існуючих технічних умов.
Тип 4 бере за головну мету прагнення до ефективності, але за рахунок сумісності, дещо ускладнюючи екологічний розвиток.
3.2 Спільне оновлення EVM і ZK: працювати разом, щоб зустрітися в кінці
Найкращий шлях для ETH для впровадження ZK передбачає не лише впровадження ZK EVM, еквівалентного доказу нульового знання, але, що більш важливо, оновлення та трансформацію самої EVM.
Трансформація EVM для ZK є складним, але необхідним процесом. EVM не тільки має бути еквівалентним ZK-EVM, але також має враховувати можливий майбутній розвиток ZK-SNARK ASIC.
Співпраця між ZK-EVM і EVM полягає не тільки в сумісності та ефективності на технічному рівні, але також в інтеграції інструментів розробника та підтримці перед компіляцією.
Багато людей прагнуть поступово реалізувати тип 1 шляхом постійного вдосконалення ZK-EVM і самого Ethereum. Процес може бути повільним, але він прокладає чіткий шлях у майбутнє.
3.3 Спільні зусилля та співпраця в рамках екології – це світло
Завдання впровадження підтвердження з нульовим знанням (ZK) на Ethereum — це не просто технічна проблема, а пошук найкращого шляху між ідеалом і реальністю. Цей процес показує, як поступово запроваджувати швидші та ефективніші рішення, зберігаючи сумісність із існуючою інфраструктурою.
У цьому дослідницькому процесі ідеальним рішенням є створення ZK-рішення, яке буде повністю еквівалентним існуючій EVM, а потім дочекатися ZK-дружнього оновлення самої EVM. Суть цього процесу полягає в тому, що обидві сторони працюють в тандемі і разом просуваються вперед, щоб зустрітися в якійсь проміжній точці.
Ця ідея спільних зусиль відображається не лише в технічній реалізації, але й у тому, як спрямувати всю спільноту на розвиток у більш безпечному та масштабованому напрямку на основі збереження унікальної цінності Ethereum та існуючої екології. Цей процес вимагає технічного розуміння, стратегічного планування та глибокого розуміння динаміки всієї екосистеми.
Таким чином, ми бачимо, що впровадження технології ZK на Ethereum — це не лише технологічна інновація, а й шлях до змін, у якому бере участь уся екосистема. Ця подорож сформує майбутнє Ethereum, шукаючи блокчейн-середовище, яке балансує між інноваціями та стабільністю, швидкістю та сумісністю.
4. Підсумок
Початок ери ZK знаменує не лише нову главу в екології Ethereum, але й історичний стрибок. У цій хвилі тенденцій очікується, що Ethereum не тільки перевершить існуючу Інтернет-систему в деяких аспектах, але й передвіщає народження нового та більш досконалого методу підключення.