Почему технология нулевого знания — это следующий скачок для масштабируемости Ethereum
Ethereum добился значительных успехов в области масштабируемости, однако перегруженность сети и высокая плата за газ остаются актуальными проблемами. Внедрение решений второго уровня и таких протоколов, как EIP-4844, который удешевил хранение данных за счет прото-даншардинга, помогло снизить стоимость транзакций и перегруженность сети. Однако спрос на блокчейн по-прежнему превышает текущие возможности сети.
Одним из решений, набирающих обороты, являются доказательства с нулевым знанием (ZK), которые позволяют перенести больше вычислений за пределы цепи, предоставляя при этом краткие доказательства для обеспечения целостности данных. Эти ZK-ролики идеально подходят для сохранения конфиденциальности пользователей и снижения стоимости транзакций, однако проверка таких доказательств в сети Ethereum остается дорогостоящей. Для создания ZK-доказательства требуется специализированное оборудование, а преобразование его в формат, который может обрабатывать Ethereum, требует больших вычислительных затрат.
В то время как оптимистичные ролловеры легче и дешевле верифицировать, ролловеры ZK обеспечивают превосходную конфиденциальность и секретность, что делает их более привлекательными для малого и среднего бизнеса. Однако процесс проверки для таких предприятий непомерно дорог.
Horizen Labs решает эту проблему, предлагая модульное решение для проверки доказательств под названием zkVerify, которое снижает стоимость проверки на 90%. Это позволяет предприятиям отправлять доказательства в отдельную цепочку для проверки, что значительно снижает затраты. В то время как крупные экосистемы второго уровня могут сопротивляться такому децентрализованному подходу, утверждая, что он снижает безопасность за счет переноса проверки за пределы цепочки, более мелкие игроки стремятся принять его из-за его экономической эффективности.
Еще одна проблема заключается в совместимости Ethereum с ZK-доказательствами. Хотя виртуальное устройство Ethereum (EVM) может выполнять некоторые операции с эллиптическими кривыми, оно поддерживает лишь ограниченное количество математических операций, что снижает эффективность. Чтобы полностью раскрыть потенциал ZK-доказательств, Ethereum потребуется обновить прекомпиляцию, чего не происходило с 2017 года.
Horizen Labs создает полностью EVM-совместимую цепочку с улучшенной поддержкой нулевого знания, что обеспечивает бесшовное обновление и лучшую интеграцию. Эта инновация призвана подтолкнуть Ethereum к следующему этапу масштабируемости, гарантируя, что сеть сможет справиться с растущим спросом на децентрализованные приложения, снижая при этом затраты пользователей.