CryptoBotan

✅✅✅
Bulletproofs (BP)

В этом посте затрагивал механизм 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 скрывает сумму транзакции.

#Privacy