Автор: HaoTian, криптоаналітик Джерело: X (оригінал Twitter) @tmel0211
Клацніть, щоб прочитати: Основна роль доступності даних у Layer2
Після популяризації Data Availability ви, мабуть, задумалися про зв’язок між Data Availability та EVM Compatible. Дозвольте мені спочатку зауважити: чим вища сумісність EVM, тим вищий ступінь інтеграції Data Availability з Ethereum. **
чому? Уважні друзі мають зауважити, що zkSync, обидва рішення ZK-Rollup, можуть лише завантажувати сертифікат передачі стану різниці в Ethereum, тоді як Linea може завантажувати всі дані в основну мережу. Відповідь може критися в сумісності з EVM.
Раніше @VitalikButerin написав статтю про «різні типи ZK-EVM», яку я хотів би переглянути з вами. Як показано на малюнку нижче, Віталік ділить сумісність різних рішень ZK з Ethereum на 5 рівнів:
Перший рівень повністю еквівалентний Ethereum і не змінює жодних компонентів системи Ethereum. Логіка хешування, дерева стану, попередньої компіляції та інша логіка майже однакова. Наприклад, Taiko та Scroll націлені на це;
Другий рівень еквівалентний системі віртуальної машини EVM, лише з деякими відмінностями в структурах даних, таких як структура блоку та дерево стану, наприклад Polygono zkEVM;
Третій рівень майже еквівалентний віртуальній машині EVM і може бути сумісний з більшістю додатків Щоб скоротити час перевірки, було зроблено лише деякі жертви, такі як: Scroll, Polygon zkEVM;
Четвертий рівень використовує мову вищого рівня для програмування, а потім проходить через рівень трансформації компілятора, лише для швидкого часу перевірки, наприклад: zkSync і Starknet.
Як популярним способом зрозуміти різницю між декількома ЗК-ЕВМ? Як зріла система публічного ланцюга, віртуальна машина Ethereum EVM, мова програмування Solidity та інші структури даних вважаються стандартом. Якщо розробник створює ZK-EVM, тим вище сумісність повторного використання компонентів системи Ethereum. Чим ближче це до рівня 1.
Щоб зрозуміти навпаки, чому zkSync і Starknet потрібно розробити власну мову та компілятор для її перетворення, це не тому, що швидкість використання власних компонентів Ethereum для створення доказів Prove є надто низькою та не може задовольнити попит. Якщо одного разу нижній рівень Ethereum підтримуватиме підтвердження SNARK, цьому рівню 2 потрібно буде лише пакетно отримувати транзакції, пакувати їх і надсилати в Ethereum.Навіщо самостійно керувати рівнем виконання, еквівалентним EVM?
Тепер, коли ви розумієте рівень сумісності з EVM, давайте подумаємо про його зв’язок із доступністю даних? Ви знайдете правило. Чим вища сумісність Etherum або EVM, тим вищий ступінь доступності даних можна досягти. Просто зрозумійте, якщо ви хочете, щоб Ethereum виконував DA для вас, тоді ви повинні бути високо сумісними з ним.
Я приблизно узагальнив основні методи впровадження доступності даних рівня 2, які можна грубо розділити на п’ять категорій:
Усі основні дані завантажуються в Ethereum, а Ethereum використовується як рівень DA; наприклад: Arbitrum, Optimism, Base, Linea
В Ethereum завантажується лише підтвердження переходу між різними станами, а всі історичні дані надаються самим рівнем 2, наприклад: zkSync, Starknet
Послуги DA надаються власною ексклюзивною потужною консенсусною мережею рівня 2 рівня 1, такою як Polygon zkEVM
DA забезпечується розподіленою мережею зберігання даних із сильним консенсусом третьої сторони, такою як IPFS; наприклад: Metis
DA надається стороннім постачальником публічних послуг, який спеціалізується на створенні модульних DA; наприклад: Mantle
Рівень 2 надає незалежні служби DA, наприклад: Abitrum Nova, Apex, ImmutableX
Наведена вище класифікація стосується аналізу даних L2BEAT. Доступність даних позначається на платформі аналізу даних як (On-chain, On-chain (SD), External, External (DAC), Optimism (MEMO) тощо).
Щоб класифікувати їх на основі доступності даних, від 1 до 6 і залежність від Ethereum поступово зменшується, консенсус щодо безпеки також поступово слабшає. Оскільки консенсус щодо безпеки є відносно розпливчастим поняттям, просто використання ступеня інтеграції участі Ethereum у DA як критерію міцності консенсусу не означає, що рівню 2 обов’язково небезпечно покладатися на сторонні DA для забезпечення консенсусу. або самостійно керувати рівнем DA.
Підсумуйте
Ми виявили, що OP-Rollup, такі як Arbitrum і Optimism, мають високий ступінь застосування в Ethereum DA. Причина дуже проста. OP-Rollup і EVM природно дуже сумісні. Їм потрібно лише добре запустити Sequencer і обробку транзакцій. виконується локально. , перевірка ключа та пізніше Challenge покладаються на систему Ethereum.
Linea, яка є частиною лінійки ZK-Rollup, може завантажувати всі основні дані в Ethereum. Я не бачив офіційного пояснення, але я припускаю, що це тому, що Linea EVM дуже сумісна, тому Linea може повторно використовувати сховище Ethereum і виконувати контракти , тощо. Для допомоги в процесі сертифікації Prove? Проте zkSync може покладатися лише на свою власну систему Prove для створення доказів.Якщо zkSync також підключає всі дані до Ethereum, наступні контракти Rollup не зможуть перевірити дійсність своїх доказів.
Нарешті, чи помітили ви, що Polygon ZK-EVM використовує власну мережу Polygon Validium L1 як рівень консенсусу?Як конкурент Ethereum, консенсусна система верифікації L1 від Polygon також є дуже надійною, а її ліміт пам’яті набагато кращий, ніж у Ethereum. Звичайно, немає жодних проблем у використанні власного L1 як DA. Однак Polygon zkEVM нарешті синхронізував доказ переходу стану до Ethereum.Насправді, це абсолютно непотрібно, але не завадить оподатковувати Ethereum для досягнення міцнішого консенсусу щодо екології та безпеки.
Сказавши це, ви повинні розуміти, чому Scroll і Taiko наполегливо працюють над спорідненістю EVM, тому що тільки чим вище спорідненість EVM, тим зручніше для DA буде використовувати Ethereum, і він також відповідатиме вужчому рівню Ethereum. 2 визначення. Уявіть собі, якщо рішення Ethereum Layer 2, транзакція збору, доступність даних, сумісність тощо покладаються на Layer 2 та інші модульні рішення сторонніх розробників, і воно просто синхронізує дані з Ethereum для запису, чи потрібно це?
Переглянути оригінал
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
Сумісність з EVM і доступність даних: чому вони важливі?
Автор: HaoTian, криптоаналітик Джерело: X (оригінал Twitter) @tmel0211
Клацніть, щоб прочитати: Основна роль доступності даних у Layer2
Після популяризації Data Availability ви, мабуть, задумалися про зв’язок між Data Availability та EVM Compatible. Дозвольте мені спочатку зауважити: чим вища сумісність EVM, тим вищий ступінь інтеграції Data Availability з Ethereum. **
чому? Уважні друзі мають зауважити, що zkSync, обидва рішення ZK-Rollup, можуть лише завантажувати сертифікат передачі стану різниці в Ethereum, тоді як Linea може завантажувати всі дані в основну мережу. Відповідь може критися в сумісності з EVM.
Раніше @VitalikButerin написав статтю про «різні типи ZK-EVM», яку я хотів би переглянути з вами. Як показано на малюнку нижче, Віталік ділить сумісність різних рішень ZK з Ethereum на 5 рівнів:
Перший рівень повністю еквівалентний Ethereum і не змінює жодних компонентів системи Ethereum. Логіка хешування, дерева стану, попередньої компіляції та інша логіка майже однакова. Наприклад, Taiko та Scroll націлені на це;
Другий рівень еквівалентний системі віртуальної машини EVM, лише з деякими відмінностями в структурах даних, таких як структура блоку та дерево стану, наприклад Polygono zkEVM;
Третій рівень майже еквівалентний віртуальній машині EVM і може бути сумісний з більшістю додатків Щоб скоротити час перевірки, було зроблено лише деякі жертви, такі як: Scroll, Polygon zkEVM;
Четвертий рівень використовує мову вищого рівня для програмування, а потім проходить через рівень трансформації компілятора, лише для швидкого часу перевірки, наприклад: zkSync і Starknet.
Як популярним способом зрозуміти різницю між декількома ЗК-ЕВМ? Як зріла система публічного ланцюга, віртуальна машина Ethereum EVM, мова програмування Solidity та інші структури даних вважаються стандартом. Якщо розробник створює ZK-EVM, тим вище сумісність повторного використання компонентів системи Ethereum. Чим ближче це до рівня 1.
Щоб зрозуміти навпаки, чому zkSync і Starknet потрібно розробити власну мову та компілятор для її перетворення, це не тому, що швидкість використання власних компонентів Ethereum для створення доказів Prove є надто низькою та не може задовольнити попит. Якщо одного разу нижній рівень Ethereum підтримуватиме підтвердження SNARK, цьому рівню 2 потрібно буде лише пакетно отримувати транзакції, пакувати їх і надсилати в Ethereum.Навіщо самостійно керувати рівнем виконання, еквівалентним EVM?
Тепер, коли ви розумієте рівень сумісності з EVM, давайте подумаємо про його зв’язок із доступністю даних? Ви знайдете правило. Чим вища сумісність Etherum або EVM, тим вищий ступінь доступності даних можна досягти. Просто зрозумійте, якщо ви хочете, щоб Ethereum виконував DA для вас, тоді ви повинні бути високо сумісними з ним.
Я приблизно узагальнив основні методи впровадження доступності даних рівня 2, які можна грубо розділити на п’ять категорій:
Усі основні дані завантажуються в Ethereum, а Ethereum використовується як рівень DA; наприклад: Arbitrum, Optimism, Base, Linea
В Ethereum завантажується лише підтвердження переходу між різними станами, а всі історичні дані надаються самим рівнем 2, наприклад: zkSync, Starknet
Послуги DA надаються власною ексклюзивною потужною консенсусною мережею рівня 2 рівня 1, такою як Polygon zkEVM
DA забезпечується розподіленою мережею зберігання даних із сильним консенсусом третьої сторони, такою як IPFS; наприклад: Metis
DA надається стороннім постачальником публічних послуг, який спеціалізується на створенні модульних DA; наприклад: Mantle
Рівень 2 надає незалежні служби DA, наприклад: Abitrum Nova, Apex, ImmutableX
Наведена вище класифікація стосується аналізу даних L2BEAT. Доступність даних позначається на платформі аналізу даних як (On-chain, On-chain (SD), External, External (DAC), Optimism (MEMO) тощо).
Щоб класифікувати їх на основі доступності даних, від 1 до 6 і залежність від Ethereum поступово зменшується, консенсус щодо безпеки також поступово слабшає. Оскільки консенсус щодо безпеки є відносно розпливчастим поняттям, просто використання ступеня інтеграції участі Ethereum у DA як критерію міцності консенсусу не означає, що рівню 2 обов’язково небезпечно покладатися на сторонні DA для забезпечення консенсусу. або самостійно керувати рівнем DA.
Підсумуйте
Ми виявили, що OP-Rollup, такі як Arbitrum і Optimism, мають високий ступінь застосування в Ethereum DA. Причина дуже проста. OP-Rollup і EVM природно дуже сумісні. Їм потрібно лише добре запустити Sequencer і обробку транзакцій. виконується локально. , перевірка ключа та пізніше Challenge покладаються на систему Ethereum.
Linea, яка є частиною лінійки ZK-Rollup, може завантажувати всі основні дані в Ethereum. Я не бачив офіційного пояснення, але я припускаю, що це тому, що Linea EVM дуже сумісна, тому Linea може повторно використовувати сховище Ethereum і виконувати контракти , тощо. Для допомоги в процесі сертифікації Prove? Проте zkSync може покладатися лише на свою власну систему Prove для створення доказів.Якщо zkSync також підключає всі дані до Ethereum, наступні контракти Rollup не зможуть перевірити дійсність своїх доказів.
Нарешті, чи помітили ви, що Polygon ZK-EVM використовує власну мережу Polygon Validium L1 як рівень консенсусу?Як конкурент Ethereum, консенсусна система верифікації L1 від Polygon також є дуже надійною, а її ліміт пам’яті набагато кращий, ніж у Ethereum. Звичайно, немає жодних проблем у використанні власного L1 як DA. Однак Polygon zkEVM нарешті синхронізував доказ переходу стану до Ethereum.Насправді, це абсолютно непотрібно, але не завадить оподатковувати Ethereum для досягнення міцнішого консенсусу щодо екології та безпеки.
Сказавши це, ви повинні розуміти, чому Scroll і Taiko наполегливо працюють над спорідненістю EVM, тому що тільки чим вище спорідненість EVM, тим зручніше для DA буде використовувати Ethereum, і він також відповідатиме вужчому рівню Ethereum. 2 визначення. Уявіть собі, якщо рішення Ethereum Layer 2, транзакція збору, доступність даних, сумісність тощо покладаються на Layer 2 та інші модульні рішення сторонніх розробників, і воно просто синхронізує дані з Ethereum для запису, чи потрібно це?