1ТП5ТЗк-СНАРКс
Zk-SNARKs (Краткий неинтерактивный аргумент знания с нулевым разглашением) — это криптографическая технология, разработанная криптографами Эли Бен-Сассоном, Алессандро Кьеза, Эраном Тромером и Мадарсом Вирза в Массачусетском технологическом институте (MIT). Он используется для создания безопасных и частных транзакций в сетях блокчейна. Zk-SNARK — это тип доказательства с нулевым разглашением, который позволяет двум сторонам доказать, что они обладают конкретной информацией, не раскрывая никаких подробностей о ней. Это делает их идеальными для использования в распределенных системах, где доверие между участниками невозможно или нежелательно.
По своей сути Zk-SNARKs использует алгоритм для создания цифровой подписи, называемой «доказательством», на основе определенных входных данных, таких как записи транзакций и другие фрагменты информации, без фактического раскрытия этих входных данных. Доказательство затем может быть проверено любым человеком, имеющим доступ к входным данным, но не имеющим возможности просмотреть их содержимое. Например, одна сторона может доказать, что она владеет определенными монетами в сети Биткойн, не раскрывая, какие адреса содержат эти монеты или сколько денег там хранится. Таким образом, ZK Snarks предлагает преимущества конфиденциальности, не имеющие себе равных по сравнению с традиционными методами, при этом позволяя пользователям проверять личность и подлинность друг друга только с помощью своих доказательств.
В дополнение к функциям конфиденциальности ZK Snarks также обеспечивает улучшенную масштабируемость по сравнению с традиционными технологиями блокчейна благодаря низким вычислительным затратам при проверке транзакций; это позволяет выполнять больше транзакций в секунду, чем в противном случае было бы возможно в блокчейнах, основанных исключительно на схемах шифрования с открытым ключом, таких как RSA или ECC. Кроме того, поскольку утверждения утверждений не требуют взаимодействия между проверяющим и проверяющим, кроме предоставления необходимых входных данных – даже на больших расстояниях – эта технология предлагает значительные преимущества по сравнению с интерактивными протоколами, такими как подписи Шнорра, когда несколько объектов нуждаются в проверке одновременно для принятия консенсусных решений относительно новых блоков в системы реестров, такие как Hyperledger Fabric или обновление протокола Casper для Ethereum 2.0.
Наконец, поскольку все компоненты, необходимые для генерации доказательств с использованием zk SNARKS, генерируются внутри самой системы, а не требуют внешних источников, эти протоколы были названы «недоверяющими», поскольку третьи стороны не требуют участия или доверия для процессов проверки с их участием. происходит .
В целом, zk SNARKS представляет собой важный шаг вперед на пути к созданию по-настоящему автономных децентрализованных сетей, способных безопасно обмениваться конфиденциальной информацией с высоким уровнем эффективности.
