Validity Rollups: Найкращий вибір для масштабування Ethereum?
Validity Rollups (також відомі як zk-rollups) вважаються найбільш перспективним рішенням для підвищення пропускної здатності Ethereum безпечним і децентралізованим способом. Основою цього рішення для розширення є використання доказів дійсності для верифікованих обчислень. Його принцип роботи такий:
Оператор виконує обробку транзакцій в середовищі поза блокчейном (2-й рівень). Після обробки великої кількості транзакцій оператор 2-го рівня повертає результати для застосування до стану Ethereum, одночасно надаючи дійсне свідчення цілісності виконання поза блокчейном. Це свідчення забезпечує, що всі транзакції в партії є дійсними і автоматично перевіряються контрактом на блокчейні. Це дозволяє Ethereum застосувати результати до свого стану.
Слід зазначити, що Validity Rollups зазвичай помилково називають нульовими знаннями, але це не зовсім точно. Більшість Validity Rollup не використовують нульові докази і не призначені для забезпечення конфіденційності. Тому термін "Validity Rollup" є більш влучним.
У Validity Rollups zkEVM та Cairo VM (CVM) є двома поширеними типами віртуальних машин. zkEVM зосереджується на сумісності з Ethereum, але жертвує продуктивністю та масштабованістю. Натомість Starknet використовує Cairo VM, яка ставить продуктивність та масштабованість вище за сумісність.
Віртуальна машина ( VM ) є середовищем, яке може виконувати програми, подібно до запуску операційної системи Windows на Mac. Вона переходить між різними станами після обробки певних вхідних даних. Ethereum віртуальна машина ( EVM ) є VM для виконання смарт-контрактів Ethereum.
Нульове знання віртуальна машина ( zkVM ) є середовищем виконання програм, яке здатне генерувати легкі для перевірки докази дійсності, щоб довести, що програма була виконана правильно. "zkEVM" зазвичай відноситься до використання Ethereum віртуальної машини ( EVM ) і здатності довести узагальнення виконання EVM. Цей термін може бути оманливим, оскільки сама EVM не генерує ці докази; докази генеруються незалежним механізмом доказів, який ґрунтується на результатах виконання EVM. Крім того, ці докази в основному зосереджені на дійсності, а не на конфіденційності, тому вони не є строго нульовими доказами.
zkEVM має на меті повністю перенести досвід Ethereum на Layer-2 блокчейни. Він намагається надати розробникам можливість відтворити середовище Ethereum, щоб вони могли писати або переносити смарт-контракти на більш масштабовані рішення без зміни коду або відмови від EVM-інструментів. Однак основним недоліком такого підходу є зниження потенціалу масштабування доказів ефективності. Через зобов'язання бути сумісним з Ethereum, zkEVM має повільнішу швидкість і вищі витрати ресурсів.
У порівнянні, Starknet використовує Cairo VM (CVM), яка є новим типом віртуальної машини, спеціально розробленим для оптимізації ефективності доказів дійсності. Cairo VM дозволяє розробникам налаштовувати відповідно до конкретних потреб і оснащена функціями, що відповідають новим вимогам.
Мова Cairo спочатку була розроблена для спрощення процесу створення доказів обчислювальної ефективності. Програми Cairo компілюються в алгебраційний машинний код, який виконується фіксованою VM. Цей підхід дозволяє розробникам використовувати докази ефективності для розширення своїх додатків, не вдаючись у глибоке розуміння базової математики та інфраструктури.
Starknet надає різноманітні методи кодування. Розробники можуть вибрати написання коду безпосередньо в Cairo або скористатися інструментами сумісності з Solidity. Наприклад, компілятор Warp може перетворити код Solidity на Cairo, а Kakarot є zkEVM, написаним на Cairo, який може виконувати смарт-контракти Ethereum на Starknet.
В цілому, zkEVM має на меті відтворити Ethereum середовище, але може обмежити потенціал доказів ефективності. Cairo VM, з іншого боку, спеціально розроблена для систем доказів ефективності, не підлягає обмеженням EVM, пропонуючи вищу ефективність і гнучкість. З розвитком екосистеми Starknet, розробники тепер мають безпрецедентну здатність контролювати масштабування блокчейнів.
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
14 лайків
Нагородити
14
5
Репост
Поділіться
Прокоментувати
0/400
BearMarketMonk
· 08-13 08:36
Розширення - це не проблема, головне, чи буде v胖 точкове бриття~
Переглянути оригіналвідповісти на0
digital_archaeologist
· 08-10 13:29
Хто розуміє, L2 занадто багато.
Переглянути оригіналвідповісти на0
ApyWhisperer
· 08-10 13:26
Занадто глибока залежність, ще потрібно дивитися VR
Validity Rollups та zkEVM: обговорення переваг і недоліків рішень для масштабування Ethereum
Validity Rollups: Найкращий вибір для масштабування Ethereum?
Validity Rollups (також відомі як zk-rollups) вважаються найбільш перспективним рішенням для підвищення пропускної здатності Ethereum безпечним і децентралізованим способом. Основою цього рішення для розширення є використання доказів дійсності для верифікованих обчислень. Його принцип роботи такий:
Оператор виконує обробку транзакцій в середовищі поза блокчейном (2-й рівень). Після обробки великої кількості транзакцій оператор 2-го рівня повертає результати для застосування до стану Ethereum, одночасно надаючи дійсне свідчення цілісності виконання поза блокчейном. Це свідчення забезпечує, що всі транзакції в партії є дійсними і автоматично перевіряються контрактом на блокчейні. Це дозволяє Ethereum застосувати результати до свого стану.
Слід зазначити, що Validity Rollups зазвичай помилково називають нульовими знаннями, але це не зовсім точно. Більшість Validity Rollup не використовують нульові докази і не призначені для забезпечення конфіденційності. Тому термін "Validity Rollup" є більш влучним.
У Validity Rollups zkEVM та Cairo VM (CVM) є двома поширеними типами віртуальних машин. zkEVM зосереджується на сумісності з Ethereum, але жертвує продуктивністю та масштабованістю. Натомість Starknet використовує Cairo VM, яка ставить продуктивність та масштабованість вище за сумісність.
Віртуальна машина ( VM ) є середовищем, яке може виконувати програми, подібно до запуску операційної системи Windows на Mac. Вона переходить між різними станами після обробки певних вхідних даних. Ethereum віртуальна машина ( EVM ) є VM для виконання смарт-контрактів Ethereum.
Нульове знання віртуальна машина ( zkVM ) є середовищем виконання програм, яке здатне генерувати легкі для перевірки докази дійсності, щоб довести, що програма була виконана правильно. "zkEVM" зазвичай відноситься до використання Ethereum віртуальної машини ( EVM ) і здатності довести узагальнення виконання EVM. Цей термін може бути оманливим, оскільки сама EVM не генерує ці докази; докази генеруються незалежним механізмом доказів, який ґрунтується на результатах виконання EVM. Крім того, ці докази в основному зосереджені на дійсності, а не на конфіденційності, тому вони не є строго нульовими доказами.
zkEVM має на меті повністю перенести досвід Ethereum на Layer-2 блокчейни. Він намагається надати розробникам можливість відтворити середовище Ethereum, щоб вони могли писати або переносити смарт-контракти на більш масштабовані рішення без зміни коду або відмови від EVM-інструментів. Однак основним недоліком такого підходу є зниження потенціалу масштабування доказів ефективності. Через зобов'язання бути сумісним з Ethereum, zkEVM має повільнішу швидкість і вищі витрати ресурсів.
У порівнянні, Starknet використовує Cairo VM (CVM), яка є новим типом віртуальної машини, спеціально розробленим для оптимізації ефективності доказів дійсності. Cairo VM дозволяє розробникам налаштовувати відповідно до конкретних потреб і оснащена функціями, що відповідають новим вимогам.
Мова Cairo спочатку була розроблена для спрощення процесу створення доказів обчислювальної ефективності. Програми Cairo компілюються в алгебраційний машинний код, який виконується фіксованою VM. Цей підхід дозволяє розробникам використовувати докази ефективності для розширення своїх додатків, не вдаючись у глибоке розуміння базової математики та інфраструктури.
Starknet надає різноманітні методи кодування. Розробники можуть вибрати написання коду безпосередньо в Cairo або скористатися інструментами сумісності з Solidity. Наприклад, компілятор Warp може перетворити код Solidity на Cairo, а Kakarot є zkEVM, написаним на Cairo, який може виконувати смарт-контракти Ethereum на Starknet.
В цілому, zkEVM має на меті відтворити Ethereum середовище, але може обмежити потенціал доказів ефективності. Cairo VM, з іншого боку, спеціально розроблена для систем доказів ефективності, не підлягає обмеженням EVM, пропонуючи вищу ефективність і гнучкість. З розвитком екосистеми Starknet, розробники тепер мають безпрецедентну здатність контролювати масштабування блокчейнів.