Як Zcash використовує докази з нульовим розголошенням, щоб приховувати транзакції на видноті

Як Zcash використовує докази з нульовим розголошенням, щоб приховувати транзакції на видноті

Zcash (ZEC) щойно пробив позначку $650 і опинився на вершині трендовго списку CoinGecko. Трейдери знову переходять у монети конфіденційності, і попит на фінансову приватність очевидно зростає.

Але ось у чому річ: більшість людей, які зараз скуповують ZEC, не зможуть пояснити, як насправді працює базова технологія.

Докази з нульовим розголошенням, мабуть, є найконтрінтуїтивнішим проривом у сучасній криптографії. І Zcash став першою криптовалютою, яка масштабно застосувала їх на практиці.

Розуміння того, як вони функціонують, робить більше, ніж просто пояснює один трендовий токен. Воно розкриває логіку ZK-rollup-ів, приватного DeFi та дедалі більшої частини всього блокчейн-стека.

Коротко

  • Доказ з нульовим розголошенням дає змогу одній стороні переконати іншу, що певне твердження істинне, не розкриваючи жодних вихідних даних — це криптографічний трюк, який робить повністю приватні ончейн-транзакції математично можливими.
  • Zcash використовує конкретний тип — zk-SNARK — для роботи захищених адрес, де суми транзакцій і контрагенти приховані від публічного блокчейна, але при цьому залишаються верифікованими мережею.
  • Та сама ZK-примітивна технологія сьогодні лежить в основі Layer 2 rollup-ів Ethereum, приватних DeFi-протоколів і ончейн-систем ідентичності, роблячи її однією з найважливіших у криптоіндустрії далеко за межами самих лише монет конфіденційності.

Що таке доказ з нульовим розголошенням насправді

Доказ з нульовим розголошенням дає змогу одній людині — доводячому (prover) — переконати іншу — перевіряючого (verifier) — у тому, що вона знає певну інформацію, ніколи не розкриваючи, що саме це за інформація.

Назва свідомо парадоксальна. Ви доводите знання чогось, одночасно розкриваючи нуль відомостей про сам об’єкт знання.

Концепція походить із академічної праці 1985 року, авторства Шафі Ґолдвассер, Сільвіо Мікалі та Чарльза Реккоффа. Вони показали, що інтерактивні системи доказів можна перепроєктувати так, щоб перевіряючий не дізнавався нічого, окрім одного бінарного факту: твердження доводячого істинне.

Майже три десятиліття ZK-докази залишалися переважно теоретичним інструментом.

Потім з’явився блокчейн і дав їм практичний дім.

Доказ з нульовим розголошенням відповідає на запитання: «Чи можеш ти довести, що знаєш секрет, не розповідаючи мені сам секрет?» Математична відповідь — так.

Для наочності уявімо спрощену аналогію. Є печера з одними внутрішніми дверима, які відкриваються лише за таємним паролем. Ви стоїте на вході. Я заходжу в одну зі сторін печери. Не розкриваючи пароль, я можу довести, що знаю його, багаторазово виходячи з того боку, який ви крикнете, — адже тільки той, хто знає пароль, може вільно обирати вихід. Після достатньої кількості повторів ви статистично впевнені, що я знаю пароль. Я жодного разу не промовив його вголос.

Також читайте: Privacy Wins May As Zcash Eyes A Breakout The Bears Missed

pr-431322-1779308932506.jpg

Три властивості, яких має дотримуватись кожен ZK-доказ

Не кожен криптографічний трюк є доказом з нульовим розголошенням. В оригінальній роботі 1985 року визначено три жорсткі властивості, яким система має відповідати, щоб отримати цей ярлик. Розуміння цих властивостей пояснює, чому ZK-докази так складно будувати і чому вони такі потужні, коли працюють.

Повнота (completeness) означає, що якщо твердження істинне і доводячий діє чесно, чесний перевіряючий завжди буде переконаний. Хибних негативів немає. Той, хто має коректні знання, завжди може згенерувати валідний доказ.

Неспростовність / коректність (soundness) означає, що якщо твердження хибне, нечесний доводячий не може обдурити перевіряючого й змусити його прийняти його, окрім як з мізерно малою ймовірністю. Це гарантія безпеки. Обчислювально нереально підробити валідний доказ, не володіючи справжнім секретом.

Нульове розголошення (zero-knowledge) — третя й найяскравіша властивість. Навіть після успішного доказу перевіряючий не дізнається нічого, крім одного бінарного факту, що твердження істинне. Він не може відновити секрет, не може навіть здобути часткову інформацію про нього. Доказ розкриває мінімум, логічно необхідний, і не більше.

Разом ці три властивості створюють канал асиметричної інформації. Інформація тече лише в один бік. Перевіряючий здобуває впевненість. Доводячий не втрачає нічого.

Також читайте: Gemini 3.5 Flash Lands 2 Points Behind Claude Opus 4.7 At A Third Of The Cost

Як zk-SNARKs принесли ZK-докази в блокчейн

Початкові інтерактивні ZK-протоколи вимагали, щоб доводячий і перевіряючий обмінювалися кількома повідомленнями туди-сюди. Така модель добре працює між двома людьми за комп’ютерами. Вона не працює в блокчейні, де кожну транзакцію мають перевірити тисячі вузлів одночасно, без будь-якої взаємодії.

Прорив стався з появою zk-SNARKs, що розшифровується як Zero-Knowledge Succinct Non-Interactive Arguments of Knowledge. «Неінтерактивність» — саме те, що робить їх сумісними з блокчейном. zk-SNARK стискає весь доказ в один короткий рядок даних, який будь-який вузол може перевірити незалежно, без діалогу.

Властивість «стислість» (succinct) не менш важлива. Доказ zk-SNARK крихітний — зазвичай кілька сотень байтів — незалежно від складності вихідного обчислення. Перевірка займає мілісекунди. Поєднання малого розміру доказу й швидкої верифікації робить zk-SNARK-підхід практичним у масштабі публічного блокчейна.

zk-SNARKs вимагають одноразової «церемонії налаштування» для генерації публічних параметрів. Якщо цю церемонію буде скомпрометовано, теоретично зловмисник зможе підробляти валідні докази. Початкова церемонія Zcash «Powers of Tau» залучала 87 учасників, щоб мінімізувати цей елемент довіри.

Zcash став першою великою криптовалютою, яка розгорнула zk-SNARKs у продакшені, запустившись у жовтні 2016 року. Її криптографічна основа спиралася на дослідження команди, що включала професорів MIT, Університету Джонса Гопкінса та Тель-Авівського університету, а церемонія налаштування була спроєктована так, щоб розподілити ризик компрометації параметрів між багатьма незалежними учасниками.

Також читайте: Twenty One Capital Becomes Tether's Bitcoin Arm As SoftBank Walks Away

(Image: Shutterstock)

Захищені vs прозорі: як Zcash насправді приховує транзакції

У Zcash є два типи адрес. Прозорі адреси, що починаються з «t», поводяться так само, як адреси Bitcoin (BTC). Кожна транзакція між ними публічно видима в блокчейні, включно з відправником, одержувачем і сумою.

Захищені адреси, що починаються з «z», — це місце, де живе магія ZK. Коли ви надсилаєте ZEC із однієї захищеної адреси на іншу, транзакція записується в блокчейн, але адреса відправника, адреса одержувача та сума переказу зашифровані. Єдине, що публічний блокчейн підтверджує, — що транзакція валідна: монети не створені з повітря і не було подвійного витрачання.

Механізм, який це забезпечує, називається зобов’язанням Педерсена (Pedersen commitment). Відправник «комітить» суму транзакції за допомогою криптографічного хеша, який приховує число, але жорстко прив’язує до нього доводячого. Далі zk-SNARK доводить, що закомічені значення задовольняють закон збереження — вхід дорівнює виходу — не розкриваючи самі ці значення.

Пізніше Zcash запровадив апгрейд Sapling, який радикально зменшив обсяг пам’яті та час, потрібні для створення захищених транзакцій. До Sapling створення захищеного доказу вимагало кількох гігабайтів RAM і понад хвилину часу. Після Sapling та сама операція зайняла менше трьох секунд на звичайному смартфоні. Цей інженерний прорив був критичним, щоб зробити захищені адреси практичними для повсякденних користувачів, а не лише технічно підкованих ентузіастів.

Важна обмовка: не всі транзакції Zcash використовують захищені адреси. Історично більшість переказів ZEC відбувалася через прозорі адреси, оскільки багато бірж і гаманців за замовчуванням використовували простіший формат t-адрес. Захищений пул вимагає свідомого вибору користувачів і широкої підтримки з боку софт-провайдерів.

Також читайте: Security Experts Pour Cold Water On Claude Mythos Hacking Apocalypse

ZK-докази поза монетами приватності: rollup-и та DeFi

Той самий математичний примітив, що приховує транзакції Zcash, тепер переформатовує всю екосистему Ethereum через ZK-rollup-и. ZK-rollup — це Layer 2-рішення масштабування, яке обробляє тисячі транзакцій поза основним ланцюгом, а потім надсилає один zk-SNARK-доказ у мейннет Ethereum. Цей єдиний доказ криптографічно гарантує коректність кожної транзакції в пакеті.

Результат — різке скорочення обсягу ончейн-даних. Замість публікації кожної транзакції окремо публікується один доказ. Валідатори Ethereum перевіряють доказ, а не переобчислюють усі операції. Вартість транзакцій різко падає, а пропускна здатність зростає на порядки, при цьому зберігається безпека базового шару Ethereum.

Такі проєкти, як zkSync, StarkNet і Polygon zkEVM, уже розгорнули технологію ZK-rollup-ів у продакшені, обробляючи мільйони транзакцій щотижня. Підхід широко вважається безпечнішим, ніж optimistic rollup-и, оскільки fraud-proof-и, альтернативний механізм, вимагають вікна оскарження до семи днів. ZK-доказ є миттєвим і криптографічно фінальним.

ZK-rollup-и наслідують безпеку Ethereum, обробляючи транзакції поза основним ланцюгом. Один доказ, перевірений у мейннеті, покриває пакет із потенційно тисяч окремих операцій.

Той самий technology is also being applied to private DeFi, where users want to execute trades, loans, or yield positions without broadcasting their portfolio on a public ledger. Protocols building on ZK primitives can allow a user to prove they meet a collateral requirement without revealing their exact balance, or prove a transaction is legitimate without disclosing the counterparties.

Also Read: Viktor AI Raises $75M To Deploy A Virtual Coworker Inside Slack And Microsoft Teams

Zcash Vs Monero, Two Different Approaches To The Same Problem

Zcash не є єдиною приватною монетою, яка привертає увагу. Monero (XMR) вже багато років залишається домінуючою конфіденційною криптовалютою за рівнем adoption, і ці дві монети використовують принципово різні технічні підходи до приховування транзакцій.

Monero робить приватність налаштуванням за замовчуванням. Кожна транзакція одночасно використовує три технології. Кільцеві підписи приховують відправника, змішуючи його транзакцію з фіктивними виходами інших користувачів. Стелс-адреси створюють одноразові адреси призначення для кожної транзакції, щоб спостерігачі не могли пов’язати платежі з публічним ключем одержувача. RingCT, або Ring Confidential Transactions, приховує суму переказу за допомогою зобов’язань Педерсена — конструкції, на яку також покладається Zcash.

Zcash робить потужну приватність опційною, але математично надійнішою, коли її використовують. Повністю «shielded» транзакція Zcash вважається криптографічно вищою за модель приватності Monero багатьма дослідниками, оскільки доказ із нульовим розголошенням забезпечує прямі математичні гарантії, а не ймовірнісну анонімність, досягнуту обфускацією. Кільцеві підписи Monero створюють правдоподібне заперечення через мікшування. zk-SNARK’и Zcash створюють доказ нерозкриття.

Практичний компроміс полягає в adoption та налаштуваннях за замовчуванням. Приватність Monero є автоматичною, тому вся її транзакційна графова структура отримує вигоду від цих властивостей конфіденційності. Найсильніший рівень приватності Zcash вимагає, щоб користувачі свідомо обирали «shielded» адреси, і екосистема повільніше переходить до їх універсального використання.

Третій вимір — це регуляторне ставлення. Кілька великих бірж повністю делістнули Monero під тиском вимог комплаєнсу. Zcash зберіг ширшу підтримку бірж, частково тому, що його шар прозорих адрес дає змогу проводити аудит, коли цього вимагають регулятори.

Also Read: XRP Whale Flow Drops 50%, But Options Calls Tell A Different Story

Who Actually Needs ZK Privacy And Why It Matters Beyond Speculation

Потреба у приватності на базі ZK не обмежується користувачами, які хочуть ухилятися від урядів чи регуляторів. Реальний попит охоплює кілька легітимних категорій, які масовий ринок і інституції тільки починають усвідомлювати.

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

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

ZK-докази дозволяють бізнесу проводити транзакції на публічній інфраструктурі, не розкриваючи комерційно чутливі дані.

Додатки в охороні здоров’я та сфері ідентичності становлять другу, що швидко зростає, категорію. ZK-докази можуть підтвердити, що людині більше певного віку, що вона має конкретний атестат або пройшла комплаєнс-перевірку, не розкриваючи дату народження, деталі атестата чи точний характер перевірки. Екосистема Ethereum (ETH) формує новий ZK-рівень ідентичності саме за цим принципом.

Індивідуальна фінансова приватність лежить у ядрі первісного кіберпанк-аргументу. Публічні блокчейни за замовчуванням є інфраструктурою нагляду. Кожен баланс адреси, кожна транзакція та кожна взаємодія з протоколом є незворотно публічними. У світі, де брокери даних, біржі та аналітичні фірми будують детальні фінансові профілі на основі on-chain-даних, ZK-докази пропонують технічну противагу.

Регуляторний вимір є складним. Регулятори США ставляться до приватних монет із дедалі більшою підозрою, а FinCEN позначає міксери та протоколи конфіденційності як потенційні канали відмивання коштів. Функція вибіркового розкриття Zcash, яка дозволяє «shielded»-користувачам ділитися ключем перегляду, що розкриває деталі транзакції конкретній стороні, була спеціально розроблена для забезпечення шляху дотримання вимог для регульованих суб’єктів.

Also Read: Bitcoin Bulls Wake Up At $77,500, Yet The Macro Math Looks Brutal

Conclusion

Докази з нульовим розголошенням розв’язують одну з найстаріших дилем у криптографії: як довести, що ви щось знаєте, не розкриваючи, що саме ви знаєте. Zcash впровадив це рішення в робочому блокчейні у 2016 році. Відтоді ця технологія перетворилася на один із найважливіших примітивів в усій індустрії.

Та сама математика, яка приховує «shielded» транзакцію ZEC, тепер стискає тисячі транзакцій Ethereum rollup у єдиний верифікований доказ. Вона дає змогу створювати приватні DeFi-позиції. Вона формує основу нових систем on-chain-ідентичності.

Розуміння ZK-доказів означає розуміння того, куди рухається ширший блокчейн-стек — не лише механіки однієї трендової монети конфіденційності.

Коли Zcash очолює рейтинги, справжнє запитання звучить не як «чи варто мені це купувати». Воно звучить як «яку проблему це розв’язує і де ще застосовують це рішення?»

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

Read Next: Bitget Opens Gold Fast Or Go Home Contest To Crypto Traders

Відмова від відповідальності та попередження про ризики: Інформація, надана в цій статті, призначена лише для освітніх та інформаційних цілей і базується на думці автора. Вона не є фінансовою, інвестиційною, правовою чи податковою консультацією. Криптоактиви є надзвичайно волатильними та піддаються високому ризику, включаючи ризик втрати всіх або значної частини ваших інвестицій. Торгівля або утримання криптоактивів може не підходити для всіх інвесторів. Думки, висловлені в цій статті, належать виключно автору(ам) і не представляють офіційну політику чи позицію Yellow, її засновників або керівників. Завжди проводьте власне ретельне дослідження (D.Y.O.R.) та консультуйтесь з ліцензованим фінансовим фахівцем перед прийняттям будь-яких інвестиційних рішень.
Схожі навчальні статті
Як Zcash використовує докази з нульовим розголошенням, щоб приховувати транзакції на видноті | Yellow.com