Шифрование экономики: слияние инвестиций и технологий
Шифрование экономики — это не только техническая революция, но и область, которая требует глубокого понимания инвестиционных закономерностей. Многие профессионалы и энтузиасты испытывают трудности с адаптацией в этой индустрии, во многом из-за слишком резких циклических колебаний. В бычьем рынке у обычных людей действительно есть возможность получить десятикратную или даже стократную прибыль, но в медвежьем рынке убытки также могут быть огромными. В конечном итоге, вне зависимости от того, кто это, каждый, кто входит в область шифрования, должен изучить инвестиционные знания.
Основной причиной текущего медвежьего рынка является ужесточение денежно-кредитной политики, вызванное повышением процентных ставок Федеральной резервной системой США. Эра безумных высоких доходов в децентрализованных финансах (DeFi) прошла, доходность основных кредитных протоколов в целом опустилась ниже 2%. В то же время, доходность государственных облигаций США в реальном мире уже превысила 3%, что побуждает институциональных инвесторов и проекты со стабильными монетами постоянно переводить средства с крипторынка на традиционный финансовый рынок для покупки государственных облигаций.
С 80-х годов прошлого века ФРС пережила 6 циклов повышения процентных ставок, каждый из которых продолжался от 1 до 3 лет, и в среднем количество повышений составило 10 раз. Чем медленнее темп повышения ставок, тем хуже результаты, и инфляция становится все труднее контролировать. Например, шестой цикл повышения ставок с 2015 по 2018 год был относительно медленным, что привело к росту цен на сырьевые товары, такие как нефть, вместо их снижения. После октября этого года цены на нефть продолжают оставаться высокими, что может подтолкнуть ФРС к продолжению жесткой политики повышения ставок. Нет сомнений в том, что в 2023 году мировые фондовые рынки и рынки шифрования продолжат сталкиваться с давлением со стороны вывода институциональных средств, дно медвежьего рынка еще не достигнуто, и инвесторам не стоит легкомысленно говорить о покупке на дне.
Эфириум zkRollup: ожидаемое решение для масштабирования
Оставив в стороне большие циклы капитальных рынков, только исходя из инноваций, приведенных шифрованием, и потенциальной волны Web3.0, Ethereum и его расширение zkRollup-решения, особенно основанные на zkEVM нового поколения, все еще заслуживают нашего оптимизма.
Соучредитель Эфириума Виталик Бутерин на встрече 30 сентября заявил: "После слияния следующей целью Эфириума является масштабируемость." Масштабирование является ключевой проблемой, которая мешает многим шифрование-валютам и приложениям блокчейна стать мейнстримом. 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, принимает пользовательские транзакции, генерирует новое состояние и специальный Trace, дружественный к zkEVM. Генератор доказательств получает этот Trace от сортировщика и использует множество небольших таблиц ( вместо одной большой таблицы ) для его обработки, что значительно уменьшает избыточность и увеличивает скорость генерации доказательств.
Важность более быстрых нулевых знаний
Хотя SNARK прост, его эффективность не так велика, как у STARK. Однако с появлением новых технологий преимущества STARK также уже не так очевидны. Поскольку скорость является узким местом zkEVM, сравнение вычислительной эффективности имеет важное значение. STARK достигает почти линейного времени доказательства и времени проверки, что быстрее, чем SNARK, но значительно медленнее новых систем доказательства.
Некоторые новые системы доказательств являются первыми в мире, которые реализуют линейное время доказательства и подлинейное время проверки для нулевых знаний, что достигает теоретического предела. Они обычно прозрачны, не требуют никакой доверенной настройки, что обеспечивает высокий уровень безопасности.
Эти новые системы основаны на кодах, которые могут быть закодированы за линейное время, и являются самыми быстрыми среди всех существующих схем нулевых знаний. Кроме того, благодаря использованию рекурсивной технологии, размер доказательства уменьшен до 1/7 от существующих схем, что позволяет конечным пользователям тратить очень мало средств на услуги второго уровня сети Ethereum.
Необходимость независимого слоя доступных данных
Текущий zkRollup в основном сосредоточен на снижении вычислительной нагрузки для проверки транзакций. Это особенно важно для Ethereum, поскольку затраты на проверку выполнения сложных смарт-контрактов очень высоки. Тем не менее, узлы Ethereum все еще должны одновременно хранить исходные данные транзакций. Это не идеальный вариант, поскольку Ethereum больше подходит в качестве уровня консенсуса, а не уровня хранения, что означает, что проблема масштабирования все еще существует — когда пропускная способность и хранилище узлов недостаточны (, а не вычислительная мощность недостаточна ), производительность сети будет страдать.
Вот почему Ethereum нуждается в независимом слое доступности данных для хранения этих исходных данных о транзакциях, чтобы предотвратить заморозку всей системы смарт-контрактов из-за сбоя сервера zkRollup или узла Ethereum. Более того, это отделит стоимость второго уровня сети от первого уровня, что дополнительно снизит стоимость транзакций zkRollup на основе zkEVM, возможно, более чем на 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 году мировые фондовые рынки и рынки шифрования продолжат сталкиваться с давлением со стороны вывода институциональных средств, дно медвежьего рынка еще не достигнуто, и инвесторам не стоит легкомысленно говорить о покупке на дне.
Эфириум zkRollup: ожидаемое решение для масштабирования
Оставив в стороне большие циклы капитальных рынков, только исходя из инноваций, приведенных шифрованием, и потенциальной волны Web3.0, Ethereum и его расширение zkRollup-решения, особенно основанные на zkEVM нового поколения, все еще заслуживают нашего оптимизма.
Соучредитель Эфириума Виталик Бутерин на встрече 30 сентября заявил: "После слияния следующей целью Эфириума является масштабируемость." Масштабирование является ключевой проблемой, которая мешает многим шифрование-валютам и приложениям блокчейна стать мейнстримом. 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, принимает пользовательские транзакции, генерирует новое состояние и специальный Trace, дружественный к zkEVM. Генератор доказательств получает этот Trace от сортировщика и использует множество небольших таблиц ( вместо одной большой таблицы ) для его обработки, что значительно уменьшает избыточность и увеличивает скорость генерации доказательств.
Важность более быстрых нулевых знаний
Хотя SNARK прост, его эффективность не так велика, как у STARK. Однако с появлением новых технологий преимущества STARK также уже не так очевидны. Поскольку скорость является узким местом zkEVM, сравнение вычислительной эффективности имеет важное значение. STARK достигает почти линейного времени доказательства и времени проверки, что быстрее, чем SNARK, но значительно медленнее новых систем доказательства.
Некоторые новые системы доказательств являются первыми в мире, которые реализуют линейное время доказательства и подлинейное время проверки для нулевых знаний, что достигает теоретического предела. Они обычно прозрачны, не требуют никакой доверенной настройки, что обеспечивает высокий уровень безопасности.
Эти новые системы основаны на кодах, которые могут быть закодированы за линейное время, и являются самыми быстрыми среди всех существующих схем нулевых знаний. Кроме того, благодаря использованию рекурсивной технологии, размер доказательства уменьшен до 1/7 от существующих схем, что позволяет конечным пользователям тратить очень мало средств на услуги второго уровня сети Ethereum.
Необходимость независимого слоя доступных данных
Текущий zkRollup в основном сосредоточен на снижении вычислительной нагрузки для проверки транзакций. Это особенно важно для Ethereum, поскольку затраты на проверку выполнения сложных смарт-контрактов очень высоки. Тем не менее, узлы Ethereum все еще должны одновременно хранить исходные данные транзакций. Это не идеальный вариант, поскольку Ethereum больше подходит в качестве уровня консенсуса, а не уровня хранения, что означает, что проблема масштабирования все еще существует — когда пропускная способность и хранилище узлов недостаточны (, а не вычислительная мощность недостаточна ), производительность сети будет страдать.
Вот почему Ethereum нуждается в независимом слое доступности данных для хранения этих исходных данных о транзакциях, чтобы предотвратить заморозку всей системы смарт-контрактов из-за сбоя сервера zkRollup или узла Ethereum. Более того, это отделит стоимость второго уровня сети от первого уровня, что дополнительно снизит стоимость транзакций zkRollup на основе zkEVM, возможно, более чем на 50%.