ЗукоВілкок стверджує, що пропозиція Zcash (ZEC) підтверджується: як Ironwood блокує таємну інфляцію
2026/08/02 13:00:00
Оновлення Ironwood Zcash перетворило дискусію щодо того, чи залишається пропозиція ZEC перевіряємою після виявлення критичної вразливості у відстарілому захищеному пулу Orchard. Хоча немає відомих доказів експлуатації на мейннеті, захист приватності Orchard перешкоджає дослідникам універсально довести, що підроблені ноти ніколи не створювалися. Співзасновник Zcash ЗукоВілкок стверджує, що користувачі тепер можуть самостійно перевірити пропозицію, обліковану протоколом. Зробивши Orchard лише для виходу, відстежуючи баланси пулу та маршрутизуючи виведення через Zcash turnstile, Ironwood запобігає гіпотетичному надлишку вартості циркулювати або виходити за межі загальної економіки Zcash. Однак оновлення підсилює поточну цілісність пропозиції ZEC, не доводячи, що вразливість Orchard ніколи не була експлуатована.
Зуко Вілкокс стверджує, що пропозицію Zcash можна перевірити локально
Засновник Zcash ЗукоВілкокс стверджує, що користувачі можуть незалежно перевірити обсяг ZEC на локальному комп’ютері після оновлення мережі Ironwood, яке було активовано 28 липня 2026 року. У дописі від 29 липня на X він повідомив, що повністю синхронізована нода показала зображення ланцюга з 16 848 458 ZEC, або приблизно 80,23% фіксованої максимальної пропозиції Zcash у 21 мільйон. Ця цифра не є остаточною, оскільки майнінгові нагороди продовжують додавати нові ZEC згідно з графіком випуску протоколу.
Ironwood зробив початковий захищений пул Orchard лише для виведення, заборонивши нові депозити та звичайні перекази всередині пулу. Кошти, що залишають Orchard, повинні проходити через механізм обліку на рівні протоколу, який обмежує виведення сумою ZEC, яку можна перевірити як внесено. Запускаючи повністю синхронізовану ноду Zcash і використовуючи RPC getblockchaininfo, користувачі можуть перевірити поля chainSupply та valuePools, не покладаючись на розробників, біржі чи сторонніх Дослідників.
Ланцюгова пропозиція, повідомлена нодою, може відрізнятися від оцінок ринкової обігової пропозиції, оскільки протокольний облік може включати випущені ZEC, що знаходяться в обмежених або відкладених пулах, тоді як постачальники даних можуть виключати активи, які вважають недоступними для торгівлі. Тому цифра Вілкокса повинна розумітися як локально перевірний знімок блокчейну, а не сума ZEC, що активно обігається на ринку.
Як Ironwood і Zcash Turnstile блокують таємну інфляцію ZEC
Оновлення Zcash Ironwood вирішує конкретну слабкість, створену попереднім дизайном Orchard: фальшивий нотат теоретично міг існувати й продовжувати приватно змінювати власників у захищеному пулу, навіть якщо мережа запобігала надлишковій вартості переходити до іншого пулу. Ironwood вирішує цю проблему, поєднуючи строгі обмеження на діяльність Orchard із правилами публічного обліку Zcash turnstile. Результатом є протокольна межа, яка перешкоджає гіпотетичним фальшивим ZEC залишатися економічно активними всередині Orchard або потрапляти до ширшої економіки Zcash.
Ironwood перетворює садовий захищений пул у систему лише для виходу
До Ironwood Orchard функціонував як активний захищений пул, у якому користувачі могли отримувати кошти, здійснювати приватні платежі та переказувати вартість, не розголошуючи окремі суми чи адреси. Ця конфіденційність залежала від надійності нульових знань схеми Orchard, яка пізніше виявилася з вадою — недостатньо обмеженим елементом, що теоретично міг приймати підроблені банкноти як дійсні. Ironwood змінює роль Orchard на рівні консенсусу, а не полагоджує лише схему. Нові кошти більше не можуть потрапляти до старого пулу, нагороди за майнінг не можуть створювати вихідні дані Orchard, а звичайні перекази між адресами всередині Orchard вимкнено. Законні власники все ще можуть виводити свої кошти, включаючи транзакції, що вимагають зміни, спрямованої користувачем, але Orchard більше не може функціонувати як самостійна приватна економіка, де ZEC багаторазово обертається між різними користувачами. Нова захищена діяльність спрямовується до окремого пулу Ironwood, що дозволяє залишковому балансу Orchard поступово зменшуватися, запобігаючи одночасно надходженню додаткових коштів або новостворених ZEC до виведеного з експлуатації системи.
Як Zcash Turnstile обмежує виведення Orchard
Зcash-обертальний майданчик — це механізм обліку в ланцюжку, який відстежує загальну вартість, що входить і виходить з кожного захищеного пулу, не розкриваючи приватних транзакцій, що відбуваються всередині нього. Індивідуальні баланси, адреси та перекази Orchard залишаються прихованими, але рухи через межу пулу створюють публічно перевіряні зміни його загальної вартості.
Кожна повна нода підтримує баланс цінності ланцюга і відхиляє блок, якщо транзакція намагається вивести більше ZEC з Orchard, ніж сума, яка легітимно надійшла через зареєстровані депозити та протокольно авторизовані потоки. Турнікет не повинен визначати, які окремі ноти є легітимними чи підробленими. Натомість він забезпечує загальний ліміт на виведення для всього пулу. Якщо гіпотетичні підроблені ZEC були створені через попередню вразливість Orchard, ця надлишкова цінність не матиме відповідного депозиту у публічному обліковому записі і, отже, не зможе бути передана до Ironwood, Sapling або прозорого пулу після досягнення легітимного ліміту на виведення. Ця різниця важлива, тому що турнікет існував до Ironwood, але користувачі Orchard раніше могли продовжувати приватно передавати ноти всередині пулу. Ironwood закриває цей внутрішній шлях циркуляції, роблячи турнікет єдиним економічно значущим шляхом вперед.
Чому Ironwood не вимагає від усіх власників Orchard перейти
Захист від таємної інфляції ZEC не залежить від того, щоб кожен легітимний баланс Orchard перейшов у Ironwood. Після того як нові обмеження консенсусу набули чинності, Orchard більше не міг приймати депозити або підтримувати звичайні платежі між різними користувачами, тоді як його єдиний вихід залишався під контролем перевіреного ліміту на виведення turnstile. Будь-який ZEC, який ніколи не міг бути мігрований — незалежно від втрати приватних ключів, покинутих гаманців, тестових коштів чи невигідного пилу — залишається ізольованим у пулу, який не може розширюватися або функціонувати як активна платіжна мережа. З цієї причини міграція з Orchard у Ironwood може ніколи не досягти буквального 100%, але неповна міграція не дозволяє надлишковій вартості циркулювати. Прогрес міграції все ще може надавати корисні докази щодо ранішої вразливості: постійний потік легітимних виведень, коли turnstile не досягає свого ліміту, підсилював би висновок про те, що масштабне фальшивомонетництво, ймовірно, не відбулося. Якщо вимоги на виведення в кінцевому підсумку перевищили перевірені депозити пулу, мережа відхилила б надлишок і виявила б вимірювану неузгодженість. Цей доказ був би важливим, але він окремий від негайного захисту пропозиції, створеного, коли Orchard став лише вихідним.
Ironwood створює окрему та незалежно обліковану захищену купу
Ironwood не успадковує внутрішній стан Orchard чи історію прихованих нот. Він був створений як окремий захищений пул з власним балансом цінності ланцюга, деревом обов’язків нот, множиною нульіфікаторів та історією транзакцій, що створює чітку облікову межу між виведеним із експлуатації системою та майбутньою приватною діяльністю ZEC. Кошти, що надходять до Ironwood, повинні надходити через транзакцію, санкціоновану консенсусом, вартість якої відображається у загальному обліку публічного пулу, що запобігає тихому перенесенню неверифікованої вартості Orchard. Новий пул використовує виправлену схему на основі Orchard разом із додатковим аналізом безпеки та формальною верифікацією, спрямованими на забезпечення цілісності балансу. Цей шарований дизайн означає, що мережа Zcash не залежить виключно від припущень щодо того, чи була використана раніше помилка. Натомість Ironwood обмежує старий пул, підлягає кожен вихід накопичуваному обліку через поворотний пристрій та реєструє нову захищену вартість у окремо монітореній системі. За правилами консенсусу мережі та зазначеними криптографічними припущеннями, гіпотетичні підроблені ноти Orchard не можуть таємно стати витраченими ZEC десь інше — це є центральним механізмом, за допомогою якого Ironwood захищає цілісність пропозиції ZEC.
Що доводить Ironwood щодо бага Orchard, міграції ZEC та залишкових ризиків
Ironwood забезпечує перспективну гарантію цілісності пропозиції Zcash, але не відновлює назад кожну приватну транзакцію Orchard і не встановлює з впевненістю, що раніша вразливість ніколи не була використана. Розуміння цієї різниці є обов’язковим при оцінці вразливості Orchard, мети міграції ZEC та захистів безпеки, введених завдяки формальній верифікації. Найточніший висновок полягає в тому, що Ironwood запобігає будь-якому гіпотетичному надлишку Orchard-значення залишатися частиною робочої економіки Zcash, тоді як історичне питання про те, чи були створені підроблені ноти до усунення проблеми, залишається невирішеним.
Чи було коли-небудь використано баг Zcash Orchard?
Наразі немає відомих доказів того, що вразливість Orchard була використана на мейннеті Zcash, і організації, що брали участь у розслідуванні, заявили, що попереднє використання виглядає малоймовірним. Дослідник безпеки Тейлор Хорнбі продемонстрував, що вразливість є реальною, створивши працюючий експлойт у локальному середовищі regtest, але успішний тест не підтверджує, що інша сторона виявила або використала той самий метод проти живої мережі. Розробники не зафіксували підтверджених випадків несанкціонованого створення вартості, втрат користувачів або порушення конфіденційності, пов’язаних із цією вразливістю. Спостережувана активність Orchard також не показала агресивних виведень, які зазвичай супроводжують криптовалютні експлойти, коли нападники намагаються перетворити фальшиві активи на рідкісну вартість до усунення вразливості. Ці спостереження підтверджують оцінку, що експлуатація, ймовірно, не відбулася, але вони залишаються обставинними доказами, а не криптографічними доказами. Оскільки Orchard приховувала суми транзакцій, відправників, отримувачів та зв’язки між приватними нотами, дослідники не можуть відтворити її повну внутрішню економічну історію і не можуть однозначно визначити, чи створив нападник фальшиві ноти, які ніколи не були зняті або публічно монетизовані.
Що фактично доводить формальна верифікація Ironwood
Проект Tachyon опублікував машинно-перевірене формальне підтвердження цілісності балансів Ironwood 28 липня 2026 року. Робота містить понад 2 700 теорем Lean і вимагала роботи трьох команд дослідників і криптографів протягом більше ніж місяця. Вона досліджує, чи система доведення та правила реєстру Ironwood забезпечують умови, необхідні для запобігання непомітному підробленню. Це включає підтвердження того, що дійсні витрати відповідають раніше створеним нотам, значення залишаються в дозволеному діапазоні, нульіфікатори запобігають багаторазовому витрачанню однієї й тієї ж ноти, а приховані вхідні та вихідні дані залишаються збалансованими щодо публічно оголошеної величини, що входить або виходить із пулу. Перевірка також аналізує знаннєву звучність системи доказу із нульовим розголошенням Ironwood, пов’язуючи прийняті доведення з дійсними базовими свідками за вказаними криптографічними припущеннями. Це значно сильніше, ніж звичайний огляд програмного забезпечення, оскільки властивості безпеки виражені математично і перевірені допомогою асистента доведень, а не залежать лише від людського огляду чи обмеженого набору тестових випадків.
Формальну верифікацію слід описувати відповідно до її реального діапазону. Завершена робота зосереджена на цілісності балансів та стійкості до підробки, а не на всіх можливих властивостях мережі Zcash. Вона не доводить гарантій приватності Ironwood, не виключає операційних помилок у гаманцях і не підтверджує, що всі майбутні програми будуть вільні від помилок реалізації. Доведення також ґрунтується на прийнятих криптографічних припущеннях, що стосуються дискретного логарифму, моделювання випадкового оракула та непідроблюваності підписів. Проект Tachyon стверджує, що відхилення в реалізації від формально проаналізованого верифікатора залишатимуть публічно відтворювані докази, оскільки прийняті доведення записуються у блокчейн, але це не означає, що всі ризики безпеки зникли. Функцію ZIP 2005 Ironwood також слід описувати обережно: вона створює записи нот, які можна відновити після квантового нападу, щоб підтримувати майбутнє відновлення коштів у разі ослаблення поточної криптографії, але це не робить Zcash повністю стійким до квантових обчислень сьогодні.
Що може розкрити міграція з Orchard у Ironwood
Діяльність з міграції може надати додаткові докази щодо того, чи була використана вразливість Orchard, хоча вона не може надати ідеально точну історичну відповідь. Приблизно 176 000 ZEC, що тоді коштували близько 81 мільйона доларів США, увійшли до Ironwood у перший день, що становить приблизно 5% балансу Orchard на момент активації. Продовження виведень легітимними власниками зменшує суму, що залишилася в Orchard, і перевіряє, чи можуть бути оброблені признані вимоги без конфлікту в обліку. Якщо значні баланси успішно переміщуються протягом часу і жодна спроба не перевищує дозволену капацитет виведення з пулу, впевненість у тому, що масштабне підроблення не відбулося, повинна зростати. Навпаки, якщо дійсно виглядаючі вимоги на виведення врешті-решт перевищать суму, доступну за обліковим лімітом Orchard, відхилені надлишки нададуть публічно спостережувані докази того, що існувало більше приватних вимог, ніж можна було б підтримати за рахунок легітимних депозитів.
Процес міграції не може однозначно підтвердити, що кожен нотат Orchard був легітимним, оскільки деякі баланси, ймовірно, ніколи не будуть переміщені. Приватні ключі можуть бути втрачені, гаманці — залишені, а дуже невеликі баланси можуть залишитися невигідними для переказу. Гіпотетичний нападник також може залишити підроблені нотати незатронутими, щоб уникнути ризику виявлення невідповідності. Тому дані міграції слід розглядати як розвиваючийся джерело доказів, а не як зворотний відлік до одного моменту, коли історична невизначеність зникне. Статті слід уникати тверджень, що спільнота Zcash отримає остаточний висновок, коли міграція досягне 100%, оскільки повна міграція може ніколи не відбутися. Більш обґрунтованою інтерпретацією є те, що порядна міграція може зменшити практичну невизначеність і підсилити впевненість у легітимних балансах Orchard, не переписуючи історію приватних транзакцій пулу.
Залишкові ризики для власників Orchard та користувачів гаманця
Найсерйознішим залишаючимся теоретичним ризиком є можливість відновлення легітимних балансів Orchard у випадку, якщо підробка відбулася до усунення вразливості. Shielded Labs вважає цей сценарій малоймовірним, але якщо підроблені кошти існували і були зняті раніше, ніж легітимні користувачі, пізніші власники можуть зрештою зіткнутися з лімітом виведення з пулу. Протокол не може розрізнити підроблений нотатив від легітимного на основі історії власності, коли обидва були прийняті за допомогою колишньої вразливої схеми; він може лише забезпечувати загальну суму, дозволену для виведення. Наразі немає жодних доказів, що власники Orchard стикаються з цим результатом, а ранній перехід не виявив нестачі в обліку. Проте опис цього хвостового ризику необхідний, оскільки «відсутність доказів експлуатації» і «доказ того, що експлуатація ніколи не відбувалася» — це суттєво різні висновки.
Користувачі також стикаються з практичними ризиками міграції, пов’язаними з сумісністю гаманців, доступністю сервісів та конфіденційністю. Гаманець повинен підтримувати правила мережі Ironwood та процес міграції з Orchard у Ironwood, перш ніж кошти можна буде безпечно перемістити. Біржі, кастодіани та провайдери гаманців можуть тимчасово призупинити депозити або виведення ZEC під час оновлення своєї інфраструктури, що може зробити баланс тимчасово недоступним, не вказуючи на втрату коштів. Міграція також виявляє суму та час переказу вартості між пуools, хоча активність захищених транзакцій всередині кожного пулу залишається приватною. Віддалений сервіс гаманця може додатково пов’язати запит на міграцію з IP-адресою користувача, що створює ризик порушення конфіденційності на рівні мережі. Користувачам слід перевірити офіційну підтримку гаманців, захистити інформацію для відновлення, зберегти безпечні резервні копії та розглянути інструменти мережі, що зберігають конфіденційність, такі як Tor або Nym, де вони підтримуються. Ironwood значно посилює цілісність пропозиції ZEC, але безпечна міграція все ще залежить від надійного програмного забезпечення гаманця, обережної поведінки користувача та прозорої підтримки з боку ширшої екосистеми Zcash.
Висновок
Заява Зуко Вілкса про те, що пропозиція Zcash вже підтверджувана, відображає найважливіший результат оновлення Ironwood: користувачі більше не повинні повністю покладатися на гарантії розробників чи чекати, поки всі баланси Orchard будуть мігровані, щоб оцінити надійність доступної пропозиції ZEC. Ironwood створює чистий захищений пул, ізольовує невизначеність, пов’язану з Orchard, і застосовує консенсусні правила, які запобігають тому, щоб гіпотетична надлишкова вартість продовжувала функціонувати як обігова ZEC. Його формально підтвердженні властивості цілісності балансу надають додаткову впевненість у тому, що новий пул розроблений так, щоб запобігти типу невиявленої вразливості до підробки, виявленої в Orchard.
Точний висновок полягає не в тому, що Ironwood доводить, що баг Orchard ніколи не використовувався. Історичне використання залишається невідомим, хоча наразі немає доказів того, що підроблені ZEC були створені на мейннеті. Те, що доводить Ironwood, — це те, що будь-яка гіпотетична надлишкова вартість Orchard не може продовжувати таємно циркулювати або вільно переміщуватися в іншу частину екосистеми Zcash. Дані щодо міграції можуть поступово підсилювати впевненість у легітимних балансах, але сумісність гаманців, витік приватності та теоретичний ризик відновлення для пізнього зняття з Orchard все ще вимагають уваги. Для власників ZEC це оновлення є значним покращенням перевіряемості пропозиції, а також демонструє, чому точна мова, незалежна перевірка та обережні практики безпеки залишаються важливими в криптовалютних системах, орієнтованих на приватність.
|
KuCoin святкує своє 9-річчя спеціальною кампанією на платформі з ексклюзивними нагородами, торгівельними заходами та пропозиціями обмеженого часу. Не пропустіть можливість взяти участь і скористатися перевагами, коли біржа відзначає дев’ять років росту та інновацій. Відвідайте офіційну сторінку кампанії зараз:
|
Часто задавані запитання
Чи є Ironwood новим токеном Zcash або окремою криптовалютою?
Ні. Ironwood — це новий захищений пул вартості, введений через оновлення мережі Zcash NU6.3, а не окрема криптовалюта, блокчейн або токен-замінник. ZEC залишається нативним активом мережі Zcash, а його тікер, грошова політика та правила власності не змінилися. Власникам не потрібно обмінювати ZEC на «токен Ironwood», вимагати ейрдроп або надсилати кошти до контракту токена. Будь-який веб-сайт або обліковий запис у соціальних мережах, що пропонують спеціальний конверсійний токен Ironwood, слід розглядати з обережністю, оскільки легітимна міграція відбувається через сумісне програмне забезпечення гаманця Zcash.
Яким власникам ZEC потрібно пройти міграцію з Orchard на Ironwood?
Міграція стосується переважно користувачів, які мають ZEC у відстарілому захищеному пули Orchard. ZEC, що знаходиться у прозорому пулі, Sapling, на кастодіальній платформі або у гаманці, який вже використовує Ironwood, не потребує такої ж міграційної процедури Orchard. Користувачі з самостійним контролем повинні перевірити розподіл балансу на рівні пулу у своєму гаманці перед виконанням дій, оскільки один гаманець може містити кошти у кількох пулах значень Zcash. Кошти Orchard залишаються прив’язаними до їхніх законних власників, але оновлений гаманець повинен підтримувати транзакцію міграції, перш ніж ці кошти можна буде перемістити до Ironwood.
Чи повинні користувачі кастодіального платформи вручну мігрувати ZEC?
Користувачі, які тримають ZEC через централизовану торгову платформу або кастодіана, зазвичай не виконують технічне перенесення з Orchard у Ironwood самостійно, оскільки сервіс керує базовою інфраструктурою гаманця. Постачальник відповідає за оновлення своїх нод, програмного забезпечення гаманця та систем депозитів чи виведення коштів. Однак користувачам слід перевірити поточний статус мережі Zcash на платформі перед переказом коштів, оскільки депозити та виведення можуть тимчасово призупинятися під час оновлення інфраструктури. Призупинення сервісу не означає автоматично втрату коштів, але користувачам слід зачекати офіційного підтвердження підтримки транзакцій Ironwood перед початком виведення.
Чи існує термін для виведення ZEC з Orchard?
Дизайн Ironwood не встановлює універсального терміну, який автоматично конфіскує або скасовує легітимні баланси Orchard. Міграція є добровільною і може тривати протягом довгого періоду, оскільки провайдери гаманців, кустодіанти та окремі власники будуть переміщатися з різною швидкістю. Деякі кошти можуть залишитися навічно, оскільки їхні приватні ключі було втрачено, а баланси занадто малі, щоб переказувати їх економічно. Однак Orchard більше не є поточним призначенням для звичайної захищеної діяльності, тому власники, які хочуть використовувати свої кошти, повинні в кінцевому підсумку мігрувати через підтримуване програмне забезпечення гаманця, а не припускати, що кожен старий гаманець залишатиметься працездатним назавжди.
Як користувачі можуть перевірити, чи підтримує гаманець Zcash Ironwood?
Користувачі повинні перевірити офіційні примітки до випуску або документацію підтримки розробника гаманця на наявність явних посилань на NU6.3, Ironwood або підтримку міграції ZIP 318 Orchard. Гаманець слід завантажити або оновити лише через його перевірений веб-сайт, офіційний список у магазині додатків або автентифікований програмний репозиторій. Сумісна версія може відображати окремі баланси Orchard та Ironwood або надавати вбудовану опцію міграції. Перед переміщенням ZEC користувачі повинні переконатися, що їхній фраза відновлення або резервна копія гаманця безпечна, і, якщо це можливо, протестувати процес з меншою сумою. Існуючі адреси Zcash можуть залишатися придатними для використання, але правильне маршрутизування до Ironwood залежить від оновленої реалізації гаманця.
Чи змінює Ironwood прозорі чи Sapling баланси ZEC?
Ні. Прозорі, Sapling, Orchard та Ironwood — це окремі пули вартості всередині одного блокчейну Zcash, і оновлення Ironwood не конвертує автоматично і не робить недійсними ZEC, що знаходяться в інших пулах. Прозорі баланси продовжують функціонувати з публічно видимими деталями транзакцій, тоді як Sapling залишається старішим захищеним варіантом. Однак підтримка гаманця та сервісу може відрізнятися між пулами, тому користувачам слід перевірити, які типи транзакцій підтримує обране ними програмне забезпечення. Переміщення ZEC з одного пула в інший є транзакцією в ланцюгу, а не зміною базового активу.
Відмова від відповідальності: Ця стаття має лише інформаційний характер і не є фінансовою чи інвестиційною порадою. Ціни на криптовалюти дуже волатильні, тому читачам слід перевірити актуальні дані та провести незалежне дослідження перед прийняттям фінансових рішень.
Відмова від відповідальності: Для вашої зручності цю сторінку було перекладено за допомогою технології ШІ. Для отримання найточнішої інформації дивіться оригінальну англійську версію.