В прошлом посте затронул механизм Bulletproofs. Сегодня чуть подробнее о том, что это такое, где применяется и для чего он нужен.
Я попытался коротко и понятно. На счет коротко - не получилось. На счет понятно - на ваше усмотрение😉
⬇️⬇️⬇️
Bulletproofs (BP) - это короткие неинтерактивные доказательства с нулевым разглашением (Zero-knowledge proof), которые не требуют доверенной установки.
Т.е. позволяет одной из взаимодействующих сторон («The verifier» — проверяющей) убедиться в достоверности какого-либо утверждения, не имея при этом никакой другой информации от второй стороны («The prover» — доказывающей).
BP используется для того, чтобы убедить верификатора в том, что зашифрованный текст верен.
Например, нужно доказать, что зашифрованное число находится в заданном диапазоне, не раскрывая больше ничего об этом числе.
Каждая конфиденциальная транзакция содержит криптографическое доказательство того, что транзакция действительна. BP доказательства уменьшают размер криптографического доказательства с более чем 10 Кб до менее чем 1 кб.
Если бы все транзакции биткойнов были конфиденциальными и использовали bulletproofs доказательства, то общий размер UTXO составил бы только 17 ГБ, по сравнению с 160 ГБ с используемыми в настоящее время.
Bulletproofs позволяет:
- уменьшить доказательство платежеспособности
Доказательство платежеспособности свидетельствует о том, что валютный контроль обеспечивает достаточные резервы для расчетов по счетам каждого клиента. Механизм сохраняет конфиденциальность доказательства платежеспособности, в соответствии с которыми биржа не обязана раскрывать свои биткойн-адреса, совокупные активы или обязательства, а также любую информацию о своих клиентах. Также оно не позволяет биржам вступать в сговор для покрытия убытков друг друга. Финику и К привет😄
- внедрить конфиденциальные смарт-контракты и в качестве общей замены Sigma-протоколов.
Sigma-протоколы разработаны для обеспечения надежного обмена криптографическими ключами при обеспечении различных функций. Sigma служит криптографической основой для подписей IKE- стандартизированного протокола обмена ключами в Интернете.
- Возможность "коротких проверяемых смешиваний" (short verifiable shuffles)
Суть в том, что имея два списка фиксированных значений, доказать, что второй список - это перестановка первого. Этот метод можно использовать в голосовании и доказательстве платежеспособности. Такая схема позволяет реализовывать перетасовку и сортировку двух списков и затем проверять, что они равны.
По своей эффективности технология сопоставляется с zk-SNARKs или zk-STARKs, но имеет встроенную поддержку открытых ключей на эллиптической кривой и обязательств Педерсена.
Обязательства Педерсена - это метод, позволяющий пользователю подтверждать какое-либо значение, которое не разглашается. То есть в случае разглашения этого значения благодаря этой схеме будет известно, что пользователь знал его на момент выдачи обязательства и что оно не изменилось.
Также, в отличие от zk-SNARKs, доказательства Bulletproofs имеют полный 128-битный уровень криптостойкости.
Уровень криптостойкости - это показатель криптостойкости криптографического алгоритма, связанный с вычислительной сложностью выполнения успешной атаки на криптосистему наиболее быстрым из известных алгоритмов
- в основе технологии Bulletproofs лежат общие принципы доказательства с нулевым разглашением (как и в zk-SNARKs);
- технология может использоваться для расширения многосторонних протоколов, таких как мультиподписи или условные платежи с нулевым знанием;
Bulletproofs был развернут в Monero. Важно понимать, что Bulletproofs доказательства сами по себе не способствуют обеспечению конфиденциальности. Они гарантируют, что информация, хранящаяся в конфиденциальной транзакции, не содержит ложных данных.
Monero для достижения анонимности полагается на три механизма: скрытые адреса, кольцевые подписи и кольцевые конфиденциальные транзакции. Bulletproofs влияют на кольцевые конфиденциальные транзакции или RingCT – способ, при помощи которого Monero скрывает сумму транзакции.
Я попытался коротко и понятно. На счет коротко - не получилось. На счет понятно - на ваше усмотрение😉
⬇️⬇️⬇️
Bulletproofs (BP) - это короткие неинтерактивные доказательства с нулевым разглашением (Zero-knowledge proof), которые не требуют доверенной установки.
Т.е. позволяет одной из взаимодействующих сторон («The verifier» — проверяющей) убедиться в достоверности какого-либо утверждения, не имея при этом никакой другой информации от второй стороны («The prover» — доказывающей).
BP используется для того, чтобы убедить верификатора в том, что зашифрованный текст верен.
Например, нужно доказать, что зашифрованное число находится в заданном диапазоне, не раскрывая больше ничего об этом числе.
Каждая конфиденциальная транзакция содержит криптографическое доказательство того, что транзакция действительна. BP доказательства уменьшают размер криптографического доказательства с более чем 10 Кб до менее чем 1 кб.
Если бы все транзакции биткойнов были конфиденциальными и использовали bulletproofs доказательства, то общий размер UTXO составил бы только 17 ГБ, по сравнению с 160 ГБ с используемыми в настоящее время.
Bulletproofs позволяет:
- уменьшить доказательство платежеспособности
Доказательство платежеспособности свидетельствует о том, что валютный контроль обеспечивает достаточные резервы для расчетов по счетам каждого клиента. Механизм сохраняет конфиденциальность доказательства платежеспособности, в соответствии с которыми биржа не обязана раскрывать свои биткойн-адреса, совокупные активы или обязательства, а также любую информацию о своих клиентах. Также оно не позволяет биржам вступать в сговор для покрытия убытков друг друга. Финику и К привет😄
- внедрить конфиденциальные смарт-контракты и в качестве общей замены Sigma-протоколов.
Sigma-протоколы разработаны для обеспечения надежного обмена криптографическими ключами при обеспечении различных функций. Sigma служит криптографической основой для подписей IKE- стандартизированного протокола обмена ключами в Интернете.
- Возможность "коротких проверяемых смешиваний" (short verifiable shuffles)
Суть в том, что имея два списка фиксированных значений, доказать, что второй список - это перестановка первого. Этот метод можно использовать в голосовании и доказательстве платежеспособности. Такая схема позволяет реализовывать перетасовку и сортировку двух списков и затем проверять, что они равны.
По своей эффективности технология сопоставляется с zk-SNARKs или zk-STARKs, но имеет встроенную поддержку открытых ключей на эллиптической кривой и обязательств Педерсена.
Обязательства Педерсена - это метод, позволяющий пользователю подтверждать какое-либо значение, которое не разглашается. То есть в случае разглашения этого значения благодаря этой схеме будет известно, что пользователь знал его на момент выдачи обязательства и что оно не изменилось.
Также, в отличие от zk-SNARKs, доказательства Bulletproofs имеют полный 128-битный уровень криптостойкости.
Уровень криптостойкости - это показатель криптостойкости криптографического алгоритма, связанный с вычислительной сложностью выполнения успешной атаки на криптосистему наиболее быстрым из известных алгоритмов
- в основе технологии Bulletproofs лежат общие принципы доказательства с нулевым разглашением (как и в zk-SNARKs);
- технология может использоваться для расширения многосторонних протоколов, таких как мультиподписи или условные платежи с нулевым знанием;
Bulletproofs был развернут в Monero. Важно понимать, что Bulletproofs доказательства сами по себе не способствуют обеспечению конфиденциальности. Они гарантируют, что информация, хранящаяся в конфиденциальной транзакции, не содержит ложных данных.
Monero для достижения анонимности полагается на три механизма: скрытые адреса, кольцевые подписи и кольцевые конфиденциальные транзакции. Bulletproofs влияют на кольцевые конфиденциальные транзакции или RingCT – способ, при помощи которого Monero скрывает сумму транзакции.