Доказательства с нулевым разглашением (zk-SNARK) в криптовалютах: полное руководство

Если вы когда-либо мечтали доказать истинность чего-либо, не раскрывая подробностей, то вы уже вступили в эпоху, которую сделали возможными zk-SNARKs. 

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

За последние несколько лет zk-SNARKs стали одной из важнейших технологий в блокчейн-пространстве. От обеспечения работы таких криптовалют, как Zcash, до ускорения и удешевления транзакций в Ethereum с помощью zk-rollups, они превратились из исследовательской идеи в реальный инструмент, используемый миллионами пользователей, и всё это без необходимости понимания сложной криптографии, лежащей в их основе.

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

Ключ на вынос 

• zk-SNARKs позволяют одной стороне доказать истинность утверждения, не раскрывая скрытую информацию.
• По своей сути, zk-SNARK решает одну из старейших проблем в информатике и человеческой коммуникации.
• Доказательства с нулевым разглашением, и особенно zk-SNARK, значительно расширили свое первоначальное применение за пределы криптовалют, ориентированных на конфиденциальность.
• Хотя в сетях блокчейна ваше настоящее имя не отображается, ваша финансовая активность видна всем. 
• zk-SNARKs основан на более широкой концепции, известной как доказательство с нулевым разглашением.

Что такое zk-SNARK?

zk-SNARK — это мощный тип криптографического доказательства, позволяющий кому-либо (доказывающему) убедить другого человека или систему (проверяющему) в истинности утверждения, не раскрывая при этом никакой конфиденциальной информации, лежащей в основе этого утверждения. 

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

Чтобы понять, почему это революционно, представьте, что вы можете доказать, что правильно уплатили налоги, точно выполнили расчеты или соответствуете определенному требованию (например, вам больше 18 лет), не раскрывая при этом сами документы, цифры или личные данные. Именно в этом и заключается цель zk-SNARKs.

Основные свойства вкратце: нулевое знание, краткость, неинтерактивность, аргумент знания.

• Нулевое знание: проверяющий ничего не узнает, кроме того, что «утверждение истинно».
• Краткость: Доказательство чрезвычайно мало, часто всего несколько сотен байт, и может быть проверено за миллисекунды.
• Отсутствие взаимодействия: требуется всего одно сообщение (одно подтверждение). Это делает zk-SNARKs идеальным решением для блокчейнов и распределенных сетей.
• Аргумент знания: Система гарантирует, что доказывающий не смог бы создать действительное доказательство, если бы не обладал необходимым секретом или не выполнил правильные вычисления.

В совокупности эти свойства делают zk-SNARK одним из самых мощных инструментов криптографической верификации в современных цифровых системах.

Читайте также: Простая маржинальная торговля криптовалютами: как торговать с использованием кредитного плеча.

Почему zk-SNARKs так важны

По своей сути, zk-SNARK решает одну из старейших проблем в информатике и человеческой коммуникации:

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

Исторический контекст ZK-SNARKs

Понимание zk-SNARK начинается с отслеживания эволюции доказательств с нулевым разглашением, начиная с их теоретических истоков в 1980-х годах и заканчивая их широким распространением в современных блокчейн-системах. 

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

Истоки доказательств с нулевым разглашением (1980-е годы)

История начинается в 1985 годуКогда криптографы Шафи Голдвассер, Сильвио Микали и Чарльз Ракофф ввели концепцию доказательств с нулевым разглашением (ZKP), их новаторская работа дала ответ на вопрос, который в то время казался неразрешимым:

Как один человек может доказать истинность утверждения, не раскрывая никакой дополнительной информации?

Это был не просто ловкий трюк, он произвел революцию в основах криптографии и привел к разработке протоколов, которые могли:

• Аутентификация личности без паролей
• Проверяйте секреты, не разглашая их.
• Докажите корректность вычислений, не раскрывая их внутренних деталей.

В своей статье они представили три ключевых свойства, которые и сегодня остаются основополагающими для ZKP:

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

В то время протоколы ZKP представляли собой в основном интерактивные протоколы, основанные на сложном обмене данными. Хотя теоретически они были мощными, эти ранние доказательства оказались слишком громоздкими, слишком медленными и слишком интерактивными для широкого применения. Но они заложили основу для всего, что последовало за ними.

Ранние этапы развития SNARK (Пиноккио, libsnark)

По рано В 2010-х годах исследователи начали изучать способы повышения эффективности, неинтерактивности и «лаконичности» ZKP, что является ключевым требованием для реальных систем.

Пиноккио (2013)

прорыв В 2013 году появился протокол «Пиноккио», созданный Парно, Джентри, Хауэллом и Райковой. «Пиноккио» представил практически осуществимую форму SNARK (Succinct Non-Interactive Arguments of Knowledge — краткие неинтерактивные аргументы знаний). Впервые разработчики смогли генерировать:

• Очень короткие доказательства (всего несколько сотен байтов).
• Быстрая проверка (миллисекунды)
• Доказательства вычислений общего назначения

Это был переход от «теоретического любопытства» к практическим криптографическим инструментам.

libsnark (2014)

Вскоре после этого выпуск libsnarkБиблиотека libsnark на C++, реализующая SNARK-фреймворки в стиле «Пиноккио», ознаменовала собой еще одну важную веху. Она стала первым широко используемым SNARK-фреймворком, обеспечивавшим работу ранних экспериментов по сохранению конфиденциальности в блокчейне, включая тот, который позже стал Zcash. libsnark позволила разработчикам:

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

С выходом «Пиноккио» и «libsnark» zk-SNARKs официально вошли в реальный мир.

Читайте также: Сжигание токенов: как это работает и почему криптопроекты его используют.

Эволюция через Groth16, Sonic, Marlin, PLONK, Halo и многое другое.

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

Грот16 (2016)

Groth16, созданный Йенсом Гротом, стал одним из самых популярных сервисов. влиятельный SNARK-конструкции — одна из лучших в своем роде. Она предлагала чрезвычайно малый размер доказательств (всего 128 байт), быструю проверку и практичную производительность для больших схем.

Самым большим недостатком была необходимость в настройке доверенного соединения для каждой цепи, но, несмотря на это, она стала основой многих реальных систем, включая обновление Sapling для Zcash и первые версии zk-rollup.

Соник (2019)

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

Марлин (2020)

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

• Более короткие сроки проверки
• Более эффективная предварительная обработка
• Улучшенная совместимость с блокчейн-средами

ПЛАНК (2019–2021)

PLONK (и его варианты, такие как TurboPLONK и UltraPLONK) вывели практичность на новый уровень.

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

PLONK быстро стала одной из доминирующих систем проверки компонентов zk-rollups и zkEVM.

Halo и Halo2 (2020–2022)

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

Halo2, разработанный фондом Zcash Foundation и компанией Electric Coin Company, стал современным стандартом для создания частных и масштабируемых приложений без токсичных отходов и сложных процедур настройки.

Набор инструментов систем SNARK расширился за счет таких протоколов, как Spartan, SuperNova и HyperPlonk, каждый из которых предназначен для удовлетворения конкретных потребностей в производительности или гибкости.

Применение zk-SNARKs

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

В этом разделе подробно рассматриваются наиболее важные области применения, в которых zk-SNARKs будут развиваться в будущем.

Конфиденциальность и конфиденциальные сделки

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

Масштабирование второго уровня: zk-Rollups и zkEVMs

Одним из крупнейших прорывов последних лет является использование zk-SNARK для масштабирования блокчейнов, особенно Ethereum. 

zk-rollups объединяют тысячи транзакций вне блокчейна и генерируют небольшое доказательство zk-SNARK, подтверждающее, что каждая транзакция соответствовала правилам, никто не обманывал и балансы верны. Затем это доказательство публикуется в основном блокчейне.

zkEVM — это версия Ethereum, способная создавать доказательства с нулевым разглашением для выполнения смарт-контрактов.

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

Проверяемые вычисления и проверки целостности облачных вычислений

zk-SNARKs также решают важную проблему за пределами криптографии:

При использовании облачных провайдеров (AWS, Google Cloud и т. д.) вы полагаетесь на доверие. zk-SNARKs меняют это.

Анонимные учетные данные и децентрализованные системы идентификации

zk-SNARKs позволяют создавать системы идентификации, в которых люди могут подтвердить свою личность (или соответствие требованиям), не раскрывая личную информацию.

Примеры:

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

Их часто называют системами анонимных учетных данных или системами идентификации с нулевым разглашением.

Цепочка поставок, голосование и аукционы

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

Аудит цепочки поставок

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

Системы голосования

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

Аукционы и конкурсные торги

zk-SNARKs позволяют участникам подавать заявки, которые остаются секретными, но при этом доказывают, что заявка соответствует правилам и победитель выбран честно.

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

Взаимодействие, мосты и межцепочечные доказательства

Сегодня блокчейн экосистема Включает десятки сетей, таких как Ethereum, Solana, Bitcoin, Cosmos, Polkadot и др. Они редко «доверяют» друг другу по умолчанию.

zk-SNARKs позволяют одной цепочке проверять состояние другой цепочки, не доверяя группе валидаторов и не используя рискованные мосты с мультиподписью.

Почему современная криптоконфиденциальность зависит от zk-SNARKs

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

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

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

Биткойн скрывает ваше имя, но раскрывает миру информацию о вашей финансовой деятельности.

Вот тут-то и пригодятся zk-SNARKs. Они предлагают мощный способ обеспечить конфиденциальность вашей финансовой информации, не нарушая правил блокчейна.

Доказательства с нулевым разглашением: идея, лежащая в основе конфиденциальности.

zk-SNARK — сокращение от Zero-Knowledge Succinct Non-Interactive Argument of Knowledge (Краткий неинтерактивный аргумент знания с нулевым разглашением), — основан на более широкой концепции, известной как доказательство с нулевым разглашением.

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

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

Это означает, что веб-сайт должен хранить ваш пароль (или его какую-либо форму), который может быть украден или скомпрометирован.

Как zk-SNARKs решают проблему конфиденциальности

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

Они скрывают суммы транзакций.

Без zk-SNARKs любой может точно увидеть, сколько денег вы отправляете. С zk-SNARKs сумма скрыта, но блокчейн всё равно знает, что расчёты верны.

Пример:

• Вы можете отправить 50 токенов, и сеть проверит их:
• У вас было достаточно равновесия.
• Монеты не создавались и не терялись.
• Сделка законна, но никто не видит цифру 50.

Они скрывают адреса отправителя и получателя.

Обычно обозреватели блокчейна раскрывают, кто кому отправил монеты. В zk-SNARKs это заменено приватным доказательством, которое гласит:

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

Они держат баланс в секрете.

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

Они обеспечивают полную безопасность.

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

Они обеспечивают возможность выбора прозрачности.

Некоторые криптовалютные системы (например, Zcash) позволяют пользователям раскрывать информацию только тогда, когда они этого хотят. Примеры использования:

• подтверждение транзакции аудитору
• предъявить квитанцию ​​о пожертвовании
• проверка налоговой информации
• предоставить подтверждение наличия средств

Это обеспечивает конфиденциальность, не жертвуя при этом подотчетностью в случае необходимости.

Модель безопасности zk-SNARKs и общие риски

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

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

Достоверность, знание с нуля, полнота: три столпа.

В основе каждой системы zk-SNARK лежат три основных гарантии безопасности:

Честность (без обмана)

Достоверность гарантирует, что ложное утверждение не может служить действительным доказательством. Если кто-то пытается доказать, что «я заплатил 10 монет», хотя это не так, проверяющий должен отклонить это утверждение.

Достоверность = Мошенники не могут подделать доказательства.

Нулевое разглашение информации (отсутствие утечки информации)

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

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

Полнота (Достоверные доказательства всегда подтверждаются)

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

Полнота = Честных пользователей никогда не отклоняют..

Риски, связанные с компрометацией доверенных систем.

Многие системы zk-SNARK (например, Groth16) требуют проведения процедуры доверенной настройки, в ходе которой генерируется набор параметров, называемых CRS или SRS.

Что произойдет, если доверенная конфигурация будет скомпрометирована?

Если кто-то хранил «токсичные отходы» (секретную случайность, используемую при настройке), он мог генерировать поддельные доказательства, создавать деньги из ничего (что критически важно для криптовалют, таких как ранний Zcash) или полностью обходить проверку.

Это один из самых больших рисков на ранних этапах разработки SNARK.

Как современные системы решают эту проблему:

• Церемонии с участием нескольких сторон (много участников, но честностью должен быть только один).
• Универсальные системы (PLONK, Marlin)
• Прозрачные доказательства без необходимости предварительной настройки (STARKs, Halo2, некоторые варианты Plonk)
• Непрерывные проверки настроек и публичные церемонии (церемония KZG в Ethereum)

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

Криптографические предположения

В основе zk-SNARKs лежит ряд предположений о криптографической стойкости:

• Криптография на основе парных соединений

Многие SNARK-ы зависят от парных сопоставлений эллиптических кривых (например, BN254, BLS12-381). Если безопасность парных сопоставлений нарушается, доказательства могут быть подделаны, принцип нулевого знания может ослабить его, а проверка может быть обойдена.

• Предположение о дискретном логарифме

Безопасность эллиптических кривых зависит от сложности решения задач дискретного логарифмирования. Прорыв (квантовый или классический) может подорвать SNARK-технологии.

• Безопасность хэш-функций

В современных системах доказательства широко используются хеш-функции в обязательствах и преобразованиях Фиата-Шамира.

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

Рекомендации zk-SNARK по безопасному развертыванию

Для надежного использования zk-SNARKs в производственной среде, особенно в блокчейн-проектах или финансовых проектах, необходимо строго соблюдать правила безопасности. Ниже перечислены наиболее важные из них:

Многочисленные независимые проверки безопасности

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

Воспроизводимые сборки

Для безопасного развертывания zk-SNARK необходимо, чтобы любой мог пересобрать доказывающий или проверяющий модуль из исходного кода и получить идентичные бинарные файлы. Такая прозрачность предотвращает скрытые бэкдоры и гарантирует, что программное обеспечение будет работать именно так, как задумано.

Формальная проверка

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

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

Генерация параметров с открытым исходным кодом

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

Непрерывный мониторинг и вознаграждения за обнаружение ошибок

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

Заключение 

Технология zk-SNARKs может звучать как передовая криптография, и это действительно так, но её предназначение удивительно человечно: позволить людям доказывать что-либо, не раскрывая свою конфиденциальность. От защиты данных транзакций в Zcash до обеспечения работы быстрых и безопасных сетей второго уровня, таких как zkSync и Polygon zkEVM, zk-SNARKs превратилась в одну из самых влиятельных технологий в мире блокчейна.

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

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

Часто задаваемые вопросы (FAQ)

Что такое zk-СНАРК?

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

Как zk-SNARKs повышают конфиденциальность в криптовалюте?

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

Являются ли zk-SNARKs тем же самым, что и доказательства с нулевым разглашением?

Да, zk-SNARK — это тип доказательства с нулевым разглашением, который является лаконичным (небольшим), неинтерактивным и эффективным для использования в блокчейне.

Какие криптовалюты используют zk-SNARK?

Zcash — наиболее известный пример, но zk-SNARK также используются в решениях второго уровня, таких как zkSync, Polygon zkEVM, и в приложениях, ориентированных на конфиденциальность, например, Aleo.

Безопасны ли zk-SNARKs?

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

Можно ли использовать zk-SNARKs вне рамок криптовалют?

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