Доверенная настройка

Что такое доверенная настройка?

Доверенная настройка — это криптографический процесс, используемый для создания публичных параметров для некоторых систем доказательств с нулевым разглашением, схем полиномиальных обязательств и блокчейн-протоколов, ориентированных на конфиденциальность.

В криптоиндустрии доверенная настройка чаще всего обсуждается в связи с zk-SNARK, обязательствами KZG, приватными монетами, роллапами и масштабируемыми системами блокчейн-данных.

Настройка создает общую референсную строку, также называемую CRS, структурированной референсной строкой или SRS, которую доказатели и верификаторы позднее используют для создания и проверки доказательств.

Слово «доверенная» не означает, что пользователи должны слепо доверять одной компании или одному разработчику.

Оно означает, что безопасность системы зависит от того, что хотя бы один участник настройки честно генерирует секретную случайность, а затем навсегда уничтожает ее.

Если каждый участник нечестен или скомпрометирован, настройка может стать небезопасной.

Если хотя бы один участник вносит настоящую случайность и корректно удаляет ее, итоговые публичные параметры могут оставаться безопасными.

В документации Ethereum по доказательствам с нулевым разглашением объясняется, что генерация публичных параметров чувствительна: если энтропия, использованная для создания CRS, попадет к нечестному доказателю, он может получить возможность вычислять ложные доказательства.

Для криптопользователей доверенная настройка важна, поскольку это одно из скрытых допущений о доверии, лежащих в основе некоторых передовых криптографических систем.

Протокол может быть децентрализован на уровне транзакций, но при этом полагаться на церемонию настройки, которую необходимо провести корректно.

Почему доверенная настройка важна в криптоиндустрии

Доверенная настройка важна, поскольку многие блокчейн-системы используют криптографические доказательства, чтобы сделать транзакции конфиденциальными, масштабируемыми или более дешевыми для проверки.

Доказательства с нулевым разглашением могут позволить пользователю доказать истинность утверждения, не раскрывая скрытые за ним частные данные.

Это полезно для приватных платежей, доказательств идентификации, доказательств валидности роллапов, систем с сохранением требований комплаенса и систем подтверждения резервов.

Некоторые из наиболее эффективных систем доказательств требуют параметры настройки до начала их использования.

Если такие параметры сгенерированы безопасно, система может создавать небольшие и быстрые доказательства.

Если параметры созданы небезопасно, атакующие могут получить возможность создавать поддельные доказательства, выглядящие действительными.

Это может угрожать корректности протокола.

Корректность означает, что ложное утверждение не должно приниматься верификатором как истинное.

В криптовалюте нарушение корректности может быть крайне серьезным, поскольку способно позволить скрытую инфляцию, недействительные выводы, поддельное создание активов или мошеннические переходы состояния.

Именно поэтому доверенная настройка — не просто техническая деталь.

Это допущение безопасности, которое пользователи, разработчики, аудиторы и инвесторы должны понимать, прежде чем полагаться на криптографический протокол.

Как работает доверенная настройка

Доверенная настройка обычно начинается с того, что команда протокола определяет криптографическую систему, которой нужны публичные параметры.

Затем команда организует церемонию, в которой участники вносят случайность.

Каждый участник получает входные данные от предыдущего этапа, добавляет собственную секретную случайность, создает новый результат и публикует свидетельства корректного выполнения этапа.

После этого участник должен уничтожить использованную секретную случайность.

Эту секретную случайность иногда называют токсичными отходами.

Итоговый публичный результат становится CRS или SRS, используемой системой доказательств.

Процесс обычно проектируется так, чтобы не требовать полного доверия к одному участнику.

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

Многие церемонии также публикуют расшифровки, инструменты верификации, подписи и записи о вкладах, чтобы общественность могла проверить соблюдение правил.

Эта прозрачность важна, поскольку доверенная настройка касается не только криптографии.

Она также касается общественного доверия к способу создания криптографических материалов.

Что такое токсичные отходы?

Токсичные отходы — это секретная информация, генерируемая во время церемонии доверенной настройки, которая никогда не должна быть раскрыта или повторно использована.

Название звучит драматично, поскольку этот секрет может быть опасным, если он сохранится.

Если атакующий получит токсичные отходы, он может получить возможность подделывать доказательства, имитировать валидность или нарушить безопасность системы, зависящей от настройки.

В системе zk-SNARK токсичные отходы могут позволить нечестному доказателю создавать доказательства для утверждений, которые в действительности не являются истинными.

Для криптовалюты, опирающейся на такие доказательства, это может стать значительным риском.

В некоторых исторических системах конфиденциальности главным опасением было то, что токсичные отходы могут позволить незаметно создавать монеты или недействительные экранированные транзакции.

Именно поэтому участники настройки часто используют строгие меры операционной безопасности.

Они могут использовать изолированные от сети компьютеры, live-операционные системы, энтропию из физических источников, уничтожение оборудования или публичные подтверждения.

Конкретный процесс зависит от дизайна церемонии.

Основной принцип прост: публичные параметры должны сохраниться, а приватные секреты настройки должны навсегда исчезнуть.

Что такое церемония многосторонних вычислений?

Церемония многосторонних вычислений, или MPC-церемония, — это метод доверенной настройки с участием многих независимых участников.

Вместо доверия одному человеку, который должен честно сгенерировать параметры, система позволяет многим людям вносить случайность.

Каждый участник добавляет энтропию в настройку.

Если хотя бы один участник честен и уничтожает свой секрет, итоговая настройка может оставаться безопасной.

Это иногда называют допущением «одного честного участника».

MPC-церемонии стали популярны, поскольку снижают зависимость от единой доверенной стороны.

Они также делают процесс более публичным и ориентированным на сообщество.

В крупной церемонии могут участвовать разработчики, исследователи, валидаторы, пользователи, аудиторы и члены сообщества.

Однако большее число участников не означает автоматически идеальную безопасность.

Для церемонии все еще необходимы корректное программное обеспечение, ясная верификация, качественная случайность, надежная публикация расшифровок и тщательная защита от вредоносных вкладов.

Хорошая MPC-церемония является как криптографически надежной, так и операционно прозрачной.

Доверенная настройка и zk-SNARK

zk-SNARK расшифровывается как краткий неинтерактивный аргумент знания с нулевым разглашением.

zk-SNARK популярны в криптоиндустрии, поскольку могут создавать компактные доказательства, которые быстро проверяются.

Это делает их полезными для систем конфиденциальности и масштабируемости.

Некоторые конструкции zk-SNARK требуют доверенной настройки.

Настройка генерирует публичные параметры, которые позднее используют доказатели и верификаторы.

Если настройка безопасна, система доказательств может обеспечивать надежные гарантии конфиденциальности и валидности.

Если настройка скомпрометирована, система доказательств может принимать поддельные доказательства.

Именно этот риск сделал церемонии доверенной настройки одной из наиболее обсуждаемых тем в ранних криптосистемах с нулевым разглашением.

Современная криптография предложила альтернативы, которые сокращают или устраняют требования к доверенной настройке.

Однако zk-SNARK на основе доверенной настройки остаются важными, поскольку могут быть эффективными, компактными и практичными для блокчейн-верификации.

Компромисс заключается в эффективности и допущениях о доверии.

Доверенная настройка и обязательства KZG

Обязательства KZG — это схема полиномиальных обязательств, используемая в системе blob-транзакций Ethereum и других криптографических приложениях.

KZG названо в честь Kate, Zaverucha и Goldberg — авторов схемы обязательств.

Обязательство KZG позволяет протоколу зафиксировать полином и позднее эффективно доказывать утверждения об этом полиноме.

В Ethereum обязательства KZG используются в системе blob, представленной EIP-4844, также называемой proto-danksharding.

В официальной документации Ethereum по danksharding объясняется, что proto-danksharding позволяет роллапам добавлять в блоки Ethereum более дешевые данные через blob.

В той же документации объясняется, что церемония KZG сгенерировала случайные значения, используемые для проверки обязательств данных blob.

Обязательства KZG требуют доверенной настройки, поскольку структурированная референсная строка содержит секретные степени случайного значения, которые не должны быть известны.

Если бы секрет настройки был известен, вредоносный участник потенциально мог бы создавать вводящие в заблуждение обязательства или доказательства.

Именно поэтому Ethereum организовал крупную публичную KZG-церемонию перед использованием обязательств KZG в рабочей среде.

KZG-церемония Ethereum

KZG-церемония Ethereum была крупной публичной церемонией доверенной настройки, созданной для обязательств KZG, используемых proto-danksharding.

Официальная страница KZG Summoning Ceremony Ethereum описывает церемонию как процесс генерации структурированной референсной строки, необходимой для обязательств KZG.

Ethereum.org указывает, что KZG-церемония получила более 140 000 вкладов, став крупнейшей в мире церемонией такого рода.

В итоговом материале Ethereum Foundation о KZG Ceremony были опубликованы хеш финальной расшифровки и описание ее итогового результата.

Это важно, поскольку система blob Ethereum зависит от обязательств KZG для эффективной проверки данных.

Proto-danksharding был запущен в основной сети Ethereum с обновлением Cancun-Deneb, или Dencun, в марте 2024 года.

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

Для пользователей церемония в основном незаметна.

Для безопасности протокола она является ключевой частью модели доверия системы blob-обязательств Ethereum.

Zcash и Powers of Tau

Zcash помог сделать церемонии доверенной настройки широко известными в криптоиндустрии.

Ранняя технология конфиденциальности Zcash опиралась на zk-SNARK, требовавшие параметры настройки.

Позднее экосистема Zcash использовала более крупную церемонию Powers of Tau для создания повторно используемых публичных параметров для проектов zk-SNARK.

В объявлении Zcash Foundation о Powers of Tau указывалось, что церемония была призвана создать частичные публичные параметры, которые могли использовать проекты на основе zk-SNARK.

В том же объявлении объяснялось, что корректность доказательств с использованием этих параметров требовала, чтобы хотя бы один участник уничтожил часть случайности, сгенерированной во время церемонии.

Powers of Tau важна, поскольку перевела доверенную настройку от небольшого частного события к более открытому процессу с множеством участников.

Она также показала, что церемонии могут публиковать расшифровки и инструменты верификации, чтобы общественность могла проверять результаты.

Пример Zcash часто используют, чтобы объяснить, почему доверенная настройка эффективна, но чувствительна.

Если настройка работает корректно, пользователи могут получать преимущества от эффективных доказательств конфиденциальности.

Если настройка скомпрометирована, пользователи должны понимать риск для корректности системы.

Доверенная настройка и прозрачная настройка

Доверенная настройка требует от участников создавать публичные параметры, сохраняя и затем уничтожая секретную случайность.

Прозрачная настройка не требует скрытой случайности от доверенных участников.

Прозрачные системы доказательств используют публичную случайность, хеш-функции или другие методы, исключающие токсичные отходы.

ZK-STARK — распространенный пример прозрачной системы доказательств.

В официальной документации Ethereum по доказательствам с нулевым разглашением объясняется, что ZK-STARK опираются на публично проверяемую случайность вместо доверенной настройки.

Это делает ZK-STARK более прозрачными, чем zk-SNARK на основе доверенной настройки.

Однако у прозрачных систем могут быть компромиссы.

Они могут создавать более крупные доказательства или иметь иную стоимость верификации.

Системы на основе доверенной настройки в некоторых случаях могут предлагать меньшие доказательства и более быструю проверку.

Выбор зависит от потребностей протокола, модели безопасности, размера доказательств, стоимости работы доказателя, стоимости верификации и пользовательских допущений о доверии.

Универсальная и схемоспецифичная доверенная настройка

Схемоспецифичная доверенная настройка создает параметры для одного конкретного вычисления или схемы.

Если схема изменяется, настройку может потребоваться провести заново.

Это может быть неудобно для протоколов, которым нужны частые обновления или множество разных схем доказательств.

Универсальная доверенная настройка создает параметры, которые могут поддерживать множество схем до определенного лимита размера или сложности.

Универсальные настройки более гибки, поскольку несколько проектов или приложений могут повторно использовать один результат настройки.

Powers of Tau часто обсуждается как универсальная или повторно используемая основа настройки для систем zk-SNARK.

Универсальные настройки могут сократить число требуемых церемоний в экосистеме.

Однако они также могут концентрировать большую ценность в одной настройке.

Если от одной настройки зависят многие системы, доверие к этой настройке становится важнее.

Разработчикам следует понимать, использует ли их система доказательств схемоспецифичную настройку, универсальную настройку, прозрачную настройку или вовсе не использует настройку.

Доверенная настройка и роллапы

Роллапы — это системы масштабирования блокчейна, обрабатывающие транзакции офчейн и публикующие сжатые данные или доказательства в базовой сети.

Некоторые роллапы используют доказательства с нулевым разглашением, чтобы доказать валидность переходов состояния.

Если система доказательств роллапа опирается на доверенную настройку, безопасность этого роллапа также частично зависит от допущений настройки.

Это не делает роллап автоматически небезопасным.

Это означает, что пользователям следует понимать полную модель доверия.

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

Доверенная настройка — одна часть этой более широкой картины безопасности.

Для blob Ethereum обязательства KZG помогают сделать публикацию и проверку данных роллапов более дешевыми.

В официальной спецификации EIP-4844 представлены транзакции с blob, данные которых недоступны для исполнения EVM, но обязательство к которым доступно.

Это одна из ключевых причин, по которым доверенная настройка остается актуальной для современного масштабирования Ethereum.

Доверенная настройка и приватные монеты

Доверенная настройка также была важна в криптосистемах, ориентированных на конфиденциальность.

Приватные монеты могут использовать доказательства с нулевым разглашением, позволяющие пользователям доказывать валидность транзакций без раскрытия отправителя, получателя или суммы.

Некоторые системы конфиденциальности исторически использовали zk-SNARK на основе доверенной настройки, поскольку доказательства были небольшими и эффективными.

Такая эффективность делала приватные ончейн-транзакции более практичными.

Риск заключался в том, что скомпрометированная настройка могла повлиять на корректность.

В некоторых системах сама конфиденциальность может оставаться защищенной, но денежная корректность может оказаться под угрозой, если ложные доказательства позволят недействительное создание монет.

Именно поэтому дизайн церемоний настройки был центральной частью ранних обсуждений безопасности приватных монет.

Современные исследования конфиденциальности продолжают изучать способы улучшения систем доказательств, сокращения допущений о доверии и упрощения проверки процессов настройки.

Для пользователей ключевой момент состоит в том, что технологию конфиденциальности следует оценивать и по гарантиям конфиденциальности, и по допущениям доверия системы доказательств.

Доверенная настройка и корректность

Корректность — это свойство, при котором ложное доказательство не должно проходить проверку как истинное.

В криптоиндустрии корректность критически важна, поскольку смарт-контракты и блокчейн-узлы могут автоматически принимать криптографические доказательства.

Если корректность нарушена, система может принять недействительные выводы, поддельные балансы, некорректные переходы состояния или сфальсифицированные приватные транзакции.

Доверенная настройка может влиять на корректность, поскольку секреты настройки могут позволить создавать поддельные доказательства, если они известны.

Именно поэтому токсичные отходы должны быть уничтожены.

Публичный верификатор обычно не может определить, была ли доверенная настройка скомпрометирована, просто изучая последующие доказательства.

Если параметры выглядят действительными, но секрет известен атакующему, он может получить возможность незаметно обманывать систему.

Это отличает доверенную настройку от многих обычных ошибок программного обеспечения.

Обычная ошибка может быть исправлена после обнаружения.

Скомпрометированная настройка может потребовать замены параметров, миграции систем или изменения системы доказательств.

Доверенная настройка и нулевое разглашение

Нулевое разглашение — это свойство, при котором доказательство не раскрывает лишнюю частную информацию помимо истинности доказываемого утверждения.

Доверенная настройка главным образом связана с корректностью, но также может быть частью более широкого дизайна системы доказательств.

В объявлении Zcash Foundation о Powers of Tau говорится, что протокол гарантирует нулевое разглашение итоговых доказательств, даже если все участники были скомпрометированы.

Это различие важно, поскольку системы доказательств могут иметь разные свойства безопасности.

Компрометация настройки может повлиять на корректность, необязательно раскрывая конфиденциальность пользователей.

В других системах плохая реализация или некачественная случайность могут также повлиять на конфиденциальность.

Пользователям не следует предполагать, что все сбои настройки имеют одинаковые последствия.

Точный риск зависит от системы доказательств, приложения и дизайна настройки.

Для трейдеров и инвесторов наиболее важный практический вопрос состоит в том, может ли компрометация настройки создать скрытый экономический ущерб.

Для пользователей систем конфиденциальности также важен вопрос, могут ли быть раскрыты детали приватных транзакций.

Доверенная настройка и публичная верификация

Доверенная настройка становится надежнее, когда общественность может проверить расшифровку церемонии.

Публичная верификация означает, что любой может проверить соблюдение каждым вкладом правил протокола.

Обычно для этого необходимо опубликовать расшифровку, хеши, подписи, программное обеспечение, инструкции и метаданные вкладов.

KZG-церемония Ethereum опубликовала хеш финальной расшифровки и сделала расшифровку доступной для проверки.

Zcash Foundation также опубликовал параметры, расшифровки, инструменты верификации и подтверждения участников для Powers of Tau.

Публичная верификация не доказывает, что каждый участник уничтожил свои токсичные отходы.

Однако она помогает доказать, что видимые этапы церемонии были корректно сформированы.

Допущение о честном участнике все равно сохраняется.

Именно поэтому прозрачность церемонии необходима, но не всегда достаточна.

Хорошая церемония требует как проверяемых публичных результатов, так и убедительного уничтожения приватной энтропии.

Доверенная настройка и размер церемонии

Более крупная церемония может снизить концентрацию доверия, поскольку больше людей вносят случайность.

Если церемония безопасна при условии честности хотя бы одного участника, добавление большего числа независимых участников может повысить доверие.

KZG-церемония Ethereum — убедительный пример, поскольку в ней было более 140 000 вкладов.

Однако размер церемонии — не единственный важный фактор.

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

Если в программном обеспечении церемонии есть ошибка, большое число участников может не решить проблему.

Если проверка расшифровки сложна, пользователи могут быть не в состоянии самостоятельно проверить процесс.

Если процесс внесения вкладов подвергается цензуре или труднодоступен, церемония может быть менее открытой, чем кажется.

При качественном анализе следует учитывать число и разнообразие участников, безопасность ПО, проверку расшифровки, качество энтропии и управление настройкой.

Доверенная настройка и аудиты криптобезопасности

Аудиты безопасности систем, использующих доверенную настройку, должны проверять не только код смарт-контрактов.

Аудиторам следует проверять систему доказательств, параметры настройки, ключи верификации, библиотеки реализации, расшифровку церемонии и логику интеграции.

Смарт-контракт может корректно вызывать верификатор, но сам верификатор может опираться на небезопасные параметры.

Система доказательств может быть корректной в теории, но реализация может неверно обрабатывать входные данные или пограничные случаи.

Церемония может быть действительной, но проект может использовать неправильный ключ верификации.

Роллап может безопасно использовать доверенную настройку, но управление может разрешать будущее обновление, заменяющее верификатор небезопасным кодом.

Поэтому анализ доверенной настройки должен быть частью полной оценки рисков протокола.

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

К проектам, которые не могут ясно объяснить свои допущения настройки, следует относиться с особой осторожностью.

Доверенная настройка и обновляемость

Обновляемость может взаимодействовать с риском доверенной настройки.

Если протокол обновляет свои схемы, контракты-верификаторы или систему доказательств, ему может потребоваться новая настройка или новые параметры верификации.

Схемоспецифичная настройка может стать недействительной после изменения схемы.

Универсальная настройка может поддерживать новые схемы без полностью новой церемонии в зависимости от системы доказательств и ограничений размера.

Если протокол незаметно меняет параметры доказательств, пользователи могут не заметить изменения модели доверия.

Именно поэтому обновления должны быть прозрачными и в идеале защищаться управлением, аудитами, таймлоками и публичными объявлениями.

Для роллапов обновления верификаторов могут быть особенно важными, поскольку они контролируют, какие доказательства переходов состояния принимаются.

Для систем конфиденциальности обновления параметров могут влиять как на допущения безопасности, так и на доверие пользователей.

Доверенную настройку не следует считать разовым маркетинговым событием.

Она должна быть частью постоянного обслуживания протокола и публичного раскрытия рисков.

Доверенная настройка и общая референсная строка

Общая референсная строка, или CRS, — это общие публичные данные, используемые доказателями и верификаторами в некоторых системах доказательств.

CRS может включать элементы групп, степени секретного значения или другой структурированный криптографический материал.

Пользователи обычно не взаимодействуют с CRS напрямую.

Разработчики и клиенты протоколов используют ее через программное обеспечение для создания и верификации доказательств.

Если CRS была создана посредством доверенной настройки, система зависит от допущения, что секрет, использованный для ее создания, неизвестен.

В некоторых контекстах CRS и SRS используются почти взаимозаменяемо.

SRS обычно подчеркивает, что референсная строка имеет структуру, например степени скрытого значения.

Ключевой вопрос состоит в том, была ли референсная строка сгенерирована прозрачно или посредством доверенной настройки.

Понимание этого помогает пользователям увидеть, где доверие входит в систему нулевого разглашения или полиномиальных обязательств.

Доверенная настройка и структурированная референсная строка

Структурированная референсная строка, или SRS, — это набор публичных параметров с математической структурой.

В обязательствах KZG SRS содержит значения, связанные с секретными степенями скрытого случайного числа.

Эти значения можно использовать публично, не раскрывая сам секрет.

Если секрет уничтожен и не может быть восстановлен, система может оставаться безопасной.

Если секрет известен, система может быть скомпрометирована.

Именно поэтому обязательства KZG требуют церемонии доверенной настройки.

SRS эффективна, поскольку обеспечивает эффективные обязательства и доказательства.

Она также чувствительна, поскольку скрытая структура создает допущение о доверии.

Для разработчиков управление SRS включает корректную загрузку, версионирование, проверку и совместимость с клиентским ПО.

Для пользователей основной вопрос заключается в том, была ли SRS безопасно создана и обработана.

Преимущества доверенной настройки

Первое преимущество доверенной настройки — эффективность.

Некоторые системы доказательств на основе доверенной настройки создают очень небольшие доказательства, которые недорого проверять ончейн.

Второе преимущество — практическая масштабируемость.

Небольшие доказательства полезны, когда блокчейнам необходимо проверять множество транзакций или крупные офчейн-вычисления.

Третье преимущество — зрелые инструменты.

Многие системы на основе доверенной настройки были изучены, реализованы, проверены аудитами и использованы в рабочей среде.

Четвертое преимущество — совместимость с определенными схемами обязательств.

Обязательства KZG эффективны и полезны для доступности данных и систем полиномиальных доказательств, но им нужна SRS.

Пятое преимущество — повторное использование в экосистеме.

Универсальные настройки могут поддерживать множество приложений без необходимости проводить новую церемонию каждый раз.

Эти преимущества объясняют, почему доверенная настройка остается актуальной, хотя существуют прозрачные системы доказательств.

Риски доверенной настройки

Наибольший риск доверенной настройки — раскрытие токсичных отходов.

Если секрет настройки известен, атакующие могут получить возможность подделывать доказательства или обязательства.

Еще один риск — слабое разнообразие участников.

Если все участники контролируются или скомпрометированы одним атакующим, допущение о честном участнике не выполняется.

Третий риск — ошибочное программное обеспечение церемонии.

Если инструмент настройки работает неверно, церемония может создать слабые или недействительные параметры.

Четвертый риск — слабая верификация.

Если пользователи не могут проверить расшифровку, им приходится сильнее полагаться на организаторов.

Пятый риск — неясная документация.

Если проект не объясняет свою настройку ясно, пользователи могут не понимать, чему именно они доверяют.

Шестой риск — будущая миграция.

Если доверенная настройка позднее считается небезопасной, протоколу может потребоваться миграция на новые параметры или новую систему доказательств.

Доверенная настройка и отсутствие доверенной настройки

Система с доверенной настройкой может быть очень эффективной, но требует уверенности в церемонии.

Система без доверенной настройки может снизить доверие, связанное с церемонией, но иметь другие компромиссы производительности.

ZK-STARK часто приводятся как пример прозрачной системы доказательств, избегающей доверенной настройки.

Некоторые современные системы SNARK также стремятся сократить, универсализировать или устранить допущения настройки.

Лучший выбор зависит от потребностей протокола.

Система приватных платежей может отдавать приоритет небольшим доказательствам и низкой стоимости верификации.

Роллап может отдавать приоритет производительности доказателя, стоимости верификации и гибкости обновлений.

Система доступности данных может отдавать приоритет эффективным обязательствам и совместимости с выборкой.

Система, работающая с чрезвычайно высокой стоимостью, может предпочесть меньше допущений о доверии, даже если доказательства будут крупнее.

Универсального ответа не существует.

Доверенная настройка — это компромисс дизайна, который необходимо оценивать в контексте.

Как пользователи могут оценить доверенную настройку

Пользователям следует сначала выяснить, использует ли протокол доверенную настройку вообще.

Затем следует определить, какая система доказательств или схема обязательств зависит от этой настройки.

Следует проверить, была ли настройка универсальной или схемоспецифичной.

Следует проверить, существует ли публичная расшифровка.

Следует проверить доступность независимых инструментов верификации.

Следует проверить, сколько участников внесли вклад и было ли участие открытым.

Следует проверить, ясно ли проект объясняет свои допущения о токсичных отходах.

Следует проверить, проходил ли протокол аудит после интеграции параметров настройки.

Следует проверить, могут ли будущие обновления заменять параметры доказательств без надежных механизмов управления.

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

Доверенная настройка и торговый риск

Доверенная настройка может влиять на торговый риск, когда токен, роллап, мост или система конфиденциальности зависит от корректности доказательств.

Если настройка пользуется широким доверием и хорошо документирована, она может поддерживать уверенность в протоколе.

Если настройка вызывает споры, непрозрачна или плохо проверена, трейдеры могут оценивать связанный актив как более рискованный.

Сбой настройки может не отражаться на ценовых графиках до того, как риск станет серьезным.

Это может быть скрытый технический риск, а не видимый рыночный сигнал.

Это важно для трейдеров, поскольку крипторынки часто учитывают нарративы быстрее, чем технические детали.

Протокол может выглядеть сильным благодаря высокому TVL, большому объему или сильному бренду.

Однако если его система доказательств зависит от слабых допущений настройки, его фактический риск может быть выше, чем осознает рынок.

Поэтому технический риск должен быть частью фундаментального анализа.

Доверенная настройка особенно важна, когда протокол защищает крупные объемы средств пользователей.

Доверенная настройка и DeFi

DeFi-протоколы могут косвенно использовать доверенную настройку через роллапы, уровни конфиденциальности, системы доказательств или инструменты доступности данных.

DeFi-приложение, развернутое на роллапе, может зависеть от системы доказательств валидности этого роллапа.

Если система доказательств роллапа использует доверенную настройку, DeFi-приложение косвенно наследует часть этого допущения.

Кредитный протокол, использующий доказательства идентификации или комплаенса с нулевым разглашением, также может зависеть от параметров настройки.

Протокол приватной торговли или приватных активов может опираться на системы доказательств на основе доверенной настройки, чтобы скрывать чувствительные данные, одновременно доказывая валидность.

Для пользователей DeFi доверенная настройка часто скрыта за интерфейсом приложения.

Приложение может показывать простую кнопку депозита, свопа или займа.

За этой кнопкой могут находиться системы доказательств, контракты-верификаторы, схемы обязательств, секвенсоры или допущения доступности данных.

Понимание доверенной настройки помогает пользователям увидеть, что риск DeFi имеет несколько уровней.

Доверенная настройка и разработчики

Разработчикам следует рассматривать доверенную настройку как критически важную для безопасности инфраструктуру.

Им следует выбирать системы доказательств на основе ясных компромиссов, а не хайпа.

Им следует документировать, являются ли параметры настройки универсальными, схемоспецифичными, повторно используемыми или специфичными для приложения.

Им следует публиковать инструкции по верификации для пользователей и аудиторов.

Им следует избегать незаметного изменения ключей доказательств, контрактов-верификаторов или файлов CRS.

По возможности им следует использовать прошедшие аудит библиотеки.

Им следует тестировать, что создание и проверка доказательств используют одинаковые ожидаемые параметры.

Им следует включать допущения настройки в документацию по безопасности и модели угроз.

Им следует планировать действия на случай, если параметры потребуется ротировать, заменить или вывести из использования.

Доверенная настройка — не только криптографическая церемония; это также долгосрочная обязанность по обслуживанию.

Распространенные заблуждения о доверенной настройке

Первое заблуждение состоит в том, что доверенная настройка означает централизацию системы.

Доверенная настройка может включать множество независимых участников и при этом поддерживать децентрализованный протокол.

Второе заблуждение состоит в том, что все доверенные настройки одинаково рискованны.

Риск зависит от дизайна церемонии, разнообразия участников, проверки расшифровки, качества программного обеспечения и допущений системы доказательств.

Третье заблуждение состоит в том, что доверенная настройка всегда угрожает конфиденциальности пользователей.

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

Четвертое заблуждение состоит в том, что крупная церемония устраняет все риски.

Крупная церемония повышает доверие только тогда, когда программное обеспечение, верификация, энтропия и процесс участия надежны.

Пятое заблуждение состоит в том, что прозрачные системы доказательств всегда лучше.

Прозрачные системы снижают доверие к настройке, но могут иметь более крупные доказательства или иной профиль затрат.

Шестое заблуждение состоит в том, что пользователям никогда не нужно заботиться о настройке.

Пользователям следует учитывать ее, когда настройка защищает активы, валидность роллапа, конфиденциальность или критически важную логику протокола.

Чек-лист доверенной настройки

Проверьте, использует ли протокол zk-SNARK, обязательства KZG или другую систему, зависящую от настройки.

Проверьте, была ли настройка публичной, частной, универсальной или схемоспецифичной.

Проверьте, использовала ли церемония многосторонние вычисления.

Проверьте, достаточно ли для безопасности хотя бы одного честного участника.

Проверьте, ясно ли объяснено уничтожение токсичных отходов.

Проверьте, опубликованы ли расшифровка, финальный хеш и инструменты верификации.

Проверьте, проходили ли контракты-верификаторы и ключи доказательств аудит.

Проверьте, могут ли обновления заменять параметры доказательств.

Проверьте, есть ли у протокола план миграции с прежних параметров при необходимости.

Проверьте, объясняет ли проект допущения настройки понятным для пользователей языком.

FAQ

Что такое доверенная настройка простыми словами?

Доверенная настройка — это криптографическая церемония, создающая публичные параметры для системы доказательств и требующая уничтожения секретной случайности участников.

Почему она называется доверенной настройкой?

Она называется доверенной настройкой, поскольку пользователи должны доверять тому, что хотя бы один участник внес честную случайность и уничтожил секретные токсичные отходы.

Что такое токсичные отходы при доверенной настройке?

Токсичные отходы — это секретная случайность, созданная при настройке, которая может быть опасной, если она сохранится или будет раскрыта.

Почему некоторым zk-SNARK нужна доверенная настройка?

Некоторым zk-SNARK нужна доверенная настройка, поскольку их публичные параметры создания и проверки доказательств зависят от секретной случайности, сгенерированной до начала использования системы.

Что произойдет, если доверенная настройка скомпрометирована?

Если настройка скомпрометирована, атакующие могут получить возможность создавать поддельные доказательства или обязательства, которые выглядят действительными.

Всегда ли доверенная настройка влияет на конфиденциальность?

Не всегда, поскольку во многих системах основной риск связан с нарушением корректности, а не с прямой утечкой конфиденциальности.

Что такое MPC-церемония?

MPC-церемония — это многосторонний процесс настройки, в котором множество участников вносят случайность, поэтому настройка остается безопасной, если хотя бы один из них честен.

Что представляла собой KZG-церемония Ethereum?

KZG-церемония Ethereum была публичной церемонией доверенной настройки, создавшей структурированную референсную строку, используемую обязательствами KZG в системе blob Ethereum.

Что такое Powers of Tau?

Powers of Tau — крупная церемония, связанная с Zcash и предназначенная для создания повторно используемых публичных параметров для систем zk-SNARK.

Не требуют ли ZK-STARK доверенной настройки?

Да, ZK-STARK обычно описываются как прозрачные системы доказательств, поскольку они используют публично проверяемую случайность вместо доверенной настройки.

Является ли доверенная настройка плохой?

Доверенная настройка не является автоматически плохой, но это допущение о доверии, которое необходимо понимать, документировать и проверять.

Почему протоколы по-прежнему используют системы с доверенной настройкой?

Протоколы могут использовать такие системы, поскольку они способны предлагать небольшие доказательства, эффективную верификацию, зрелые инструменты и практическую производительность блокчейна.

Можно ли повторно использовать доверенную настройку?

Некоторые универсальные доверенные настройки можно повторно использовать для множества схем или приложений, тогда как схемоспецифичные настройки ограничены одним дизайном схемы.

Как пользователи могут проверить безопасность доверенной настройки?

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

Заключение

Доверенная настройка — это криптографический процесс, генерирующий публичные параметры для некоторых систем доказательств и схем обязательств, используемых в криптоиндустрии.

Она особенно важна для zk-SNARK, обязательств KZG, систем конфиденциальности, роллапов и масштабируемых дизайнов блокчейн-данных.

Главная идея безопасности состоит в том, что секретная случайность, созданная во время церемонии, должна быть уничтожена.

Если хотя бы один участник действует честно и удаляет свои токсичные отходы, настройка может оставаться безопасной в рамках допущений церемонии.

Если каждый участник нечестен или скомпрометирован, система может стать уязвимой к поддельным доказательствам или недействительным обязательствам.

Доверенная настройка сделала возможными эффективные криптографические системы, включая небольшие доказательства и практическую ончейн-верификацию.

Она также поставила серьезные вопросы доверия и прозрачности перед пользователями блокчейна.

Крупные примеры включают связанные с Zcash церемонии Powers of Tau и публичную KZG-церемонию Ethereum для proto-danksharding.

Современные прозрачные системы доказательств, такие как ZK-STARK, сокращают или устраняют допущения доверенной настройки, но могут иметь другие компромиссы производительности.

Лучший способ понять доверенную настройку — рассматривать ее как выбор дизайна, а не как простой недостаток.

Для пользователей доверенная настройка должна быть частью анализа рисков протокола.

Для разработчиков она должна быть частью архитектуры безопасности, области аудита, документации и планирования обновлений.

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