В этом году доказательства с нулевым разглашением (zk-proofs) зарекомендовали себя как самые мощные криптографические инструменты, способствующие инновациям в децентрализованных экосистемах.
Zk-доказательства были впервые предложены исследователями компьютерных наук Шари Голдвассером, Сильвио Микали и Чарльзом Ракоффом в их статье 1985 года: Сложность знаний интерактивных систем доказательства. Разработчики, системные архитекторы и исследователи сообщества Ethereum — ведущей экосистемы смарт-контрактов блокчейна — потратили большую часть последних трёх лет, напрягая свои творческие способности для разработки решений — а чаще всего временных обходных путей. Их цель — устранить два вопиющих недостатка блокчейна: способность эффективно работать в масштабе и однозначно защищать конфиденциальность пользователей.
Что касается обеих прерогатив, лучшие и самые яркие умы Эфириума объединились на протоколах с нулевым разглашением и их универсальных реализациях, чтобы построить следующую итерацию полной по Тьюрингу инфраструктуры блокчейна.
В поисках пропускной способности
Zk-доказательство описывает механизм, с помощью которого одна сторона может доказать другой, что данное утверждение верно, без раскрытия какой-либо дополнительной информации, особенно содержания самого утверждения. Несмотря на то, что zk-proofs более применимы в сценариях, ориентированных на конфиденциальность (наиболее известный из которых — запуск Zcash в 2016 году, конфиденциальной монеты, которая использует zks для защиты транзакций), zk-proofs приобрели известность в безумных поисках Ethereum решения для масштабируемости, которое могло бы открыть его массив революционные приложения DeFi и NFT на массовый рынок.
Согласно официальному документу Сатоши, блокчейн был разработан с одной целью: обойти власть посредством формирования устойчивой к цензуре децентрализованной системы без единой точки отказа. Несмотря на огромное достижение в системной архитектуре, децентрализация не обходится без затрат. В децентрализованных системах процессы обмена, хранения и проверки информации происходят между взаимозависимыми устройствами, программным обеспечением и людьми. То есть это системы чрезвычайно высокого уровня. сложность знаний.
В отличие от оптимизированных процессов, присущих централизованным системам, сложность знаний неизбежно снижает эффективность сети, замедляя время транзакций и увеличивая транзакционные издержки для пользователей.
С Фиаско Cryptokitties в 2017 годуЭфириум постоянно находился в центре внимания криптографов как образец дилеммы масштабируемости, присущей блокчейну. Поскольку Ethereum является лидером отрасли в области децентрализованных приложений и пользователей, сложность знаний ограничивает пропускную способность его транзакций до ничтожных десяти транзакций в секунду — 12 в хороший день.
Будучи преисполнены решимости решить эту проблему, команды разработчиков всей экосистемы разработали различные предварительные решения: каналы состояний, которые не были совместимы с EVM и требовали идентификации пользователей и предварительной блокировки капитала; Plasma, сеть неудобных дочерних цепочек, которым также не хватало EVM-совместимости; Сайдчейны, которые работают независимо от безопасности основной цепи Ethereum; и Sharding, консенсусная модификация, характеристики и сроки поставки которой колебались и развивались, напоминая невыполненные обещания политических кампаний.
Zks остался в форме Zk-Rollups, механизма, который использует технологию zkSNARK для консолидации транзакций вне цепочки через деревья Меркла и публикации их в основной цепочке Ethereum с помощью одной транзакции — высокоэффективной модели, которая проводила вычисления вне цепочки. и использовал основную цепочку исключительно для хранения данных. Несмотря на лучшее техническое решение, Zk-Rollups еще не был совместим с EVM и мог выступать только в качестве канала оплаты. Приложения DeFi должны будут оставаться в цепочке до тех пор, пока накопительные пакеты не смогут поддерживать выполнение смарт-контрактов.
Сводка Оптимизма
В гонке за поддержку DeFi команда разработчиков Ethereum Optimism первой опередила всех, выпустив Optimistic Rollups, EVM-совместимую цепочку Rollup Chain, готовую к развертыванию dApp в один клик, и все это без единого zk-доказательства. Была только одна загвоздка: накопительный пакет Optimism зависел от доказательств мошенничества при публикации сгруппированных транзакций в цепочке, тем самым требуя от пользователей мириться с временными задержками в спорах (DTD) для вывода средств из основной цепочки, часто превышающими одну неделю. Но благодаря онлайн-компоновке Optimism оставался лучшей доступной альтернативой.
Так было до последних месяцев, когда Matter Labs выпустила zkSync v2: полнофункциональный, EVM-совместимый Zk-Rollup, в котором используются обоснованные в вычислительном отношении доказательства достоверности с короткими DTD. Поскольку совместимость с EVM решена для версии 2, zkSync и его вывод средств из основной цепочки менее чем за десять минут теперь превосходят Optimism, чей OVM все еще зависит от длительных DTD для подтверждения транзакций вывода.
Поскольку внимание и ресурсы разработчиков продолжают мигрировать в область нулевого знания, реальность становится ясной: согласно названию архитекторов, zk-доказательства были разработаны для систем, характеризующихся высокая сложность знанийи лучше всего подходят для решения многих вычислительных дилемм, стоящих перед экосистемами блокчейнов и их путями внедрения.
Полный круг: сохранение конфиденциальности там, где она должна быть
Благодаря концепции DeFi Ethereum закрепил за собой место в качестве центра инноваций в области блокчейна. Сложные приложения, подобные тем, которые составляют сектор DeFi в криптовалюте, требуют сохранения состояния и, следовательно, модели транзакций на основе Тьюринга и модели транзакций Ethereum на основе учетных записей. Между тем, приложения, ориентированные на конфиденциальность, работают на блокчейнах с моделями транзакций UTXO, где глобальные состояния, включая балансы счетов, обрабатываются более высокими уровнями абстракции, такими как приложения-кошельки и обозреватели блоков.
На данный момент, стремясь обеспечить конфиденциальность в DeFi, разработчики решили обеспечить конфиденциальность DeFi, либо создавая автономные блокчейны UTXO, либо высокоцентрализованные и непрозрачные модели уровня 2 вдали от пугающей публичной основной цепи Ethereum.
Лишь в январе 2019 года в протоколе Aztec Protocol был задуман первый стандарт конфиденциальных токенов Ethereum. EIP-1724. Aztec предложил использовать zkSNARK для генерации частных токенов на Ethereum, хотя потребуется доверенная настройка для распространения закрытых ключей. Кроме того, весь процесс обфускации, обеспечивающий конфиденциальность zk-токенов Aztec, происходит на своего рода уровне 2. Блестящая дальновидная модель, конструкция Layer 2 от Aztec, впервые обеспечила конфиденциальность в Ethereum. Но вопреки масштабируемости, основной принцип конфиденциальности заключается в том, что она должна находиться на уровне 1 — никаких «если», «и» или мостов.
Надежная установка
Через год после запуска Aztec команда Offshift представила новаторское решение PriFi уровня 1 на Ethereum, запуск которого намечен на первый квартал 1 года. В модели команды используются Bulletproof zks, которые, в отличие от SNARK, не требуют каких-либо элементов доверенной настройки и полностью функционируют. на уровне 2022. Для реализации модели транзакций Ethereum на основе учетных записей протокол Offshift выдает zkAssets в форме криптографических обязательств, которыми обмениваются адреса Ethereum в модели UTXO, тем самым позволяя приложениям PriFi извлекать выгоду из полноты Тьюринга Ethereum, не покидая уровень 1.
Несмотря на совершенно уникальные задачи, эффективная масштабируемость и непроницаемая конфиденциальность лучше всего решаются с помощью вычислительных инструментов, разработанных для децентрализованных систем, то есть систем, характеризующихся чрезвычайно высокой сложностью знаний.
Гольдвассер, Макали и Ракофф, опередившие свое время на десятилетия, в своей статье 1985 года совершенно ясно заявили: «Сложность знаний помогает доказать или опровергнуть правильность криптографических протоколов, поскольку они основаны на секретности некоторой частной информации и должны сохранять эту секретность. »
Затем они поэтически отметили: «Конфиденциальность некоторой информации — это то, что дает нам преимущество перед нашими противниками».
Алекс Шипп, директор по стратегии вне смены, платформа производных PriFi (частная DeFi).
Источник: https://thedefiant.io/zero-knowledge-ethereum-layer-1/
- 2016
- 2019
- Учетная запись
- дополнительный
- Принятие
- плюс
- Все
- Позволяющий
- Приложения
- архитектура
- ЛУЧШЕЕ
- блокчейн
- строить
- Строительство
- Кампания
- Пропускная способность
- столица
- каналы
- Чарльз
- главный
- Монета
- сообщество
- Информатика
- Консенсус
- содержание
- продолжать
- контракт
- Расходы
- творческий
- DAPP
- данным
- хранение данных
- Финики
- день
- Децентрализация
- децентрализованная
- Децентрализованные приложения
- Defi
- задержки
- поставка
- Производные
- развивать
- Застройщик
- застройщиков
- Устройства
- спор
- экосистема
- Экосистемы
- затрат
- Эфириума
- всего лишь пяти граммов героина
- Ошибка
- First
- Впервые
- соответствовать
- форма
- мошенничество
- Глобальный
- хорошо
- High
- Как
- HTTPS
- Людей
- В том числе
- промышленность
- информация
- Инфраструктура
- Инновации
- интерактивный
- вопросы
- IT
- хранение
- ключи
- знания
- Labs
- запуск
- ведущий
- Волосы
- Создание
- отметка
- рынок
- Наша миссия
- модель
- месяцев
- сеть
- NFT
- сотрудник
- онлайн
- открытый
- бумага & картон
- оплата
- Платформа
- политикой конфиденциальности.
- частная
- Частные ключи
- протокол
- что такое варган?
- публиковать
- Q1
- поиск
- Гонки
- Реальность
- Полезные ресурсы
- Satoshi
- экономия
- Масштабируемость
- Шкала
- Наука
- Поиск
- безопасность
- Sharding
- Короткое
- Замедление
- умный
- умный контракт
- Software
- Решения
- Область
- заявление
- Области
- диск
- Стратегия
- представленный
- поддержка
- система
- системы
- Нажмите
- Технический
- Технологии
- временный
- время
- знак
- Лексемы
- сделка
- Сделки
- us
- конфиденциальность пользователей
- пользователей
- Кошелек
- неделя
- Руководство пользователя
- год
- лет
- Zcash
- нуль
- доказательства нулевого знания