Обязательство Педерсена

Что такое обязательство Педерсена?

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

Исходная конструкция связана с работой Торбена Придса Педерсена «Неинтерактивное и информационно-теоретически защищенное проверяемое разделение секрета», в которой были представлены обязательства, используемые при проверяемом разделении секрета.

Стандартную упрощенную форму часто записывают так:

.

В этой формуле

— обязательство, — скрытое значение, — случайный маскирующий множитель, а и — независимые генераторные точки криптографической группы.

Значение

остается скрытым, поскольку случайный маскирующий множитель маскирует его.

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

Главное об обязательствах Педерсена

• Обязательство Педерсена скрывает значение и одновременно фиксирует его.
• Обычно оно имеет вид
  C = rG + vH
  , где
  v
  — значение, а
  r
  — маскирующий множитель.
• Свойство сокрытия не позволяет посторонним узнать зафиксированное значение благодаря случайному маскирующему множителю.
• Свойство связывания означает, что создатель не может без труда представить одно обязательство как два разных значения.
• Обязательства аддитивно гомоморфны: их можно складывать, получая полезные результаты.
• Они широко применяются в конфиденциальных транзакциях, доказательствах диапазона, системах с доказательством с нулевым разглашением и блокчейнах, ориентированных на конфиденциальность.

Зачем обязательства Педерсена нужны в криптовалютах

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

В объяснении конфиденциальных транзакций от Elements Project указано, что основной инструмент таких транзакций — обязательство Педерсена.

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

Как работает обязательство Педерсена

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

Распространенный вариант на эллиптической кривой записывается так:

.

Генератор

умножается на маскирующий множитель .

Генератор

умножается на значение .

Две полученные точки складываются, образуя обязательство

.

Все видят

, но не могут легко узнать , поскольку не знают .

Позже создатель обязательства может раскрыть

и , чтобы открыть его.

Проверяющий может повторно вычислить

и проверить, совпадает ли результат с исходным обязательством.

Если значения совпадают, обязательство открыто корректно.

Свойство сокрытия

Свойство сокрытия означает, что обязательство не раскрывает зафиксированное значение.В обязательстве Педерсена конфиденциальность обеспечивается маскирующим множителем.Если множитель выбран случайным образом и хранится в секрете, обязательство может скрывать значение, даже когда оно опубликовано.Поэтому обязательства Педерсена полезны в системах конфиденциальных транзакций.Блокчейн может показывать обязательство в сети, не раскрывая сумму, которая за ним стоит.Наблюдатели могут видеть, что транзакция состоялась, но не могут прочитать зафиксированное значение непосредственно из обязательства.Свойство сокрытия зависит от корректной случайности.Если маскирующий множитель используется повторно, предсказуем, раскрыт или сгенерирован ненадлежащим образом, конфиденциальность может снизиться.Для разработчиков криптосистем надежная генерация случайных чисел — не второстепенная деталь.Она является частью безопасности самого обязательства.

Свойство связывания

Свойство связывания означает, что после создания обязательства его значение нельзя легко изменить.

Если участник зафиксировал

, он не должен иметь возможности позднее открыть то же обязательство как .

В обязательствах Педерсена связывание обеспечивается сложностью вычисления дискретного логарифма между генераторами.

Генераторы

и должны быть выбраны так, чтобы никто не знал секретного числа , для которого .

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

Гомоморфное свойство

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

Согласно упрощенной формуле, если

и , то .

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

Обязательства Педерсена в конфиденциальных транзакциях

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

Обязательства Педерсена и доказательства диапазона

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

В реализации Bulletproofs от dalek описана поддержка одиночных и агрегированных доказательств диапазона с использованием группы Ristretto.

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

Обязательства Педерсена в доказательствах с нулевым разглашением

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

Обязательства Педерсена в системах типа Zcash

В некоторых блокчейн-протоколах, ориентированных на конфиденциальность, схемы обязательств скрывают детали транзакций.

В актуальной спецификации протокола Zcash определены схемы обязательств и рассмотрены обязательства типа Педерсена.

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

Обязательство Педерсена и хеш-обязательство

Хеш-обязательство можно создать, захешировав значение вместе со случайным одноразовым числом.

Например, простое хеш-обязательство может выглядеть так:

.

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

Обязательство Педерсена и шифрование

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

Обязательство Педерсена и обязательство Меркла

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

Обязательство Педерсена и цифровая подпись

Цифровая подпись подтверждает, что сообщение было авторизовано с помощью приватного ключа.Обязательство Педерсена подтверждает, что участник зафиксировал скрытое значение.Это разные криптографические функции.Подпись отвечает на вопрос: «Авторизовал ли этот ключ данное сообщение?»Обязательство отвечает на вопрос: «Было ли это скрытое значение зафиксировано ранее без раскрытия?»В криптовалютных транзакциях могут использоваться оба инструмента.Пользователь может подписать транзакцию, чтобы разрешить расходование средств.Транзакция также может содержать обязательства, скрывающие суммы.Затем доказательства с нулевым разглашением могут подтвердить соответствие скрытых данных правилам протокола.В общей архитектуре безопасности у каждого инструмента своя задача.

Почему важен выбор генераторов

Для обязательств Педерсена нужны два независимых генератора.

Их часто обозначают как

и .

Безопасность связывания зависит от того, что никто не знает связь между ними в виде дискретного логарифма.

Если разработчик со злым умыслом знает связь между

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

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

Маскирующие множители

Маскирующий множитель — это случайный секрет, который скрывает зафиксированное значение.

В формуле

маскирующим множителем является .

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

Открытие обязательства Педерсена

Открыть обязательство Педерсена — значит раскрыть значение и маскирующий множитель, с помощью которых оно было создано.Проверяющий проверяет открытие, повторно вычисляя обязательство.Если вычисленное обязательство совпадает с исходным, открытие действительно.

Например, если исходное обязательство —

, создатель раскрывает и .

Проверяющий вычисляет

.

Если результат равен

, открытие принимается.

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

Вычислительное связывание и совершенное сокрытие

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

Обязательства Педерсена и эллиптические кривые

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

Формулу обязательства

можно вычислить с помощью скалярного умножения и сложения точек эллиптической кривой.

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

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

Выбор группы влияет на безопасность, проектирование доказательств, надежность реализации и совместимость.Разработчикам не следует бездумно смешивать точки кривых, способы кодирования и предположения о подгруппах.Тонкости криптографических групп легко упустить, и пользователям сложно самостоятельно их проверить.

Обязательства Педерсена в многосторонних вычислениях

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

Обязательства Педерсена и проверка предложения активов

Одна из главных задач приватных криптовалютных систем — доказать, что скрытые транзакции не увеличивают предложение активов.Если суммы скрыты, сети все равно необходимо знать, что монеты не создаются тайно.Гомоморфное свойство обязательств Педерсена помогает проверять баланс скрытых значений.Если разность обязательств для входов и выходов равна допустимому обязательству для комиссии или выражению с нулевым балансом, транзакция может доказать сохранение ценности.Однако эту проверку баланса нужно сочетать с доказательствами диапазона и другими проверками корректности.В противном случае скрытые отрицательные значения или недопустимые представления данных могут нарушить работу системы.Таким образом, проверка предложения активов в приватных системах требует продуманного проектирования всего протокола.Обязательства Педерсена — важный компонент, но не полное решение.

Ограничения обязательств Педерсена

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

Риски безопасности и ошибки реализации

Один из главных рисков — ненадежная случайность.Если маскирующие множители предсказуемы, конфиденциальность может быть нарушена.Еще один риск — скрытые ловушки в генераторах.Если кому-то известна связь между генераторами, свойство связывания может быть нарушено.Третий риск — отсутствие доказательств диапазона.Если не доказано, что скрытые значения входят в допустимый диапазон, злоумышленники могут использовать отрицательные суммы или переполнение.Четвертый риск — ошибки, связанные с подгруппами или кофакторами.Если реализация группы принимает недопустимые точки или опирается на небезопасные предположения о подгруппах, доказательства и обязательства могут оказаться уязвимыми.Пятый риск — ошибки разделения доменов.Если одни и те же параметры обязательств используются в разных контекстах без четких меток, подписи или доказательства могут взаимодействовать небезопасным образом.Шестой риск — некорректная интеграция с кошельком или протоколом.Даже надежные обязательства не спасут систему, которая раскрывает значения через метаданные, журналы, адреса, поведение интерфейса или анализ сети.Разработчикам по возможности следует использовать проверенные библиотеки, формальные спецификации, аудиты и тестовые векторы.

Типичные варианты применения обязательств Педерсена

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

Обязательства Педерсена для разработчиков

Разработчикам следует считать обязательства Педерсена низкоуровневыми криптографическими примитивами.Не следует реализовывать их с нуля, если нет серьезного опыта в криптографии.Безопасная реализация требует корректных операций с группами, надежной генерации случайных чисел, выведения генераторов, проверки точек, работы со скалярами, сериализации, разделения доменов и интеграции с системой доказательств.По возможности используйте проверенные библиотеки.Также необходимо понимать используемую библиотекой модель группы и ее предположения.Библиотека для цифровых подписей не обязательно подходит для обязательств.Библиотека для одной кривой может не соответствовать формату обязательств другого протокола.Тестовые векторы важны, поскольку кодирование обязательств должно точно совпадать в кошельках, узлах, схемах и средствах проверки.Аудиты необходимы: небольшие криптографические ошибки могут привести к незаметному созданию активов, потере конфиденциальности или принятию недействительных доказательств.

Обязательства Педерсена для пользователей

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

Обязательство Педерсена в одном предложении

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

FAQ

Что такое обязательство Педерсена простыми словами?

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

Как выглядит формула обязательства Педерсена?

Распространенная формула —

, где — обязательство, — скрытое значение, — маскирующий множитель, а и — генераторные точки.

Зачем нужен маскирующий множитель?

Он скрывает зафиксированное значение и не позволяет посторонним легко его угадать.

Что означает сокрытие в обязательстве Педерсена?

Это означает, что при случайном и секретном маскирующем множителе обязательство не раскрывает содержащегося в нем значения.

Что означает связывание в обязательстве Педерсена?

Это означает, что создатель обязательства не должен иметь возможности открыть одно и то же обязательство как два разных значения.

Что означает гомоморфность обязательств Педерсена?

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

Зачем обязательства Педерсена используются в конфиденциальных транзакциях?

Они позволяют скрывать суммы транзакций и при этом проверять, что входы и выходы сбалансированы.

Доказывают ли обязательства Педерсена, что сумма положительная?

Нет. Чтобы доказать, что скрытая сумма входит в допустимый диапазон, необходимо отдельное доказательство диапазона.

Является ли обязательство Педерсена шифрованием?

Нет. Шифрование позволяет позднее расшифровать данные, а обязательство скрывает их и фиксирует за создателем одно значение.

Можно ли открыть обязательство Педерсена?

Да. Для этого раскрывают зафиксированное значение и маскирующий множитель.

Что произойдет, если маскирующий множитель будет раскрыт?

Если раскрыты маскирующий множитель и достаточный контекст, скрытое значение может стать известно или доступно для проверки.

Безопасны ли обязательства Педерсена?

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

Заключение

Обязательства Педерсена — одна из важнейших схем обязательств в криптовалютных системах конфиденциальности и криптографии с доказательством с нулевым разглашением.Они позволяют протоколу скрывать значения, одновременно фиксируя их за пользователями.Аддитивная гомоморфность особенно полезна для конфиденциальных транзакций: скрытые суммы можно проверять на сбалансированность.Обязательства также применяются в доказательствах диапазона, системах с нулевым разглашением, проверяемом разделении секрета и криптографических протоколах для нескольких участников.Основную идею легко сформулировать, но безопасная реализация требует большого внимания.Реальной системе нужны надежная генерация случайных чисел, тщательно выбранные генераторы, корректные операции с эллиптическими кривыми, правильное разделение доменов, доказательства диапазона и тщательный аудит.Для пользователей главный вывод в том, что обязательства Педерсена помогают защищать конфиденциальность, но сами по себе не делают всю транзакцию приватной.Конфиденциальность зависит от всего протокола, поведения кошелька, обработки метаданных и действий пользователя.Для разработчиков важно считать обязательства Педерсена критически важной для безопасности криптографической инфраструктурой.При правильном использовании они позволяют проверять скрытые финансовые данные, не раскрывая их публике.Именно благодаря этому балансу конфиденциальности и проверяемости обязательства Педерсена остаются фундаментальным инструментом современного проектирования криптосистем.