Основатель Zcash Зуко Уилкокс заявляет, что предлагаемое обновление Ironwood позволит пользователям с самого первого блока активации получать независимое, не требующее доверия подтверждение того, что находящаяся в обращении эмиссия ZEC (циркулирующее предложение) является корректной. Его комментарии касаются центральной проблемы в сообществе Zcash, возникшей после раскрытия недавно устраненной уязвимости в протоколе Orchard: могут ли пользователи верифицировать эмиссию, не полагаясь на разработчиков, аудиторов или допущения, сделанные постфактум.
В публикации на X и последующем обсуждении на форуме сообщества Zcash Уилкокс утверждал, что основная цель Ironwood — не доказать, происходила ли когда-либо подделка монет внутри Orchard. Вместо этого он представил обновление как способ сделать текущую циркулирующую эмиссию независимо проверяемой любым пользователем, запускающим полную ноду.
«Когда Zcash Ironwood активируется, вы сразу же, в День 1 работы Ironwood, получите от своей полной ноды независимую, не требующую доверия верификацию того, что фактическое предложение Zcash является корректным», — написал Уилкокс, имея в виду «16 млн ZEC сейчас, 21 млн ZEC в конечном итоге».
Zcash Ironwood позволит проводить независимые проверки эмиссии
Это различие важно, потому что пул Orchard является приватным. Это свойство конфиденциальности является центральным в дизайне Zcash, но оно также усложняет вопрос о том, могла ли прошлая уязвимость, связанная с корректностью расчетов, быть использована без оставления публичного следа, который был бы виден в прозрачном реестре. Ответ Уилкокса заключается в разделении двух вопросов, которые стали смешиваться в дискуссии: были ли когда-либо созданы фальшивые монеты, и может ли текущее предложение быть верифицировано как корректное после Ironwood.
«Это, судя по всему, крайне сбивает с толку почти всех, потому что они путают две разные вещи: Фальшивые монеты не были созданы. Текущее предложение является корректным», — написал Уилкокс. «Это разные вещи! Я расставляю приоритеты на второй».
Согласно предложению Ironwood, старый пул Orchard, по сути, будет лишен возможности продолжать функционировать как активная площадка для внутреннего обращения. Транзакции, создающие новые выходы в старом пуле Orchard, будут отклоняться, что означает, что средства больше не смогут продолжать перемещаться приватно внутри этого пула после активации. Вместо этого средства должны будут пройти через механизм учета Zcash, подобный турникету (turnstile), прежде чем попасть в новый пул Ironwood.
Этот «турникет» является ключевым для аргументации. Он отслеживает, сколько ZEC легитимно вошло и вышло из пула, и блокирует попытки вывести больше, чем вошло. По словам Уилкокса, это означает, что пользователям не нужно ждать миграции каждого пользователя Orchard, ни полагаться на теоретико-игровые допущения о том, как мог бы вести себя гипотетический злоумышленник.
«И то, что я сказал выше — что вы сразу же получите эту независимую, локальную верификацию корректности предложения Zcash — верно независимо от того, есть ли фальшивые монеты в пуле Orchard или нет», — написал он. «Как это возможно!? Потому что Ironwood, в День 1, в первом же блоке, который активирует Ironwood, аннулирует любой избыток ZEC в пуле Orchard».
Уилкокс указал соответствующий порог как количество, «легитимно являющееся частью предложения ZEC в пуле Orchard», которое он оценил в 4,5 миллиона ZEC. Любой избыток ZEC сверх этого не сможет оставаться экономически полезным по новым правилам, потому что он не сможет продолжать циркулировать в старом пуле Orchard или выйти в другой пул за пределы лимита «турникета».
«Он аннулирует любой избыток ZEC немедленно, независимо и глобально», — добавил он. «Он аннулирует любой избыток ZEC независимо от того, есть ли он на самом деле. Если его нет, то все, что делает Ironwood, — это дает вам возможность доказать самому себе, что его нет».
Уилкокс сказал, что лично верит в отсутствие поддельного ZEC, сославшись на причины, которые, по его словам, он приводил ранее. Но он подчеркнул, что Ironwood разработан для того, чтобы устранить необходимость доверять его оценке или суждению любого другого человека. В своем сообщении на форуме он описал два возможных мира: один, в котором внутри Orchard до закрытия уязвимости было создано неограниченное количество поддельного ZEC, и другой, в котором этого не было. В обоих случаях, по его утверждению, Ironwood должен позволить пользователям верифицировать уже в День 1, что в настоящее время в обращении находится не более 16 миллионов ZEC.
Предложение также может со временем предоставить доказательства того, эксплуатировался ли Orchard когда-либо. Если никакой избыток ZEC не попытается покинуть старый пул по мере миграции пользователей, это поддержит точку зрения о том, что подделки не происходило. Если же избыток ZEC попытается выйти, «турникет» должен отклонить это, сохранив циркулирующее предложение, но при этом раскрыв факт подделки.
На момент публикации ZEC торговался на уровне $
