Описание Zoracles

\О монете

Zoracles способствует развитию Open Oracle с улучшениями, недоступными в существующих сетях Oracle. Разработчики применили доказательства с нулевым разглашением к двум основным контрактам, чтобы скрыть их входные значения:

• OpenZoraclesPriceData - здесь будут храниться подписанные цены

• UniswapAnchoredView  - цены привязаны к этому взвешенному по времени индексу, чтобы установить границы допустимых значений и предотвратить хакерские атаки.

Эти дополнения позволят текущим пользователям Open Oracle обновить эти два контракта, чтобы использовать дополнительные гарантии конфиденциальности Zoracles. В настоящее время существуют производственные проекты, в которых используется Open Oracle, который можно легко повторно развернуть для повышения безопасности. «OpenZoraclesPriceData» - это место, где хранятся данные о ценах. Решение будет использовать эти входные данные для создания компактного доказательства с нулевым разглашением, которое будет проверено в контракте «UniswapAnchoredView», где выходные данные будут сравниваться со средневзвешенным по времени значением цен Uniswap v2.

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

Составители отчетов/подписчики

Zoracles: Zero-Knowledge Oracles

 Несколько ключевых особенностей Open Oracle - это роли составителя отчетов и подписчика. Составитель отчетов может быть авторитетной биржей, которая будет подписывать данные о ценах, используя свой открытый ключ. Coinbase - первая биржа, предоставляющая эти подписанные данные, и OKex предоставит такую же услугу.

Разработчики ожидают, что в будущем больше бирж предоставят эти подписанные данные, и это значительно повысит безопасность данных. Постеры могут быть любым протоколом dApp с адресом Ethereum, для которого требуются конфиденциальные данные о ценах Zoracles. Разработчики  ожидают, что их стратегическое партнерство с протоколами станет основным вариантом использования системы и, следовательно, станет постером. Решение не требует служебного токена и не требует от пользователей платы за запросы API. Вместо этого постеры платят за газ, связанный с размещением ценностей в цепочке, и это будет значительно меньше, чем структура затрат текущих решений Oracle. Как показано ниже, цены отправляются в OpenZoraclesPriceData и UniswapAnchoredView в виде массива.

Анкор цены UNISWAP

Важной особенностью Open Oracle являются средневзвешенные по времени цены, измеренные для Uniswap v2. Этот диапазон проверяется контрактом «UniswapAnchoredView», чтобы убедиться, что он находится в допустимом диапазоне. Цены хранятся в «UniswapAnchoredView», предполагая, что они были предварительно проверены доказательством с нулевым разглашением. Проверка данных о ценах с компактным доказательством является основной основой продукта Zoracles. Дизайн и разработка рабочей системы ограничений с доказательствами нулевого знания является основой ценностного предложения Zoracles.

Важным элементом функции ценообразования анкора Uniswap является возможность нормализовать движение цен криптоактивов на разных биржах до общей стоимости. Пользователь может просмотреть различные ресурсы и символы на рисунке выше, чтобы оценить диапазон поддерживаемых символов. Использование средневзвешенных по объему функций цены и значения для защиты целостности данных от манипулирования ценами. Протоколу Zoracles необходимы встроенные механизмы, обеспечивающие конфиденциальность, точность, своевременность передаваемых данных и отсутствие постороннего влияния нормального рыночного потока данных. Это достигается за счет сопоставления ценовых данных Uniswap v2 с данными, выпущенными и подписанными составителями отчетов.

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

Фреймворк Zoracles получит выгоду от этой функции за счет привлечения инновационных протоколов DeFi, которые вознаграждают поставщиков ликвидности за счет выпуска токенов. Он должен создать действенный маховик между протоколами dApp, Zoracles и нашей структурой «Снарки как услуга».

Оракулы с нулевым разглашением

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

Существует три свойства, которым протокол Zoracles должен удовлетворять, чтобы в достаточной мере разрабатывать оракулы с нулевым разглашением. Модель ниже описывает общий обзор процесса достижения анонимности без раскрытия каких-либо входных данных:

1) Полнота: как правило, для обеспечения полноты контракт, проверяющий протокол Zoracles, должен принимать входные данные, предоставленные источником данных:

2) Надежность: как правило, для обеспечения надежности Zoracles Protocol отклоняет любые неверные данные за пределами незначительно малой вероятности:

3) Нулевое знание: как правило, для удовлетворения требований системы доказательства с нулевым разглашением протокол Zoracles не должен получать какую-либо информацию об источниках данных, за исключением того, что предоставленные данные являются точными и правильными:

Есть дополнительная проблема при работе с оракулами с нулевым разглашением. Значения, хранящиеся в контракте представления, должны быть гоморфно скрыты, чтобы сохранить конфиденциальность для всего процесса доставки данных. Это представляет собой интересное препятствие, которое рассматривалось в качестве основного ингредиента доказательств с нулевым разглашением в статье Райтвейбнера [6] при кодировании значений как полиномиальной проблеме. «Программа, которую необходимо проверить, составляется в квадратное уравнение многочленов: t (x) h (x) = w (x) v (x), где равенство выполняется тогда и только тогда, когда программа вычислена правильно. Доказывающий хочет убедить проверяющего в том, что это равенство выполняется ». Протокол Zoracles будет гоморфно скрывать обменные значения с помощью функции шифрования, которую верификатор будет использовать для удовлетворения всех элементов доказательства с нулевым разглашением. Этот шаг имеет решающее значение для формирования комплексного решения, сохраняющего конфиденциальность.

Инструменты ZoKrates

Важным компонентом скорости разработки Zoracles при развертывании доказательств с нулевым разглашением на смарт-контрактах будет построение с помощью набора инструментов абстрактного языка ZoKrates Использование абстрактной криптографии для создания вероятностных доказательств с помощью ZoKrates - это мощный способ компиляции плоского кода и генерации ключей подтверждения для источника данных и контракта проверки конфиденциальных данных для смарт-контрактов. Более того, использование ZoKrates гарантирует, что доказательства удовлетворяют ключевым атрибутам zk-Snarks, включая лаконичность, отсутствие интерактивности и, что наиболее важно, платформа обеспечивает быстрый способ использования аргументов знания. Использование набора инструментов ZoKrates позволяет команде разработчиков Zoracles сосредоточиться на разработке программ, которые являются полезными функциями при создании снарков. Этот процесс дает клиентам возможность воспользоваться преимуществами вычислений вне сети и использовать функции обеспечения конфиденциальности для защиты конфиденциальных данных от общественности.

Разработчики Zoracles создали доказательство концепции с помощью ZoKrates, чтобы определить цену актива, такого как золото, серебро и биткойн, в определенном диапазоне. Доказательства с нулевым разглашением могут использоваться для обеспечения более строгих гарантий конфиденциальности. Без раскрытия цены и источника данных, спотовые цены на эти криптоактивы могут быть проверены клиентом.

Мотивация

Подобные доказательства ценового диапазона могут использоваться в некоторых финансовых приложениях, таких как конфиденциальность: рынки прогнозирования, торговля бинарными опционами, аукционы и т. д. Эти приложения могут использовать доказательство ценового диапазона, чтобы убедиться, что цена актива находится между определенным диапазоном значений.

Разработчики создадутдоказательство zk-SNARK для проверки этих ограничений. Преимущество этого подхода заключается в том, что доказательство обеспечивает конфиденциальность, а размер доказательства невелик по сравнению с некоторыми другими доказательствами zk. В нашем случае частный ввод - это цена актива. Эта цена идеально указана некоторыми проверенными источниками.

Цена MinAndMax будет общедоступной информацией для Snark.

Прувер

Доказательство генерируется доказывающим после надежной настройки, поэтому поддельные доказательства не могут быть созданы. Это доказательство может быть использовано для проверки произвольных значений цены, min, max. Прежде чем генерировать доказательство, доказывающему необходимо сгенерировать свидетельство из входных данных. Каждый раз для новых входных значений необходимо создавать новое свидетельство и доказательство.

Верификатор

Проверяющим в этом доказательстве концепции будет смарт-контракт, развернутый на Ethereum. Этот верификатор будет создан только один раз. Эта проверка может использоваться для проверки любого доказательства с учетом общедоступных входов (MinAndMax). Чтобы сгенерировать доказательства с нулевым разглашением, мы используем абстрактный язык ZoKrates для определения функции для выполнения симуляции:

Это доказательство концепции представляет собой фрагмент мощных возможностей программирования ZoKrates для развертывания Zoracles на мировом рынке деривативов. Этот рынок растет, и для поминутной торговли миллиардами опционов абсолютно необходима конфиденциальность. Мы можем расширять и создавать более сложные Снарки на основе конкретных бизнес-требований, отражающих основные ценностные предложения протокола.