Как сеть может проверить транзакцию, не видя саму транзакцию?

Приватность достигается с помощью технологии zk-SNARK:

zk - zero-knowledge (доказательство с нулевым разглашением): можно доказать, что что-то верно, не раскрывая никаких деталей.
S - succinct (краткое): доказательство очень компактное, его легко передать.
N - non-interactive (неинтерактивное): после генерации доказательства не нужно обмениваться множеством сообщений между участниками.
ARK — argument of knowledge (аргумент знания): это доказательство того, что ты знаешь какую-то информацию.

Как это выглядит? Кассиру “Красного и белого” нужно убедиться, что вам есть 18 лет. Но вместо паспорта вы показываете цифровое доказательство "этому человеку больше 18", не раскрывая имя, дату рождения и адрес. Усы, лапы и хвост - вот мои документы!

Монета в числе первых (по информации на их сайте - самая первая) применила технологию доказательств с нулевым разглашением. Это был прорыв. Чем он кончился? Риски перевесили adoption.