Шифрувальна економіка: злиття інвестицій та технологій
Шифрувальна економіка не є лише технологічною революцією, а й галуззю, що потребує глибокого розуміння інвестиційних закономірностей. Багато професіоналів та ентузіастів важко адаптуються до цієї індустрії, в значній мірі через те, що її циклічні коливання надто різкі. У бичачому ринку звичайні люди дійсно мають можливість отримати десятикратний або навіть сотенний прибуток, але в ведмежому ринку збитки також можуть бути страшними. Врешті-решт, незалежно від того, хто це, як тільки вони входять у сферу шифрування, знання інвестицій є обов'язковим.
Основною причиною поточної ведмежої ринку є фінансова жорсткість, викликана підвищенням процентних ставок Федеральною резервною системою. Ера божевільних високих доходів у шифруванні фінансів (DeFi) минула, доходність основних кредитних протоколів загалом знизилася до нижче 2%. У той же час, реальна доходність американських державних облігацій перевищила 3%, що спонукало інституційних інвесторів і проекти стабільних монет постійно переводити кошти з крипторинку на традиційний фінансовий ринок для покупки державних облігацій.
З 80-х років минулого століття Федеральна резервна система США пережила 6 циклів підвищення процентних ставок, кожен з яких тривав 1-3 роки, середня кількість підвищень становить 10 разів. Чим повільніше темп підвищення, тим гірший ефект, і контролювати інфляцію стає все важче. Наприклад, шостий цикл підвищення ставок з 2015 по 2018 рік був відносно повільним, що призвело до зростання цін на сировинні товари, зокрема на нафту. Після жовтня цього року ціни на нафту залишаються високими, що може спонукати Федеральну резервну систему продовжити жорстку політику підвищення ставок. Без сумніву, у 2023 році світові фондові ринки та ринок шифрування будуть під тиском виходу інституційних коштів, дно ведмежого ринку ще не досягнуто, інвестори не повинні легковажно говорити про покупки на дні.
Ethereum zkRollup: варте очікування рішення для масштабування
Відкинувши великі цикли капітального ринку, лише з точки зору інновацій, які приносить шифрування, а також потенційної хвилі Web3.0, Ethereum та його рішення для розширення zkRollup, особливо засновані на новому поколінні zkEVM, все ще заслуговують на наш оптимізм.
Співзасновник Ethereum Віталік Бутерін на зустрічі 30 вересня заявив: "Після злиття наступною метою Ethereum є масштабованість." Масштабування є ключовою проблемою, яка заважає багатьом шифруванням та блокчейн-додаткам стати основними. zkRollups досягають масштабування, упаковуючи сотні транзакцій в одне завдання виконання та перевіряючи всі транзакції в одному завданні.
Завдяки потужній підтримці Віталіка, Rollup став основним рішенням для масштабованості Ethereum. Рішення Rollup можна поділити на два типи: оптимістичний Rollup та zkRollup, основна різниця полягає в способі забезпечення дійсності транзакцій. Оптимістичний Rollup використовує схему доказу шахрайства, тоді як zkRollup використовує математичні нульові знання.
У мережі оптимістичного Rollup є роль оскаржувача, який може довести, що дані, подані в Ethereum, містять шахрайство, а потім через консенсус мережі скасувати недійсні транзакції. На відміну від цього, zkRollup використовує технологію нульових знань для обробки даних транзакцій, забезпечуючи їхню дійсність, і безпосередньо подає докази до Ethereum, досягаючи миттєвої узгодженості фінального стану.
На відміну від оптимістичних Rollup, zkRollup використовує нульові знання для математичної верифікації, що має більше технологічних переваг. Деякі проекти вже протягом кількох років проводять перспективні дослідження в цій галузі.
Однак, ключове питання полягає в тому, що EVM( віртуальна машина Ethereum) не була спроектована для підтримки нульових доказів, що ускладнює створення віртуальної машини, сумісної з Solidity і яка підтримує нульові докази. Наприклад, деякі проекти не можуть підтримувати написані на Solidity смарт-контракти.
Щоб вирішити цю проблему, кілька команд розробляють віртуальну машину, що підтримує обчислення з нульовими знаннями та сумісна з Solidity, а саме zkEVM. На відміну від звичайних віртуальних машин, zkEVM може підтверджувати правильність виконання, включаючи дійсність вхідних і вихідних даних, які використовуються під час виконання.
Необхідність повторного дизайну zkEVM
Різні команди використовують різні реалізації zkEVM. Деякі компілюють байт-код у мікрооперації, використовують STARK для генерації доказів дійсності переходу стану і після перевірки правильності доказів за допомогою SNARK надсилають їх на Ethereum для верифікації. Інші рішення в певній мірі схожі на це, але використовують лише Halo 2 як свій метод нульових знань.
Також команда компілює код контрактів, написаних на Solidity, у Yul(, проміжну мову, яка може бути скомпільована в байт-код для різних віртуальних машин), а потім Yul байт-код повторно компілюється в спеціально розробований для його zkEVM кастомізований, сумісний з електронними схемами набір байт-коду.
Чи стали ці системи достатньо зрілими для впровадження в виробництво? Чи потрібно нам перепроектувати кращий zkEVM? zkRollup зазвичай використовує протоколи нульового знання для доведення та агрегації всіх транзакцій перед публікацією зведеного доказу на основному ланцюзі. Теоретично, це означає, що ланцюг 1-го рівня може перевіряти короткі "докази", які охоплюють тисячі складних транзакцій, і можливість шахрайства відсутня. Однак після випуску деяких тестових мереж zkEVM виявилося, що фактична ситуація не є ідеальною — обробка кількох транзакцій може займати десятки хвилин, швидкість дуже повільна.
Команда оптимізувала структуру zkEVM і перепроектувала її, щоб її ефективність була вищою за всі існуючі рішення zkEVM. Основною причиною є використання добре спроектованої багаторівневої структури, що зменшує зайвий простір і розмір поданих поліномів у схемі, скорочуючи час, необхідний для генерації доказів. Водночас, її Sequencer запускає вузол Ethereum, отримує транзакції користувачів, генерує новий стан і спеціальний трасування, дружній до zkEVM. Генератор доказів отримує цю трасу від сортувальника і використовує в zkEVM велику кількість малих таблиць ( замість однієї великої таблиці ) для її обробки, що суттєво зменшує надлишковість і підвищує швидкість генерації доказів.
Важливість більш швидких нульових доказів
Хоча SNARK є простим, його ефективність не така висока, як у STARK. Проте, зі з'явленням нових технологій, переваги STARK більше не є такими очевидними. Оскільки швидкість є вузьким місцем zkEVM, порівняння обчислювальної ефективності має велике значення. STARK реалізує майже лінійний час доказу та верифікації, що швидше за SNARK, але явно повільніше за нові системи доказів.
Деякі нові системи доказів є першими у світі, які реалізують лінійний час доказу та підлінійний час перевірки для нульових знань, що досягли теоретичного максимуму. Вони зазвичай є прозорими, не потребують жодних надійних налаштувань, що забезпечує найвищий рівень безпеки.
Ці нові системи засновані на кодах, які можуть бути закодовані за лінійний час, є найшвидшими серед усіх існуючих схем нульових знань. Крім того, завдяки використанню рекурсивних технологій, розмір доказу зменшується до 1/7 від існуючих схем, що дозволяє кінцевим користувачам витрачати дуже мало коштів для отримання послуг другого рівня Ethereum.
Необхідність незалежного шару доступних даних
Наразі zkRollup головним чином зосереджується на зменшенні обчислювального навантаження при перевірці транзакцій. Це особливо важливо для Ethereum, оскільки вартість виконання складних смарт-контрактів є високою. Однак вузли Ethereum все ще повинні одночасно зберігати первинні дані транзакцій. Це не є ідеальним, оскільки Ethereum більше підходить як рівень консенсусу, а не як рівень зберігання, що означає, що проблема масштабування все ще існує — коли пропускна спроможність та зберігання вузлів недостатні (, а не обчислювальна спроможність недостатня ), продуктивність мережі буде під впливом.
Ось чому Ethereum потребує незалежного шару доступності даних для зберігання цих первісних транзакційних даних, щоб запобігти заморожуванню всієї системи смарт-контрактів через збій серверів zkRollup або вузлів Ethereum. Ще важливіше, що це відв'язує витрати другого шару мережі від витрат першого шару, що ще більше знижує вартість транзакцій на основі zkEVM у zkRollup, що може перевищувати 50%.
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
21 лайків
Нагородити
21
1
Поділіться
Прокоментувати
0/400
Deconstructionist
· 07-25 07:26
Розширення спочатку потрібно вирішити вузькі місця
Ethereum zkEVM розширення нові досягнення: швидше підтвердження та незалежний рівень даних
Шифрувальна економіка: злиття інвестицій та технологій
Шифрувальна економіка не є лише технологічною революцією, а й галуззю, що потребує глибокого розуміння інвестиційних закономірностей. Багато професіоналів та ентузіастів важко адаптуються до цієї індустрії, в значній мірі через те, що її циклічні коливання надто різкі. У бичачому ринку звичайні люди дійсно мають можливість отримати десятикратний або навіть сотенний прибуток, але в ведмежому ринку збитки також можуть бути страшними. Врешті-решт, незалежно від того, хто це, як тільки вони входять у сферу шифрування, знання інвестицій є обов'язковим.
Основною причиною поточної ведмежої ринку є фінансова жорсткість, викликана підвищенням процентних ставок Федеральною резервною системою. Ера божевільних високих доходів у шифруванні фінансів (DeFi) минула, доходність основних кредитних протоколів загалом знизилася до нижче 2%. У той же час, реальна доходність американських державних облігацій перевищила 3%, що спонукало інституційних інвесторів і проекти стабільних монет постійно переводити кошти з крипторинку на традиційний фінансовий ринок для покупки державних облігацій.
З 80-х років минулого століття Федеральна резервна система США пережила 6 циклів підвищення процентних ставок, кожен з яких тривав 1-3 роки, середня кількість підвищень становить 10 разів. Чим повільніше темп підвищення, тим гірший ефект, і контролювати інфляцію стає все важче. Наприклад, шостий цикл підвищення ставок з 2015 по 2018 рік був відносно повільним, що призвело до зростання цін на сировинні товари, зокрема на нафту. Після жовтня цього року ціни на нафту залишаються високими, що може спонукати Федеральну резервну систему продовжити жорстку політику підвищення ставок. Без сумніву, у 2023 році світові фондові ринки та ринок шифрування будуть під тиском виходу інституційних коштів, дно ведмежого ринку ще не досягнуто, інвестори не повинні легковажно говорити про покупки на дні.
Ethereum zkRollup: варте очікування рішення для масштабування
Відкинувши великі цикли капітального ринку, лише з точки зору інновацій, які приносить шифрування, а також потенційної хвилі Web3.0, Ethereum та його рішення для розширення zkRollup, особливо засновані на новому поколінні zkEVM, все ще заслуговують на наш оптимізм.
Співзасновник Ethereum Віталік Бутерін на зустрічі 30 вересня заявив: "Після злиття наступною метою Ethereum є масштабованість." Масштабування є ключовою проблемою, яка заважає багатьом шифруванням та блокчейн-додаткам стати основними. zkRollups досягають масштабування, упаковуючи сотні транзакцій в одне завдання виконання та перевіряючи всі транзакції в одному завданні.
Завдяки потужній підтримці Віталіка, Rollup став основним рішенням для масштабованості Ethereum. Рішення Rollup можна поділити на два типи: оптимістичний Rollup та zkRollup, основна різниця полягає в способі забезпечення дійсності транзакцій. Оптимістичний Rollup використовує схему доказу шахрайства, тоді як zkRollup використовує математичні нульові знання.
У мережі оптимістичного Rollup є роль оскаржувача, який може довести, що дані, подані в Ethereum, містять шахрайство, а потім через консенсус мережі скасувати недійсні транзакції. На відміну від цього, zkRollup використовує технологію нульових знань для обробки даних транзакцій, забезпечуючи їхню дійсність, і безпосередньо подає докази до Ethereum, досягаючи миттєвої узгодженості фінального стану.
На відміну від оптимістичних Rollup, zkRollup використовує нульові знання для математичної верифікації, що має більше технологічних переваг. Деякі проекти вже протягом кількох років проводять перспективні дослідження в цій галузі.
Однак, ключове питання полягає в тому, що EVM( віртуальна машина Ethereum) не була спроектована для підтримки нульових доказів, що ускладнює створення віртуальної машини, сумісної з Solidity і яка підтримує нульові докази. Наприклад, деякі проекти не можуть підтримувати написані на Solidity смарт-контракти.
Щоб вирішити цю проблему, кілька команд розробляють віртуальну машину, що підтримує обчислення з нульовими знаннями та сумісна з Solidity, а саме zkEVM. На відміну від звичайних віртуальних машин, zkEVM може підтверджувати правильність виконання, включаючи дійсність вхідних і вихідних даних, які використовуються під час виконання.
Необхідність повторного дизайну zkEVM
Різні команди використовують різні реалізації zkEVM. Деякі компілюють байт-код у мікрооперації, використовують STARK для генерації доказів дійсності переходу стану і після перевірки правильності доказів за допомогою SNARK надсилають їх на Ethereum для верифікації. Інші рішення в певній мірі схожі на це, але використовують лише Halo 2 як свій метод нульових знань.
Також команда компілює код контрактів, написаних на Solidity, у Yul(, проміжну мову, яка може бути скомпільована в байт-код для різних віртуальних машин), а потім Yul байт-код повторно компілюється в спеціально розробований для його zkEVM кастомізований, сумісний з електронними схемами набір байт-коду.
Чи стали ці системи достатньо зрілими для впровадження в виробництво? Чи потрібно нам перепроектувати кращий zkEVM? zkRollup зазвичай використовує протоколи нульового знання для доведення та агрегації всіх транзакцій перед публікацією зведеного доказу на основному ланцюзі. Теоретично, це означає, що ланцюг 1-го рівня може перевіряти короткі "докази", які охоплюють тисячі складних транзакцій, і можливість шахрайства відсутня. Однак після випуску деяких тестових мереж zkEVM виявилося, що фактична ситуація не є ідеальною — обробка кількох транзакцій може займати десятки хвилин, швидкість дуже повільна.
Команда оптимізувала структуру zkEVM і перепроектувала її, щоб її ефективність була вищою за всі існуючі рішення zkEVM. Основною причиною є використання добре спроектованої багаторівневої структури, що зменшує зайвий простір і розмір поданих поліномів у схемі, скорочуючи час, необхідний для генерації доказів. Водночас, її Sequencer запускає вузол Ethereum, отримує транзакції користувачів, генерує новий стан і спеціальний трасування, дружній до zkEVM. Генератор доказів отримує цю трасу від сортувальника і використовує в zkEVM велику кількість малих таблиць ( замість однієї великої таблиці ) для її обробки, що суттєво зменшує надлишковість і підвищує швидкість генерації доказів.
Важливість більш швидких нульових доказів
Хоча SNARK є простим, його ефективність не така висока, як у STARK. Проте, зі з'явленням нових технологій, переваги STARK більше не є такими очевидними. Оскільки швидкість є вузьким місцем zkEVM, порівняння обчислювальної ефективності має велике значення. STARK реалізує майже лінійний час доказу та верифікації, що швидше за SNARK, але явно повільніше за нові системи доказів.
Деякі нові системи доказів є першими у світі, які реалізують лінійний час доказу та підлінійний час перевірки для нульових знань, що досягли теоретичного максимуму. Вони зазвичай є прозорими, не потребують жодних надійних налаштувань, що забезпечує найвищий рівень безпеки.
Ці нові системи засновані на кодах, які можуть бути закодовані за лінійний час, є найшвидшими серед усіх існуючих схем нульових знань. Крім того, завдяки використанню рекурсивних технологій, розмір доказу зменшується до 1/7 від існуючих схем, що дозволяє кінцевим користувачам витрачати дуже мало коштів для отримання послуг другого рівня Ethereum.
Необхідність незалежного шару доступних даних
Наразі zkRollup головним чином зосереджується на зменшенні обчислювального навантаження при перевірці транзакцій. Це особливо важливо для Ethereum, оскільки вартість виконання складних смарт-контрактів є високою. Однак вузли Ethereum все ще повинні одночасно зберігати первинні дані транзакцій. Це не є ідеальним, оскільки Ethereum більше підходить як рівень консенсусу, а не як рівень зберігання, що означає, що проблема масштабування все ще існує — коли пропускна спроможність та зберігання вузлів недостатні (, а не обчислювальна спроможність недостатня ), продуктивність мережі буде під впливом.
Ось чому Ethereum потребує незалежного шару доступності даних для зберігання цих первісних транзакційних даних, щоб запобігти заморожуванню всієї системи смарт-контрактів через збій серверів zkRollup або вузлів Ethereum. Ще важливіше, що це відв'язує витрати другого шару мережі від витрат першого шару, що ще більше знижує вартість транзакцій на основі zkEVM у zkRollup, що може перевищувати 50%.