Починати статтю про зведення з чогось на кшталт «Що таке зведення» або «Навіщо нам потрібен зведення» — це все одно, що вбити дядька Бена чи застрелити маму й тата Вейна в кожній ітерації фільмів про Людину-павука та Бетмена. Те саме, що тато. Якщо ви читаєте цю статтю, я припускаю, що ви вже маєте базове уявлення про вищезазначені проблеми.Тут ми пропускаємо дискусію між ланцюжком додатків і зведеним пакетом додатків і переходимо безпосередньо до теми.
Розвиток зведених програм для окремих програм
Generic Rollup розчаровує
Universal Rollup схожий на шкільну систему в Індії (я впевнений, що вони мають схожі характеристики з іншими шкільними системами, але я маю лише особистий досвід роботи з нею).
Спортсмени, співаки, математики, мислителі та економісти повинні пройти один і той же процес, щоб отримати прохідний бал. Система не є «упередженою» до певної групи, але вона також не є «справедливою» до всіх. Але привіт, ми подружилися! (Це буде важливо пізніше).
Подібним чином для додатків на універсальному зведеному вузьким місцем є саме середовище виконання, оскільки зведений пакет не може задовольнити потреби кожної програми окремо. Кожна програма може потребувати різного типу оптимізації, і будь-які індивідуальні покращення можуть бути невиправданими для них. Однак, якщо ви просто експериментуєте і хочете отримати приблизне уявлення, це найзручніший варіант. Крім того, це може бути правильним рішенням для деяких додатків, таких як середні студенти!
Зведене програмне забезпечення вводить в оману
Ну, моя дитина занадто спортивна для державної школи, і їй потрібна спеціальна підготовка. Чи потрібно мені віддавати його в спортивну школу чи я повинен найняти особистого тренера...
Зведення важко чітко класифікувати
Давай пограємо в гру
Нижче наведено 8 конкретних зведених програм. Однак 1 елемент у кожній групі насправді не належить до цієї групи. Ви можете сказати, який це?
Специфіка застосування стає заплутаним терміном. Є деякі спеціальні зведені додатки, які дозволяють розгортати контракти поверх самих себе; є також деякі спеціальні зведені додатки, які дозволяють розгортати контракти, оскільки їхні віртуальні машини це підтримують, але будуть певні обмеження; вони мають закриті віртуальні машини або не мають віртуальних машини взагалі та не підтримують інші типи розробки.
Чи справедливо класифікувати їх разом?
Відповіді на наведену вище вправу:
Група 1: Celo є дивним варіантом, оскільки він дозволяє іншим розробникам створювати програми, які інші розробники можуть використовувати безпосередньо. Інші проекти, які слід розглянути в групі 1, це Fuel-v1, Aevo, RhinoFi тощо.
Група 2: Loopring є дивним вибором, оскільки це єдиний спеціально створений Rollup, який працює з коробки, тоді як решта є мережами, оптимізованими для певних функцій, таких як конфіденційність, NFT і TPS для розгорнутих на ньому програм. Ці функції можуть бути успадковані. Інші проекти, які можна розглядати у групі 2, це Kinto, Kroma, Public Goods Network тощо.
Проблеми з розгортанням контрактів у модифікованих загальних віртуальних машинах
Ці віртуальні машини, на яких ви розгортаєте смарт-контракти, є нічим іншим, як кінцевими автоматами Turing. Контракти, які ви розгортаєте на них, лише змінюють сам стан, але насправді не впливають на основні правила переходу стану віртуальної машини. Rollup — це, по суті, віртуальна машина, на якій знаходиться ваша бізнес-логіка.
Ваша бізнес-логіка відокремлена від функцій переходу стану Rollup.
Я також називаю це «парадигмою розумного контракту для створення додатків», оскільки ви розгортаєте додаткову логіку поверх віртуальної машини. Rollup не «безпосередньо» займається перевіркою логіки програми. Віртуальна машина — це збірка, а не ваша програма.
Звичайно, ви є єдиним власником віртуальної машини, ваша програма є єдиним громадянином, і ви можете постійно вдосконалювати саму базу, щоб зробити її придатною для вашої програми. Ви можете продовжувати вдосконалювати функцію переходу стану (STF) і додавати/видаляти коди операцій для покращення продуктивності програми, але програма залишається незалежною та обмеженою самою віртуальною машиною.
Як Lamborghini Urus, що тягне Lamborghini Huracan
Окрема програма для конкретної програми Rollup може працювати краще. Що, якби ви продовжували вдосконалювати STF так, щоб обсяг STF ставав усе меншим і меншим, щоб відповідати бізнес-логіці вашої програми? Зрештою, коли ви станете сильнішими, STF зійдеться до точки, де бізнес-логіка та STF перетинаються, і тоді ви зрозумієте... о, зачекайте!
Народився Micro-Rollup
Тому Micro-Rollup — це не що інше, як Rollup, у якому функція переходу стану програми є самою бізнес-логікою.
Програма стає зведеним пакетом, станом можна керувати будь-яким можливим способом у будь-якому середовищі виконання, а правила переходу стану можна застосовувати безпосередньо під час виконання програми. Додаток можна налаштувати без будь-яких обмежень. Докази прив’язані до вашої бізнес-логіки, а не до машини, що робить вашу програму легкою.
Micro-Rollup не має обмежень щодо досвіду розробників. Ви можете створювати їх за допомогою будь-яких інструментів, оскільки вони не обмежуються лише віртуальними машинами. Вони виглядають як серверні додатки web2, але періодично публікують докази транзакцій на L1. Я думаю, що це буде основним фактором, що вплине на перехід розробників web2 у простір web3.
Насправді кращим прикладом може бути Rimac Nevera, оскільки він швидший і електричний, тому, можливо, дешевше працювати
Єдиним недоліком цього підходу є спеціальний механізм перевірки для кожної окремої програми. Якщо логіку програми можна скомпільувати у загальний посередник, то перевірка публічного посередника позбавляє від болю перевірки кожної програми окремо, але я особисто вважаю, що це лише компроміс між ефективністю та швидшою розробкою.
Є способи вирішити цю проблему без використання рівня виконання із залученням віртуальної машини. Що, якби існував інструмент, який дозволяв розробникам це робити?
Це місія Stackr Labs: ми створюємо фреймворк Micro-Rollup і SDK, щоб кожен і кожен міг створювати свої програми будь-якою мовою без обмежень, так само, як і створення серверних програм web2. Процедура та сама. Зробити розробку Micro-Rollup такою ж простою, як написання та розгортання смарт-контрактів, не кажучи вже про модульність, що розширює можливості розробників вибирати будь-яку екосистему.
Отже, чи реальний Micro-Rollup?
Це завжди було так само реально, як і сам Rollup.
Такі програми, як Loopring, dYdX і Fuel-v1, уже існують або існують уже давно. Це високооптимізовані зведені пакети з спеціальною логікою, яка працює спеціально для їх використання. Перший конкретний зведений пакет додатків, про який я знаю і над яким я особисто працював, який не базується на віртуальній машині, — Hubble Optimistic Rollup, проект 3-річної давності, який свого часу служив основною інфраструктурою для токена Worldcoin.
Зараз стає все важливішим розрізняти ці терміни.
Варіанти використання Micro-Rollups нескінченні:
Споживчі товари, такі як ігри, біржі та ринки NFT
Ланцюжок додатків можна перетворити на зведення додатків
Ви навіть можете створювати нові типи віртуальних машин, які підтримують унікальні варіанти використання, відкриваючи двері для інновацій у віртуальних машинах
на закінчення
У структурному дереві, яке я показав раніше, були відсутні елементи для спеціального кінцевого автомата.
Крім того, розгортання одного протоколу за допомогою зведення на основі VM або EVM неефективно для автономних програм. Він підходить для додатків, які вже мають велику кількість смарт-контрактів і запускають свої протоколи в ланцюжку, схожому на EVM, але не для «додатків, які хочуть більше» і хочуть позбутися обмежень віртуальної машини.
Отже, якщо ми обрізаємо дерево, остаточне дерево виглядатиме так. Ось чому я думаю, що App-Rollup, Micro-Rollup або RollApp найближчим часом називатимуться App.
Переглянути оригінал
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
Обговоріть взаємозв’язок між Rollup і розробкою додатків: чи є за Micro-Rollup майбутнє?
Автор: KAUTUK, розробник Stackr
Упорядник: Luffy, Foresight News
Починати статтю про зведення з чогось на кшталт «Що таке зведення» або «Навіщо нам потрібен зведення» — це все одно, що вбити дядька Бена чи застрелити маму й тата Вейна в кожній ітерації фільмів про Людину-павука та Бетмена. Те саме, що тато. Якщо ви читаєте цю статтю, я припускаю, що ви вже маєте базове уявлення про вищезазначені проблеми.Тут ми пропускаємо дискусію між ланцюжком додатків і зведеним пакетом додатків і переходимо безпосередньо до теми.
Розвиток зведених програм для окремих програм
Generic Rollup розчаровує
Universal Rollup схожий на шкільну систему в Індії (я впевнений, що вони мають схожі характеристики з іншими шкільними системами, але я маю лише особистий досвід роботи з нею).
Спортсмени, співаки, математики, мислителі та економісти повинні пройти один і той же процес, щоб отримати прохідний бал. Система не є «упередженою» до певної групи, але вона також не є «справедливою» до всіх. Але привіт, ми подружилися! (Це буде важливо пізніше).
Подібним чином для додатків на універсальному зведеному вузьким місцем є саме середовище виконання, оскільки зведений пакет не може задовольнити потреби кожної програми окремо. Кожна програма може потребувати різного типу оптимізації, і будь-які індивідуальні покращення можуть бути невиправданими для них. Однак, якщо ви просто експериментуєте і хочете отримати приблизне уявлення, це найзручніший варіант. Крім того, це може бути правильним рішенням для деяких додатків, таких як середні студенти!
Зведене програмне забезпечення вводить в оману
Ну, моя дитина занадто спортивна для державної школи, і їй потрібна спеціальна підготовка. Чи потрібно мені віддавати його в спортивну школу чи я повинен найняти особистого тренера...
Зведення важко чітко класифікувати
Давай пограємо в гру
Нижче наведено 8 конкретних зведених програм. Однак 1 елемент у кожній групі насправді не належить до цієї групи. Ви можете сказати, який це?
Специфіка застосування стає заплутаним терміном. Є деякі спеціальні зведені додатки, які дозволяють розгортати контракти поверх самих себе; є також деякі спеціальні зведені додатки, які дозволяють розгортати контракти, оскільки їхні віртуальні машини це підтримують, але будуть певні обмеження; вони мають закриті віртуальні машини або не мають віртуальних машини взагалі та не підтримують інші типи розробки.
Чи справедливо класифікувати їх разом?
Відповіді на наведену вище вправу:
Група 1: Celo є дивним варіантом, оскільки він дозволяє іншим розробникам створювати програми, які інші розробники можуть використовувати безпосередньо. Інші проекти, які слід розглянути в групі 1, це Fuel-v1, Aevo, RhinoFi тощо.
Група 2: Loopring є дивним вибором, оскільки це єдиний спеціально створений Rollup, який працює з коробки, тоді як решта є мережами, оптимізованими для певних функцій, таких як конфіденційність, NFT і TPS для розгорнутих на ньому програм. Ці функції можуть бути успадковані. Інші проекти, які можна розглядати у групі 2, це Kinto, Kroma, Public Goods Network тощо.
Проблеми з розгортанням контрактів у модифікованих загальних віртуальних машинах
Ці віртуальні машини, на яких ви розгортаєте смарт-контракти, є нічим іншим, як кінцевими автоматами Turing. Контракти, які ви розгортаєте на них, лише змінюють сам стан, але насправді не впливають на основні правила переходу стану віртуальної машини. Rollup — це, по суті, віртуальна машина, на якій знаходиться ваша бізнес-логіка.
Ваша бізнес-логіка відокремлена від функцій переходу стану Rollup.
Я також називаю це «парадигмою розумного контракту для створення додатків», оскільки ви розгортаєте додаткову логіку поверх віртуальної машини. Rollup не «безпосередньо» займається перевіркою логіки програми. Віртуальна машина — це збірка, а не ваша програма.
Звичайно, ви є єдиним власником віртуальної машини, ваша програма є єдиним громадянином, і ви можете постійно вдосконалювати саму базу, щоб зробити її придатною для вашої програми. Ви можете продовжувати вдосконалювати функцію переходу стану (STF) і додавати/видаляти коди операцій для покращення продуктивності програми, але програма залишається незалежною та обмеженою самою віртуальною машиною.
Як Lamborghini Urus, що тягне Lamborghini Huracan
Окрема програма для конкретної програми Rollup може працювати краще. Що, якби ви продовжували вдосконалювати STF так, щоб обсяг STF ставав усе меншим і меншим, щоб відповідати бізнес-логіці вашої програми? Зрештою, коли ви станете сильнішими, STF зійдеться до точки, де бізнес-логіка та STF перетинаються, і тоді ви зрозумієте... о, зачекайте!
Народився Micro-Rollup
Тому Micro-Rollup — це не що інше, як Rollup, у якому функція переходу стану програми є самою бізнес-логікою.
Програма стає зведеним пакетом, станом можна керувати будь-яким можливим способом у будь-якому середовищі виконання, а правила переходу стану можна застосовувати безпосередньо під час виконання програми. Додаток можна налаштувати без будь-яких обмежень. Докази прив’язані до вашої бізнес-логіки, а не до машини, що робить вашу програму легкою.
Micro-Rollup не має обмежень щодо досвіду розробників. Ви можете створювати їх за допомогою будь-яких інструментів, оскільки вони не обмежуються лише віртуальними машинами. Вони виглядають як серверні додатки web2, але періодично публікують докази транзакцій на L1. Я думаю, що це буде основним фактором, що вплине на перехід розробників web2 у простір web3.
Насправді кращим прикладом може бути Rimac Nevera, оскільки він швидший і електричний, тому, можливо, дешевше працювати
Єдиним недоліком цього підходу є спеціальний механізм перевірки для кожної окремої програми. Якщо логіку програми можна скомпільувати у загальний посередник, то перевірка публічного посередника позбавляє від болю перевірки кожної програми окремо, але я особисто вважаю, що це лише компроміс між ефективністю та швидшою розробкою.
Є способи вирішити цю проблему без використання рівня виконання із залученням віртуальної машини. Що, якби існував інструмент, який дозволяв розробникам це робити?
Це місія Stackr Labs: ми створюємо фреймворк Micro-Rollup і SDK, щоб кожен і кожен міг створювати свої програми будь-якою мовою без обмежень, так само, як і створення серверних програм web2. Процедура та сама. Зробити розробку Micro-Rollup такою ж простою, як написання та розгортання смарт-контрактів, не кажучи вже про модульність, що розширює можливості розробників вибирати будь-яку екосистему.
Отже, чи реальний Micro-Rollup?
Це завжди було так само реально, як і сам Rollup.
Такі програми, як Loopring, dYdX і Fuel-v1, уже існують або існують уже давно. Це високооптимізовані зведені пакети з спеціальною логікою, яка працює спеціально для їх використання. Перший конкретний зведений пакет додатків, про який я знаю і над яким я особисто працював, який не базується на віртуальній машині, — Hubble Optimistic Rollup, проект 3-річної давності, який свого часу служив основною інфраструктурою для токена Worldcoin.
Зараз стає все важливішим розрізняти ці терміни.
Варіанти використання Micro-Rollups нескінченні:
на закінчення
У структурному дереві, яке я показав раніше, були відсутні елементи для спеціального кінцевого автомата.
Крім того, розгортання одного протоколу за допомогою зведення на основі VM або EVM неефективно для автономних програм. Він підходить для додатків, які вже мають велику кількість смарт-контрактів і запускають свої протоколи в ланцюжку, схожому на EVM, але не для «додатків, які хочуть більше» і хочуть позбутися обмежень віртуальної машини.
Отже, якщо ми обрізаємо дерево, остаточне дерево виглядатиме так. Ось чому я думаю, що App-Rollup, Micro-Rollup або RollApp найближчим часом називатимуться App.