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

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

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

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

Поддерживайте план расширения Ethereum zkRollup

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

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

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

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

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

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

Необходимость повторного проектирования zkEVM

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

Также проекты компилируют код контрактов, написанный на Solidity, в Yul(, промежуточный язык, который может быть скомпилирован в байт-код для различных виртуальных машин), а затем Yul байт-код повторно компилируется в специализированный, совместимый с zkEVM, набор кастомных байт-кодов.

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

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

Необходимость более быстрых нулевых доказательств

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

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

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

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

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