Можливе майбутнє протоколу Ethereum(шість): процвітання
Процвітання цього етапу включає багато "деталей", які мають вирішальне значення для успіху Ethereum. Близько половини змісту стосується різних покращень EVM, решта складається з ряду нішевих тем.
Покращення EVM
вирішене питання
Поточний EVM важко піддавати статичному аналізу, що ускладнює створення ефективних реалізацій, формальну верифікацію коду та подальше розширення. Крім того, EVM має низьку ефективність, і важко реалізувати багато формів високорівневої криптографії, якщо не використовувати явну підтримку через попередньо скомпільовані функції.
Принцип роботи
Формат об'єкта EVM ( EOF ) є першим кроком у поточній дорожній карті вдосконалення EVM, який планується включити в наступному жорсткому форк. EOF визначає нову версію коду EVM з кількома характеристиками:
Розділення коду та даних
Заборонено динамічні перенаправлення
Код EVM не може спостерігати за інформацією, пов'язаною з паливом
Додати механізм явних підпорядкувань
Старі контракти продовжать існувати, але врешті-решт можуть бути поступово відкинуті. Нові контракти отримають вигоду від підвищення ефективності, яке приносить EOF.
Подальші оновлення включають арифметичне розширення модуля EVM ( EVM-MAX ) та одноінструкційні множинні дані ( SIMD ) функції. Ці функції можуть бути використані для прискорення різних форм криптографічних обчислень.
EOF планує бути включеним у наступний хардфорк. Потрібно реалізувати функціонал, подібний до EVM-MAX з SIMT, та провести бенчмаркінг споживання газу для різних криптографічних операцій.
та взаємодія з іншими частинами дорожньої карти
L1 налаштовує EVM, що дозволяє L2 також легше відповідно налаштовуватися. EVM-MAX та SIMD можуть знизити газові витрати багатьох систем доказів, роблячи L2 більш ефективним.
Наразі торгівля можлива лише через верифікацію підписом ECDSA. Абстракція рахунку має на меті дозволити логіку верифікації рахунку для довільного EVM коду, що дозволяє використовувати різні додатки:
Переключитися на抗量子密码学
Заміна ключів
Багатопідпис та соціальне відновлення гаманця
Розподілені ключі
Підтримка протоколу конфіденційності без ретрансляції
принцип роботи
ERC-4337 є рішенням для реалізації "ідеальної абстракції рахунку". Він розділяє обробку дій користувача на два етапи: верифікацію та виконання, щоб запобігти атакам з множинними відмовами.
EIP-7701 реалізує абстракцію облікових записів на EOF, дозволяючи обліковим записам мати окрему частину коду для перевірки.
Потрібно вирішити, як повністю впровадити абстракцію облікового запису в протокол. Основні ваги – це "швидко написати рішення, яке задовольнить менше людей" та "чекати довше, можливо, отримати більш ідеальне рішення".
та взаємодія з іншими частинами дорожньої карти
Список має підтримувати абстракцію облікового запису для транзакцій. Реалізація абстракції облікового запису повинна координуватися між L1 та L2 якомога більше.
EIP-1559 покращив середній час включення блоку, але все ще існують проблеми:
Формула має деякі недоліки
У екстремальних випадках коригування недостатньо швидке
Багатовимірний газ може вирішити проблему неефективності цін на ресурси, встановлюючи різні ціни та обмеження для різних ресурсів.
Принцип роботи
EIP-7706 вводить новий газовий вимір, спеціально призначений для calldata, та спрощує багатовимірний газовий механізм. EIP-7623 пропонує більш точне рішення, суворо обмежуючи максимальний calldata.
Основні компроміси багатовимірного газу полягають у збільшенні складності протоколу та складності оптимального алгоритму заповнення блоку. Потрібно провести більше досліджень, щоб знайти ідеальну точку балансу.
та взаємодія з іншими частинами дорожньої карти
Багатовимірний Gas може знизити використання ресурсів у певних "найгірших випадках", зменшуючи тиск на продуктивність оптимізації. Наявність EOF робить реалізацію більш екстремальних версій багатовимірного Gas простішою.
Поточна випадковість RANDAO надає кожному пропоненту "1 одиницю контролю". VDF може забезпечити більш надійне джерело випадковості.
принцип роботи
VDF є функцією, яка може бути обчислена лише послідовно, і не може бути прискорена паралелізмом. Вхідні дані базуються на інформації, доступній на момент часу T, а вихідні дані доступні в певний момент часу після T. Основний ризик полягає в неочікуваній оптимізації.
Потрібно знайти конструкцію VDF, яка повністю задовольняє потреби Ethereum. Основні компроміси — це функціональність, складність протоколу та ризики безпеки.
та взаємодія з іншими частинами дорожньої карти
VDF в протоколі Ethereum є відносно незалежним, окрім підвищення безпеки вибору пропонента, також може бути використаний для залежних від випадковості застосувань на ланцюгу та крипто-меморі.
Ці передові криптографічні примітиви можуть реалізувати більш потужні бездостовірні сторонні додатки, забезпечуючи майже ідеальну безпеку та гарантії конфіденційності.
принцип роботи
Неперекладність та плутанина дозволяють створювати "криптографічні програми", виконувати任意 обчислення, одночасно приховуючи внутрішні деталі. Квантові одноразові підписи можуть запобігти копіюванню програм.
Невіддільна плутанина все ще дуже незріла, потребує більш ефективної реалізації. Квантові комп'ютери ще не реалізовані. Основні компроміси стосуються припущень безпеки.
та взаємодія з іншими частинами дорожньої карти
Ці потужні криптографічні примітиви можуть кардинально змінити гру, спростити дизайн протоколів, підвищити безпеку та захист приватності. Початкові переваги з'являться на рівні застосувань, але можуть мати руйнівний вплив.
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
Ethereum протокол оновлення дорожня карта: поліпшення EVM, абстрагування рахунку та підвищення безпеки
Можливе майбутнє протоколу Ethereum(шість): процвітання
Процвітання цього етапу включає багато "деталей", які мають вирішальне значення для успіху Ethereum. Близько половини змісту стосується різних покращень EVM, решта складається з ряду нішевих тем.
Покращення EVM
вирішене питання
Поточний EVM важко піддавати статичному аналізу, що ускладнює створення ефективних реалізацій, формальну верифікацію коду та подальше розширення. Крім того, EVM має низьку ефективність, і важко реалізувати багато формів високорівневої криптографії, якщо не використовувати явну підтримку через попередньо скомпільовані функції.
Принцип роботи
Формат об'єкта EVM ( EOF ) є першим кроком у поточній дорожній карті вдосконалення EVM, який планується включити в наступному жорсткому форк. EOF визначає нову версію коду EVM з кількома характеристиками:
Старі контракти продовжать існувати, але врешті-решт можуть бути поступово відкинуті. Нові контракти отримають вигоду від підвищення ефективності, яке приносить EOF.
Подальші оновлення включають арифметичне розширення модуля EVM ( EVM-MAX ) та одноінструкційні множинні дані ( SIMD ) функції. Ці функції можуть бути використані для прискорення різних форм криптографічних обчислень.
! Віталік про можливе майбутнє Ethereum (6): The Splurge
Існуючі дослідження
Залишкова робота
EOF планує бути включеним у наступний хардфорк. Потрібно реалізувати функціонал, подібний до EVM-MAX з SIMT, та провести бенчмаркінг споживання газу для різних криптографічних операцій.
та взаємодія з іншими частинами дорожньої карти
L1 налаштовує EVM, що дозволяє L2 також легше відповідно налаштовуватися. EVM-MAX та SIMD можуть знизити газові витрати багатьох систем доказів, роблячи L2 більш ефективним.
! Віталік про можливе майбутнє Ethereum (6): The Splurge
Абстракція рахунку
вирішене питання
Наразі торгівля можлива лише через верифікацію підписом ECDSA. Абстракція рахунку має на меті дозволити логіку верифікації рахунку для довільного EVM коду, що дозволяє використовувати різні додатки:
принцип роботи
ERC-4337 є рішенням для реалізації "ідеальної абстракції рахунку". Він розділяє обробку дій користувача на два етапи: верифікацію та виконання, щоб запобігти атакам з множинними відмовами.
EIP-7701 реалізує абстракцію облікових записів на EOF, дозволяючи обліковим записам мати окрему частину коду для перевірки.
! Віталік про можливе майбутнє Ethereum (6): The Splurge
Існуючі дослідження
Залишкова робота
Потрібно вирішити, як повністю впровадити абстракцію облікового запису в протокол. Основні ваги – це "швидко написати рішення, яке задовольнить менше людей" та "чекати довше, можливо, отримати більш ідеальне рішення".
та взаємодія з іншими частинами дорожньої карти
Список має підтримувати абстракцію облікового запису для транзакцій. Реалізація абстракції облікового запису повинна координуватися між L1 та L2 якомога більше.
! Віталік про можливе майбутнє Ethereum (6): The Splurge
Поліпшення EIP-1559
вирішене питання
EIP-1559 покращив середній час включення блоку, але все ще існують проблеми:
Багатовимірний газ може вирішити проблему неефективності цін на ресурси, встановлюючи різні ціни та обмеження для різних ресурсів.
Принцип роботи
EIP-7706 вводить новий газовий вимір, спеціально призначений для calldata, та спрощує багатовимірний газовий механізм. EIP-7623 пропонує більш точне рішення, суворо обмежуючи максимальний calldata.
! Віталік про можливе майбутнє Ethereum (6): The Splurge
Існуючі дослідження
Залишкова робота
Основні компроміси багатовимірного газу полягають у збільшенні складності протоколу та складності оптимального алгоритму заповнення блоку. Потрібно провести більше досліджень, щоб знайти ідеальну точку балансу.
та взаємодія з іншими частинами дорожньої карти
Багатовимірний Gas може знизити використання ресурсів у певних "найгірших випадках", зменшуючи тиск на продуктивність оптимізації. Наявність EOF робить реалізацію більш екстремальних версій багатовимірного Gas простішою.
! Віталік про можливе майбутнє Ethereum (6): The Splurge
Перевірна затримка функції ( VDFs )
вирішене питання
Поточна випадковість RANDAO надає кожному пропоненту "1 одиницю контролю". VDF може забезпечити більш надійне джерело випадковості.
принцип роботи
VDF є функцією, яка може бути обчислена лише послідовно, і не може бути прискорена паралелізмом. Вхідні дані базуються на інформації, доступній на момент часу T, а вихідні дані доступні в певний момент часу після T. Основний ризик полягає в неочікуваній оптимізації.
! Віталік про можливе майбутнє Ethereum (6): The Splurge
Існуючі дослідження
залишкова робота
Потрібно знайти конструкцію VDF, яка повністю задовольняє потреби Ethereum. Основні компроміси — це функціональність, складність протоколу та ризики безпеки.
та взаємодія з іншими частинами дорожньої карти
VDF в протоколі Ethereum є відносно незалежним, окрім підвищення безпеки вибору пропонента, також може бути використаний для залежних від випадковості застосувань на ланцюгу та крипто-меморі.
! Віталік про можливе майбутнє Ethereum (6): The Splurge
Заплутаність і одноразові підписи
вирішене питання
Ці передові криптографічні примітиви можуть реалізувати більш потужні бездостовірні сторонні додатки, забезпечуючи майже ідеальну безпеку та гарантії конфіденційності.
принцип роботи
Неперекладність та плутанина дозволяють створювати "криптографічні програми", виконувати任意 обчислення, одночасно приховуючи внутрішні деталі. Квантові одноразові підписи можуть запобігти копіюванню програм.
! Віталік про можливе майбутнє Ethereum (6): The Splurge
Існуючі дослідження
Залишкова робота
Невіддільна плутанина все ще дуже незріла, потребує більш ефективної реалізації. Квантові комп'ютери ще не реалізовані. Основні компроміси стосуються припущень безпеки.
та взаємодія з іншими частинами дорожньої карти
Ці потужні криптографічні примітиви можуть кардинально змінити гру, спростити дизайн протоколів, підвищити безпеку та захист приватності. Початкові переваги з'являться на рівні застосувань, але можуть мати руйнівний вплив.
! Віталік про можливе майбутнє Ethereum (6): The Splurge
! Віталік про можливе майбутнє Ethereum (6): The Splurge
! Віталік про можливе майбутнє Ethereum (6): The Splurge