Polygon CTO против Zcash: Конфликт вспыхивает из-за целостности 21M монет

! Достоверный редакционный контент, проверенный ведущими отраслевыми экспертами и опытными редакторами. Раскрытие рекламы Обмен мнениями на X между техническим директором Polygon Мудитом Гуптой и основателем Zcash Зуко Уилкоксом вновь разжег давний спор о том, могут ли защищенные пулы, сохраняющие конфиденциальность, быть идеально проверяемыми — и, следовательно, можно ли доверять 21 миллиону ZEC при всех возможных режимах отказа. Спор основывался на знакомой линии разлома в дизайне конфиденциальных монет: протоколы нулевых знаний могут скрывать индивидуальные балансы и потоки, но они все равно должны сохранять жесткую денежную базу.

Главный технический директор Polygon атакует Zcash

Гупта начал с резкой формулировки: “Никто не знает, сколько токенов Zcash на самом деле существует. Защищенные активы, такие как Zcash, трудно аудитировать. В марте 2019 года была обнаружена ошибка бесконечного чеканки в защищенных активах Zcash. Она была исправлена в октябре 2019 года, но нет гарантированного способа узнать, была ли когда-либо использована эта ошибка.”

Позже он смягчил немедленную оценку риска — “Согласно эвристике, маловероятно, что уязвимость была использована, так что нет причин для паники” — подчеркивая то, что он назвал постоянным категориальным риском: “Я просто подчеркиваю вектор атаки с Zcash и аналогичными пулами конфиденциальности… Я не утверждаю, что какая-либо уязвимость была использована, просто упоминаю возможность и риск.”

Связанное чтение: Zcash — это «лучший биткойн», который не смог создать Сатоши, говорит генеральный директор Helius Labs. Уилкокс выступил против, назвав первоначальный пост «неаккуратным» и указал Гупте на «публично проверяемые аудиты в блокчейне», которые отслеживают денежную базу. «Они показывают целостность денежной базы Zcash. Прямой теоретический анализ игры дополнительно показывает нулевое мошенничество», — написал он, ссылаясь на панели мониторинга сообщества и документацию.

В продолжение Вилкокс обобщил позицию ZEC с помощью мысленного эксперимента о наследственном пуле Sprout: «Предположим, кто-то подделал ZEC в пуле Sprout до 28 октября 2018 года. Тогда происходит «гонка к выходу» между подделывателем и его жертвами. Тот, кто первым выведет свои ZEC из пула Sprout, получит все деньги. Вывод: подделки не было.» Он добавил, что «даже если бы подделки имели место… всё равно существовало бы только 16,355,911 ZEC, и только 21 M когда-либо. Спасибо, турникеты!»

Сведя все к основам, техническое разногласие касается не столько предполагаемой денежной политики Zcash, сколько гарантий в крайних случаях, когда конфиденциальность сталкивается с аудируемостью. Опубликованная экономика Zcash отражает экономику Bitcoin: фиксированный верхний предел в 21 миллион и график эмиссии в стиле халвинга. Этот предел однозначен в официальных материалах.

Предыстория

Контроверсия восходит к уязвимости подделки, затрагивающей самый ранний защищенный пул ZEC, Sprout. Согласно Electric Coin Company (ECC) и фонду Zcash, ошибка была обнаружена в частном порядке в 2018 году и публично раскрыта 5 февраля 2019 года; критически важно, что обновление Sapling, активированное 28 октября 2018 года, устранило уязвимую конструкцию, и Zcash представил учетность “ворот”, чтобы ограничить выходы из защищенных пулов до, в большинстве случаев, суммы, которая была проверяемо внесена.

Связанные материалы: Почему Zcash превосходит Monero и даже Bitcoin: Исследователь MIT сообщил, что не было обнаружено “никаких доказательств того, что произошло подделывание”, эту позицию он повторил, и описал применение турникетного контроля как защиту для сохранения денежной базы даже в условиях гипотетического подделывания.

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

Интуиция «гонка к выходам» — хотя и неформальная — передает идею о том, что любой атакующий, который создал поддельные ZEC внутри Sprout, будет соревноваться с законными держателями за возможность вывести средства до того, как ограничение на проход сработает; при отсутствии необъяснимого обесценивания до нуля или отрицательной сверки, долгосрочное подделывание несовместимо с наблюдаемыми общими суммами в пуле. Документация Zcash описывает эти поворотные устройства пула и их роль в мониторинге целостности пула, а обсуждения в сообществе, идущие на протяжении многих лет, рассматривали их как каноническое средство снижения рисков.

Ответ Гупты касается эпистемической уверенности, а не намерений политики. “Возможно, мне следовало быть яснее,” написал он. “Из-за [the] возможности ошибок, нет гарантии, что в защищенных пулах находится столько же Zcash, сколько прозрачного Zcash, который был внесен. Поэтому вы не можете быть на 100% уверены в фактическом общем предложении… [though] вероятность того, что такая ошибка будет использована, по сути равна 0.”

На момент публикации ZEC торговался по цене 325 долларов.

ZEC колеблется ниже максимума 2021 года, недельный график | Источник: ZECUSDT на TradingView.comИзображение, созданное с помощью DALL.E, график от TradingView.com ! Редакционный процесс для bitcoinist сосредоточен на предоставлении тщательно исследованного, точного и беспристрастного контента. Мы придерживаемся строгих стандартов источников, и каждая страница проходит тщательную проверку нашей командой ведущих экспертов в области технологий и опытных редакторов. Этот процесс обеспечивает целостность, актуальность и ценность нашего контента для наших читателей.