Создание Ergo: Протоколы Сигма

Умные контракты Ergo и функциональность DeFi основаны на протоколах Сигма – мощном, гибком классе доказательств с нулевым разглашением. Узнайте больше о том, почему они так важны и как они ставят Ergo на голову выше конкурентов.

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

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

В криптографии большинство практических задач связано с секретами. Наиболее популярное применение связано с цифровыми подписями, которые ежедневно используют миллионы людей по всему миру. По сути, это означает: «Это сообщение доказывает, что я знаю закрытый ключ, связанный с этим открытым ключом – но я не раскрываю сам закрытый ключ». (Не каждая схема цифровой подписи использует доказательства с нулевым разглашением, но самые популярные используют.)

Протоколы Сигма

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

Подпись Шнорра – это простая подпись протокола Сигма. Подписи Шнорра были предложены в качестве альтернативы текущим подписям Bitcoin. (Это одна из самых эффективных схем подписей, поэтому она была бы полезна для Bitcoin.)

Однако существует десятки других протоколов Сигма. Одно из замечательных свойств этих протоколов заключается в том, что они композируемы, используя простую логику AND и OR. Таким образом, вы можете запросить подпись с помощью следующего утверждения: «Докажите мне знание либо этого секрета, ЛИБО того секрета» (это подпись один из двух). Или вы можете спросить: «Докажите мне знание любых двух из этих трех секретов» (подпись два из трех). Это всего лишь два простых примера; существует много других, и они могут быть гораздо более сложными и изощренными.

Ergo: Сигма + блокчейн

В сочетании с блокчейном эти композируемые доказательства позволяют создавать очень мощные варианты использования. Логика для доказательств может включать условия, основанные на состоянии блокчейна. Например: «Если достигнута высота блока срока, Алиса может предоставить знание секретного ключа для возврата. ЛИБО требуется кольцевая подпись от Алисы и Боба для расходования монет». Или «Если этот аккаунт содержит минимум 100 ERG, Алиса ИЛИ Боб могут снять средства выше этой суммы».

Таким образом, на Ergo можно создать очень интересные и гибкие приложения DeFi, используя безопасные, простые и эффективные протоколы Сигма.