Шифрование экономики — это не просто технологические инновации

Шифрование экономики нельзя просто рассматривать как технологическую революцию. Основная причина, по которой многим практикам или любителям трудно адаптироваться, заключается в том, что эта область слишком циклична и испытывает резкие колебания. Обычные инвесторы могут получить десятикратную или даже стократную прибыль в бычьем рынке, но в медвежьем рынке они также могут понести серьезные убытки. Независимо от того, кто это, входя в шифрование, необходимо изучить необходимые инвестиционные знания.

Этот раунд медвежьего рынка в основном вызван повышением процентных ставок Федеральной резервной системы и сокращением капитала. Децентрализованные финансы ( DeFi ) больше не предлагают удивительную доходность в 20%, в настоящее время доходность основных кредитных протоколов в целом ниже 2%. Однако доходность американских государственных облигаций превысила 3%, что побуждает институциональных инвесторов и эмитентов стейблкоинов постоянно переводить средства с крипторынка на традиционный финансовый рынок для покупки государственных облигаций.

С 1980-х годов Федеральная резервная система США пережила 6 циклов повышения процентных ставок, каждый из которых длился 1-3 года, в среднем было 10 повышений ставок. Чем медленнее темп повышения ставок, тем хуже эффект, и тем труднее контролировать инфляцию. Например, шестой цикл повышения ставок с 2015 по 2018 год был относительно медленным, а цены на сырьевые товары, в основном на нефть, не снизились, а наоборот, возросли. После октября этого года цены на нефть продолжают оставаться на высоком уровне, что может побудить Федеральную резервную систему продолжать проводить жесткую политику повышения ставок. Безусловно, глобальные фондовые рынки и рынок шифрования в 2023 году продолжат испытывать давление со стороны вывода институциональных средств, дно медвежьего рынка еще не достигнуто, не стоит легкомысленно покупать на дне.

Решение по zkRollup на Ethereum вызывает ожидания

Оставив в стороне большие циклы капитального рынка, если рассмотреть только преобразования в технологии шифрования и возможные волны Web3.0, то Ethereum и его решения по расширению zkRollup, особенно основанные на новом поколении zkEVM, заслуживают ожидания.

Виталик Бутерин на конференции 30 сентября заявил: "После слияния следующим шагом для Ethereum будет масштабируемость." Масштабируемость является ключевой проблемой, мешающей многим шифрование и приложениям блокчейна стать мейнстримом. Известно, что zkRollups могут достичь масштабируемости, упаковывая сотни транзакций и проверяя все транзакции в одной задаче.

С поддержкой Виталика Rollup стал основным решением для масштабирования Ethereum. Решения Rollup можно разделить на оптимистичные Rollup и zkRollup, основное отличие заключается в способе обеспечения действительности транзакций. Оптимистичный Rollup использует доказательства мошенничества, в то время как zkRollup применяет доказательства с нулевым разглашением.

В отличие от оптимистичного Rollup, zkRollup использует нулевые доказательства для математической верификации и обладает большим количеством технических преимуществ. Некоторые проекты уже много лет исследуют эту область.

Однако виртуальная машина Ethereum (EVM) не была разработана для поддержки шифрования с нулевым знанием, что делает создание виртуальной машины, совместимой с Solidity и поддерживающей шифрование с нулевым знанием, очень сложной задачей. Для решения этой проблемы несколько команд разрабатывают виртуальные машины, которые поддерживают вычисления с шифрованием с нулевым знанием и совместимы с Solidity, называемые zkEVM. В отличие от обычных виртуальных машин, zkEVM может доказать правильность выполнения, включая действительность входных и выходных данных, используемых в процессе выполнения.

Переработка zkEVM

Некоторые проекты используют различные схемы реализации zkEVM. Некоторые компилируют байт-код в микрокоманды, используют STARK для генерации доказательства корректности перехода состояния, а затем используют SNARK для проверки правильности доказательства перед отправкой в Ethereum. Другие проекты используют аналогичный, но немного другой подход.

Достаточно ли эти системы доработаны для внедрения в производство? Нужно ли нам заново разрабатывать более совершенный zkEVM? Теоретически, zkRollup может использовать протоколы с нулевым раскрытием для доказательства и агрегации всех транзакций, позволяя одноуровневой цепи проверять краткие "доказательства", охватывающие тысячи сложных транзакций, без возможности мошенничества. Однако после выхода некоторых тестовых сетей zkEVM люди обнаружили, что реальная ситуация не так хороша - обработка нескольких транзакций занимает десятки минут.

Некоторые команды оптимизировали структуру zkEVM и заново разработали более эффективный zkEVM. Основные улучшения заключаются в использовании хорошо спроектированной иерархической структуры, сжатии избыточного пространства в цепях и уменьшении размера полиномов, необходимых для отправки, что в конечном итоге сократило время, необходимое для генерации доказательства. В то же время, его сортировщик работает с узлами Ethereum, принимает транзакции от пользователей, генерирует новое состояние и специальное отслеживание, совместимое с zkEVM. Генератор доказательства получает это отслеживание от сортировщика и использует несколько маленьких таблиц ( вместо одной большой таблицы ) для обработки, что значительно уменьшает избыточность и ускоряет процесс генерации доказательства.

Важность более быстрых нулевых знаний

Хотя SNARK прост, его эффективность уступает STARK. Однако с появлением новых технологий STARK также кажется устаревшим. Поскольку скорость является узким местом zkEVM, сравнение вычислительной эффективности имеет решающее значение. STARK реализует почти линейное время доказательства и время верификации, быстрее, чем SNARK, но явно медленнее новых технологий. Некоторые новые технологии являются первыми в мире, которые реализуют линейное время доказательства и подсуперлинейное время верификации для доказательства с нулевым раскрытием, достигнув теоретического предела. Они остаются прозрачными, не требуя никаких доверительных настройок, что обеспечивает высший уровень безопасности.

Эта новая технология основана на кодах, которые можно кодировать за линейное время, и является самой быстрой среди всех существующих схем доказательства с нулевым знанием. Кроме того, благодаря использованию рекурсивной технологии, размер доказательства снижен до 1/7 от существующих схем, что позволяет конечным пользователям тратить всего около одного цента на использование услуг второго уровня Ethereum.

Необходимость независимого уровня доступных данных

Текущие zkRollup в основном сосредоточены на снижении вычислительной нагрузки по валидации транзакций. Это особенно важно для Ethereum, поскольку стоимость выполнения сложных смарт-контрактов высока. Однако узлы Ethereum по-прежнему должны одновременно хранить исходные данные транзакций. Это неразумно, поскольку Ethereum больше подходит в качестве слоя консенсуса, а не слоя хранения, что означает, что узкое место в масштабировании все еще существует - когда узлы испытывают нехватку пропускной способности и хранения (, а не нехватку вычислений ), они будут подвержены влиянию.

Вот почему Ethereum нуждается в независимом уровне доступности данных для хранения этих оригинальных данных о транзакциях, чтобы предотвратить замораживание всего смарт-контракта из-за сбоя сервера zkRollup или узла Ethereum. Более того, это отделит затраты второго уровня от первого уровня и еще больше снизит более чем на половину затраты на транзакции на основе zkEVM zkRollup.