Zero-Knowledge: конфиденциальность и масштабирование

[MrFreeRoMan]

Azero-knowledge proof ("ZKP")
является криптографическим методом, который позволяет одному человеку доказать другому, что он знают наверняка информацию, без необходимости раскрывать эту информацию им.

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

Критерии ZKP:
1. Полнота: если утверждение верно, честный верификатор будет
убежден в честности проверяющего.
2. Обоснованность: если утверждение неверно, обманщик не может
убедить честного проверяющего, что это правда.
3. Zero-knowledgeness: если утверждение верно, верификатор не узнает ничего другого, кроме факта, что это правда

Проекты реализующие ZKP:

zk-SNARKs, Recursive SNARKs, & SONICs:

Zcash, CODA, Matter Labs

zk-STARKs:

StarkWare, Ethereum, 0x

Bulletproofs & MimbleWimble:

Monero, Grin, Beam, Bitcoin

AZTEC protocol:

AZTEC, Qourum, Ren, CreditMint

Информацию взял с картинки

Спасибо за внимание!

[bomj]

Интересный факт о "AZTEC protocol" полное молчание на данном форуме,
в том числе и в англоязычной ветке.
Несмотря на то, что их поддержали инвест. компании, в том числе JPMorgan.
Да и разработка считается довольно перспективной.