Разберём два вопроса приватности Faraday: как сеть проверяет трату, не определяя её источник, и как кошелёк распознаёт входящий платёж. Статья объясняет предлагаемые механизмы и практические последствия. Официальное объявление от 27 октября говорит, что решение ещё разрабатывается; для нынешней сети используйте инструкции выпущенных кошельков.
Что Faraday изменит в приватности платежей?
Faraday предлагает заменить нынешние кольца входов из 16 участников доказательствами трат по множеству монет Faraday. Доказательства на основе хешей защищали бы расходование, а ML-KEM поддерживал бы обнаружение платежей. У механизмов разные задачи. Цель Faraday — более широкая приватность трат и постквантовая защита в новом формате монет.
От кольца из 16 к множеству монет Faraday
Сегодня трата указывает кольцо с настоящим расходуемым выходом и 15 ложными. Подпись позволяет сети проверить разрешение, сохраняя настоящего участника скрытым. Руководство по кольцевым подписям объясняет этот действующий механизм. Его множество кандидатов — кольцо, приложенное к данному входу.
Предлагаемое доказательство Faraday подтверждало бы, что расходуемая монета находится где-то в допустимом множестве Faraday, не публикуя конкретного участника. В этом полезный смысл принадлежности полному множеству: проверяющий устанавливает принадлежность и корректность, а скрытый выбор остаётся приватным. Это не означает скачивание приватных записей всех чужих кошельков или раскрытие их балансов.
Подробное объявление указывает именно монеты Faraday, поэтому растущее множество нужно отличать от всех исторических выходов старого формата. Схема иллюстрирует это различие; её точки — условный пример, а не текущий подсчёт монет. Руководство по обновлению описывает предлагаемую миграцию существующих монет в новый формат.
Почему доказательство траты и обнаружение платежа разделены
Доказательство траты отвечает на вопрос проверки сети: соблюдает ли расходование необходимые правила? Кошелёк отправителя создаёт доказательство, ноды проверяют его. Проект предлагает доказательства на основе хешей с Plonky3, набором средств для построения систем доказательств. Он предоставляет компоненты; конкретные правила Blocknet и их реализация всё равно определяют, что принимает проверяющий.
Обнаружение платежей отвечает на вопрос кошелька: какие выходы принадлежат мне? ML-KEM — стандартизированный механизм инкапсуляции ключей для общего секрета. План Faraday отводит ему сторону получения. Это не другое название доказательства траты и не алгоритм подписи.
Различие также объясняет термин «постквантовый» в Faraday. Он описывает криптографические конструкции для противодействия атакам с квантовыми компьютерами; пользователю не нужно иметь такой компьютер. ML-KEM опирается на задачи на решётках, а объявленное доказательство траты использует хеши. Стандартизированный компонент сам по себе не сертифицирует всю реализацию криптовалюты. Разделяйте утверждения об алгоритмах, построении доказательств и полном кошельке.
Что происходит с доказательством после платежа?
Предложение различает доказательство, передаваемое по сети, и сохраняемое с блоком. Текущие ориентиры — около 1,4 MB на доказательство траты и около 1 MB на объединённое доказательство блока. Ноды передавали бы, проверяли и объединяли доказательства, удаляя отдельные после финальности. Это проектные цифры, а не измерения для этой статьи.
Объединение доказательств позволяет свести проверки воедино. Представьте несколько независимо проверенных утверждений, которые дальше представлены доказательством их проверки. Доказательство блока выполняет эту иную задачу, отличную от исходного отдельного доказательства. Компактная сохранённая запись не отменяет прежние передачу данных и вычисления: пересылка, создание доказательства, агрегация и долговременное хранение — отдельные задачи.
Что заметят пользователи кошельков?
При чтении предложения полезно разделять одобрение платежа, работу кошелька по подготовке доказательства, включение в блок и ожидание доступности полученных средств. Это разные этапы платежа. Быстрая генерация доказательства сама по себе не доказывает быстрый перевод от начала до конца.
План предлагает целевой интервал десять минут и указывает, что больший размер трат повысит комиссии; окончательные суммы ещё прорабатываются. Проверяйте предварительную комиссию в настоящем кошельке после выхода совместимых версий. Руководство по времени перевода описывает выпущенную сеть с пятиминутной целью; будущие сроки определят окончательные правила Faraday. Оценки следует рассматривать вместе с размером платежа, работой над доказательством и временем блока.
Какое руководство читать дальше?
Используйте что можно узнать о платеже для нынешних публичных полей, записей кошелька и осознанного раскрытия. Существующее руководство по Faraday посвящено активации, материалам восстановления и миграции монет.
В новом объявлении проверьте, что изменилось: допустимое множество монет, система доказательств, обнаружение платежей, размеры доказательств или поведение кошелька. Затем определите, описывается ли предложение, результат теста или выпущенная функция. Так нынешние платежи останутся согласованы с реально запущенным ПО, а вы сможете подробно следить за предлагаемым улучшением приватности.
Часто задаваемые вопросы
Означает ли приватность всей цепочки, что Faraday уже защищает все исторические выходы?
Подробное объявление описывает полное множество монет Faraday. Оно растёт по мере перехода монет в новый формат. Нынешние кольцевые транзакции нужно отличать от миграции в предлагаемый формат. Faraday ещё разрабатывается; новое устройство не активно в сегодняшней выпущенной сети.
Создаёт ли ML-KEM доказательства трат Faraday?
ML-KEM — механизм инкапсуляции ключей для установления общего секрета. Проект отводит ему обнаружение платежей. Доказательства трат выполняют отдельную роль: позволяют сети проверять расходование, защищая приватную информацию. Для неё Faraday предлагает доказательства на основе хешей, построенные с Plonky3.
Окончательны ли размеры доказательств, комиссии и сроки Faraday?
Нет. Официальное объявление представляет ещё создаваемое и тестируемое решение. Размеры доказательств и целевые сроки описывают текущий план, а окончательные комиссии ещё не определены. Настройки работы смотрите в выпуске с Faraday, сведения о миграции — в существующем руководстве по обновлению.