Это перевод. Английская версия является единственной канонической (canonical), и в случае противоречия преимущественную силу имеет английская версия. Технические идентификаторы (BEYUL, BYL,
privacychain, TDC, ADC, nullifier, commitment, viewing key, shielded pool, Groth16 и др.) остаются непереведёнными, на английском.
Проект: BEYUL Тип: исследовательский прототип публичной цепочки с приватностью (pre-testnet). Работа над протоколом BEYUL в настоящее время ведётся в репозитории privacychain.
Статус документа: whitepaper BEYUL, редакция pre-testnet (исследовательская) — описывает архитектуру протокола, модель раскрытия и текущие границы до публичного testnet. Это не спецификация продакшн-протокола, не инвестиционный документ, не заключение о соответствии, не аудит безопасности, не материал по выпуску токенов и не анонс mainnet. Заявления о возможностях следуют дисциплине доказательств из §3.1; ничто здесь не описано выше своей реальной зрелости.
Статус токена: токеномика не финализирована. BYL — это лишь краткая форма / тикер проекта; это не замороженная деноминация — деноминация и параметры цепочки остаются на рассмотрении и требуют явного одобрения Owner. Данный документ не определяет распределение токенов или дизайн полезности. Тестовые токены, если используются, не имеют денежной ценности и не обещают конвертацию в mainnet.
Канонический язык: английская версия является единственной канонической. Китайская версия (beyul-whitepaper-pretestnet.zh.md) — это сопроводительный рабочий текст; в случае противоречия преимущественную силу имеет английская версия.
Рамка границ заявлений (прочтите сначала)
Данный документ не делает ни одного из следующих заявлений:
- Никакого заявления об анонимности, неотслеживаемости или «абсолютной безопасности»;
- Никакого заявления о продакшн-уровне zero-knowledge безопасности (текущая реализация использует материал development-key);
- Никакого заявления о продакшн-приватности (суммы депозита и вывода в настоящее время публичны on-chain);
- Никакого заявления о регуляторном одобрении или «compliance by design»;
- Текущий дизайн не включает контролируемый проектом глобальный viewing key; это свойство должно быть проверено через открытую реализацию, тесты и внешний аудит;
- Не существует ни публичного testnet, ни mainnet; готовность testnet в процессе — многоузловой runbook и связанные gate ещё не завершены;
- Никаких обещаний о ценности токена, airdrop, доходности, возврате или листинге на биржах; данный документ не обсуждает кошельковые продукты или DeFi;
- 16-character disclosure code не является базовым криптографическим удостоверением безопасности (Раздел 7).
Именование и технические идентификаторы. BEYUL — это название проекта/продукта; работа над протоколом BEYUL ведётся в репозитории privacychain. privacychain остаётся текущим техническим идентификатором — репозиторий, пакет протокола/модуля/proto, бинарник и chain-id — и сохраняется без изменений. BYL — краткая форма / тикер; деноминация и параметры цепочки требуют явного одобрения Owner, поэтому BYL не является замороженной деноминацией. Эта дисциплина именования применяется только в будущем: исторические документы не переименовываются задним числом.
1. Аннотация
BEYUL — это проект публичной цепочки с приватностью на стадии исследовательского прототипа (pre-testnet), исследующий платёжную инфраструктуру с приватностью по умолчанию (целью проектирования) и раскрытием под контролем пользователя. В целевом дизайне детали транзакции по умолчанию не видны публично, но владелец актива может добровольно раскрыть, с ограниченной областью, выбранной стороне — Transaction Disclosure Code (TDC) объясняет одну транзакцию; Asset Disclosure Code (ADC) раскрывает выбранный снимок активов. «Приватность по умолчанию» описывает цель проектирования, а не текущий прототип (см. §5).
То, что существует сегодня, — это лишь клиентский прототип деривации disclosure-code (протестированный локально; публичный пакет доказательств ожидает консолидации) и прототип chain-application на основе Cosmos SDK. Сквозные серверные grant, проверка on-chain и ZK balance proof не реализованы; нет trusted setup, нет внешнего аудита, нет публичного testnet или mainnet; суммы депозита и вывода в настоящее время публичны on-chain. Цель данного whitepaper (редакция pre-testnet) — точно зафиксировать архитектурное направление, модель раскрытия и текущие границы до запуска публичного testnet — и быть заменённым продакшн-редакцией лишь тогда, когда появятся соответствующие доказательства и аудиты.
2. Позиционирование и проблема
Публичные реестры раскрывают платёжные связи, балансы и потоки средств любому наблюдателю; при этом большинство систем сильной приватности делают избирательное раскрытие операционно трудным — объяснение одной транзакции стороне часто означает передачу возможности видеть всё. Пробел, который исследует BEYUL: сделать «раскрытие» примитивом первого класса наравне с «сокрытием», при этом всякое раскрытие инициируется пользователем.
BEYUL не конкурирует за — и не нацелен на — нарратив «полностью анонимный, неотслеживаемый».
Видение. Финансовая приватность в публичных реестрах перевёрнута: по умолчанию обнажена, тогда как сокрытие само по себе выглядит подозрительно. Цель BEYUL — перевернуть этот default — приватность как состояние по умолчанию, а раскрытие как осознанный, детализированный выбор пользователя: какую транзакцию, какие поля, кому и на какой срок.
Принципы проектирования. Каждая часть протокола подчиняется им:
- Раскрытие — гражданин первого класса — примитивы раскрытия проектируются и прототипируются на одном уровне с примитивами сокрытия.
- Минимальные полномочия — каждый ключ и удостоверение несёт лишь минимальные полномочия, необходимые для его назначения.
- spend authority священна — никакой поток раскрытия не может касаться spend authority; мнемоника никогда не входит ни в один шаг раскрытия.
- Никаких глобальных привилегий — протокол спроектирован так, чтобы не предоставлять никакого глобального канала просмотра проекту или третьим лицам; отсутствие любой такой ветви — это свойство дизайна, подлежащее проверке через открытую реализацию, тесты и внешний аудит (§6), пока не гарантия.
- Честность границ — каждая возможность заявляет, чего она не делает; модель угроз и ограничения остаются публичными.
- Сначала доказательства — заявления о возможностях повышаются лишь после появления доказательств (код, тесты, аудиты) — на основе gate, без обещаний дат.
2.1 Как сравнивается раскрытие BEYUL
Таблица сравнивает целевой дизайн BEYUL с текущими поставленными возможностями других систем. Перечисленные ниже отличительные особенности BEYUL (истечение, отзыв, видимость, навязываемая консенсусом, область по-транзакции/по-снимку с серверной и on-chain проверкой) в основном планируются или являются клиентским прототипом (см. §3, §7), ещё не поставлены. Факты о конкурентах изложены консервативно; пункты, не перепроверенные независимо для данного whitepaper, помечены 【to verify】.
| Система | Механизм раскрытия | Гранулярность | Истекает / отзывается | Видимость навязывается |
|---|---|---|---|---|
| Zcash (Sapling/Orchard) | Full viewing key (FVK/IVK) | На уровне аккаунта, всё-или-ничего | Нет | Исходящая видимость зависит от соглашения кошелька (ovk-зашифрованный ciphertext), не от консенсуса |
| Monero | View key | На уровне аккаунта (входящие) | Нет | Кошелёк / протокол; нет ограниченного по-транзакции примитива |
| Миксеры типа Tornado | Нативно нет (внешний инструментарий, напр. association/exclusion proofs) | — | — | — |
| Penumbra | Слоистые viewing keys (FVK/IVK/OVK) + detection key на адрес (FMD / S-FMD) | viewing keys на уровне аккаунта; detection key = обнаружение получателя (только связывание, без содержимого), делегируется по адресу | В документации не указано【to verify】 | Криптографическое делегирование ключей (клиент/кошелёк), не консенсус |
| Aztec | Входящие/исходящие + master viewing keys; note discovery на основе tagging (не FMD); зашифрованные логи | master viewing key всё-или-ничего по всем контрактам; ограниченное/временное раскрытие только через прикладной уровень (Noir), не нативно для протокола | Только как «temporary view access» на прикладном уровне, не нативно【to verify】 | Логика приложения/контракта + клиент (PXE), не базовый консенсус |
| Namada (MASP) | Shielded viewing key (zvknam), мультиактивный на основе Sapling | На уровне аккаунта (входящий+исходящий баланс и история одного shielded account); «избирательное раскрытие» = передача viewing key (весь аккаунт), не по-транзакции | Переданный viewing key нативно не отзывается (точная семантика【to verify】) | Viewing key (кошелёк/клиент) |
| BEYUL (целевой дизайн) | TDC (по-транзакции) + ADC (по-снимку актива), многоуровневый (ADC L1/L2) | По-транзакции / по-снимку; ограниченные поля; роли отправителя/получателя разделены | Истечение + отзыв (планируется) | Граница видимости, навязываемая консенсусом (требование дизайна, §6); два фактора + только чтение |
Предполагаемое отличие — не «более сильное сокрытие», а более детализированное, ограниченное во времени раскрытие, выпускаемое пользователем: там, где viewing key Zcash/Monero — это разрешение на чтение на уровне аккаунта, всё-или-ничего и бессрочное, удостоверение раскрытия BEYUL ограничено одной транзакцией (TDC) или одним снимком актива (ADC), несёт истечение и спроектировано отзываемым — при этом набор видимых полей навязывается консенсусом, а не соглашением кошелька. Эти свойства являются целями проектирования; их статус реализации честно отслеживается в §3 и §7.
Источники. Zcash/Monero: отчёт о глубоком исследовании ZEC/XMR данного проекта (первичные источники — Zcash Protocol Specification; документация Monero; по состоянию на 2026-06-12). Строки Penumbra / Aztec / Namada описывают официальную документацию каждого проекта по состоянию на 2026-06 (Penumbra: protocol.penumbra.zone — viewing keys, FMD; Aztec: docs.aztec.network — keys, note discovery; Namada: docs.namada.net — shielded accounts). Оставшиеся пункты 【to verify】 — истечение/отзыв и семантика transaction-perspective у Penumbra, нативное истечение/отзыв у Aztec, точная семантика отзыва у Namada — ожидают подтверждения. Эти строки излагают то, что описывает документация каждого проекта, а не утверждения о том, чего другие системы «не могут».
3. Текущий статус
| Область | Статус | Примечания |
|---|---|---|
| Chain-application | Прототип | Cosmos SDK / Ignite |
| Модель консенсуса / валидатора | Дизайн testnet | CometBFT BFT + начальный набор валидаторов в стиле PoS и модуль staking; не PoW; не экономическая безопасность PoS уровня mainnet |
| Shielded module | Прототип | Депозит, вывод, spend, регистрация viewing-key, раскрытие note |
| Commitments / Merkle tree / nullifiers | Прототип | Детерминированное поведение и отклонение double-spend покрыты тестами |
| Клиентский стек ключей disclosure-code (деривация TDC/ADC) | Прототип, протестирован локально | Публичный пакет доказательств (commit/CI) ожидает консолидации |
| Серверный стек grant / on-chain проверка раскрытия / ZK balance proof | Не реализовано | Планируется |
| Разделение входящего/исходящего view-key / audit key / навязываемые сервером/консенсусом истечение и отзыв раскрытия | Не реализовано | Планируется |
| Trusted setup / внешний аудит | Не завершён / не начат | Предпосылки для любого продакшн-заявления |
| Публичный testnet / mainnet | Не развёрнут | Готовность testnet в процессе: многоузловой runbook и связанные gate ещё не завершены |
| Официальный кошелёк | Не существует | Только инструменты разработки и тестирования; любой «официальный кошелёк» — подделка |
| Экономика токена | Не финализирована | Данный документ не содержит дизайна токена |
3.1 Цепочка доказательств
Каждая строка «прототип реализован» выше привязана к записи доказательства, а не утверждается прозой. Цепочка доказательств (commit hash, запись CI, точная команда теста и вывод, воспроизводимые инструкции запуска) ведётся в Evidence Appendix, и каждая возможность оценивается по шкале исследовательской зрелости L0–L5 (дизайн → прототип → воспроизводимо → отрецензировано → сетевое доказательство → продакшн). Данный whitepaper ссылается на этот реестр, а не повторяет сырые доказательства.
| Возможность | Зрелость | Привязка доказательства |
|---|---|---|
| Клиентское ядро disclosure-code (деривация TDC/ADC, два фактора, разделение доменов, AEAD/AAD, erasure keys) | L1–L2 | Воспроизведено в режиме только чтения 2026-06-19: 13/13 локальных тестов пройдено; commit зафиксирован в Evidence Appendix E1; CI 【to be supplied】 |
| Shielded module (commitment/nullifier/Merkle, отклонение double-spend) | L1 | Воспроизведено в режиме только чтения 2026-06-19: тесты double-spend и nullifier пройдены; Evidence Appendix E3; CI 【to be supplied】 |
| Путь spend Groth16 | L1 (dev-key) | dev/skeleton VK, без trusted setup; тесты dev-пути + production-VK-guard воспроизведены 2026-06-19; Evidence Appendix E4 |
| Серверный стек grant / on-chain проверка / ZK balance proof | L0 (планируется) | Не реализовано; см. Roadmap §10 |
Текущая самооценка: большая часть материала на уровне L1–L2, ничего на L5. Пока записи Evidence Appendix не заполнены (commit/CI), публичные материалы говорят «проверено локально; публичный пакет доказательств ожидает консолидации», а не «реализовано с публичными доказательствами». Возможность без зарегистрированной записи доказательства не может описываться выше своего уровня зрелости. Evidence Appendix находится в
docs/evidence-appendix.md(внутренний; будет опубликован вместе с публичным пакетом доказательств); E1/E3/E4 воспроизведены в режиме только чтения 2026-06-19, привязка CI ещё ожидается.
4. Техническая модель
Прототип сосредоточен вокруг конечного автомата shielded-pool. Для некриптографа жизненный цикл приватного баланса проходит так:
- Note. Расходуемый баланс — это note — запись из (владелец, сумма, случайность). Сама note никогда не появляется on-chain.
- Commitment. Цепочка хранит лишь commitment к note (односторонний связывающий хеш), добавляемый в Merkle commitment tree только для добавления. Из одного commitment наблюдатель не узнаёт ни владельца, ни сумму.
- Spend → nullifier. Чтобы потратить note, владелец публикует производный от неё nullifier. nullifier спроектирован так, чтобы внешние наблюдатели не могли связать его с commitment (при допущении PRF nullifier-key; yellow paper §7.1), но для этой note он детерминирован — так что одна и та же note может быть аннулирована лишь однажды.
- Отклонение double-spend. Цепочка ведёт множество nullifier; повторный nullifier отклоняется. Это предотвращает double-spend, не раскрывая, какая note была потрачена.
- Доказательство корректности. Каждый spend несёт zero-knowledge доказательство того, что «я владею note, чей commitment в дереве, и я корректно вывел её nullifier», не раскрывая ни одного из этих значений. Проверка проходит через путь Groth16.
Текущий верификатор использует материал development/skeleton verifying-key без trusted setup и не устанавливает продакшн-soundness или приватность. Стандартная внешняя формулировка: «Прототип включает путь проверки Groth16 на development-key. Он пока не обеспечивает продакшн-уровень zero-knowledge безопасности.» Формальные определения формата note, схемы commitment, деривации nullifier и семантики дерева см. в yellow paper §§5–7 и §10.
4.1 Почему отдельная цепочка и почему Cosmos
Модель раскрытия требует контроля над вещами, которые развёртывание смарт-контракта на общей L1 или универсальный rollup не дают чисто:
- Видимость раскрытия, навязываемая консенсусом (§6) и правила целостности предложения shielded pool должны находиться на уровне перехода состояний / консенсуса, а не внутри контракта, чьи валидаторы хост-цепочки и рынок комиссий вне контроля проекта.
- Нативное shielded состояние (commitment tree, множество nullifier, учёт value-balance) дешевле и аудируемее как первоклассное состояние цепочки, чем как хранилище контракта, и избегает того, чтобы публичный mempool и модель метаданных хост-цепочки утекали больше, чем предполагалось.
- Набор валидаторов bonded-PoS позволяет целостности предложения перепроверяться каждым full node и даёт мгновенную финальность, подходящую для платежей.
Cosmos SDK + CometBFT выбран ради зрелого BFT-PoS стека с модулями staking/slashing, суверенным управлением апгрейдами и мгновенной финальностью — а не как одобрение какой-либо токен-модели (ни одна не финализирована). Это обоснование выбора архитектуры, а не утверждение, что отдельная цепочка развёрнута; реальный статус см. в §3 и §8.
4.2 Характеристики производительности
Два типа цифр держатся раздельно. Присущие (на уровне схемы, цитируемые): Groth16 над кривой BN254 имеет доказательства постоянного размера (три элемента группы: 2×G1 + 1×G2, ~128 Б сжато / ~256 Б несжато на BN254) и проверку за постоянное время (фиксированное, малое число pairing-проверок, не зависящее от размера схемы). Это следует из самой системы доказательств, а не из реализации BEYUL. На уровне системы (ещё не измерено): время доказательства, пропускная способность транзакций (TPS) и размер схемы (число ограничений) зависят от продакшн-схемы, которая не построена — текущий путь использует dev/skeleton verifying key (§4). Поэтому любая такая цифра — это target / 【to be supplied】, подлежащая бенчмаркингу, когда появятся продакшн-схема и путь trusted-setup-или-прозрачного-доказательства (Roadmap §10, Phase 6). Выше этой линии никакая цифра производительности уровня системы не заявляется.
5. Модель приватности и текущие ограничения
| Измерение | Целевая модель | Текущий прототип |
|---|---|---|
| Суммы в пуле и связь отправитель/получатель | Скрыто | Путь прототипа, не продакшн |
| Суммы депозита / вывода | Дизайн в ожидании | Публично |
| Тайминг / побочные каналы комиссий / mempool | Смягчение в ожидании или вне области | Не смягчено |
| Упорядочивание валидаторов / цензура / MEV | Частично вне области протокола | Не смягчено |
| Метаданные сетевого уровня и бирж/мостов | Вне области протокола | Вне области |
Текущий прототип не является продакшн-приватностью.
При pre-testnet / низком использовании anonymity-set мал или пуст; без реальных пользователей приватность внутри пула не устанавливается значимо — сильная приватность зависит от большого, активного anonymity-set и НЕ заявляется, пока не появится реальное использование. Упорядочивание/MEV на уровне валидаторов и сетевые метаданные остаются несмягчёнными.
Формальная рамка anonymity-set (как определяется и ограничивается anonymity-set shielded pool) ведётся в yellow paper (§15); данный раздел излагает цели приватности и текущие ограничения, а не ту формальную модель.
6. Модель ключей и раскрытия
От высших к низшим полномочиям: Spend Key (единственное полномочие траты; никогда не покидает устройство пользователя; никогда не участвует в потоках раскрытия) → Full View Key (только чтение; планируется разделение входящего/исходящего) → Audit Key (планируется: добровольно выпускается пользователем; ограничен по времени, по области, отзываемый; не навязанный протоколом канал) → Disclosure Credential (минимальная единица раскрытия, привязанная к одной транзакции или одному снимку актива) → 16-character disclosure code (входной короткий код; не ключ).
Граница полномочий просмотра проекта: текущий дизайн не включает контролируемый проектом master viewing key. Это свойство должно быть проверено через открытую реализацию, тесты и внешний аудит, а не основываться на доверии команде — пути деривации ключей поставляются как open source, и любая третья сторона может аудировать граф деривации на отсутствие любой ветви, ведущей к проекту. До завершения внешнего аудита это «свойство дизайна, подлежащее проверке», а не «гарантия».
Политика мнемоники (планирование архитектуры, а не поставленный продукт): корневой ключ кошелька по умолчанию использует мнемонику из 24 слов (BIP39), а нижестоящие ключи выводятся через разделение доменов (HKDF + domain tags). Мнемоника никогда не должна появляться ни в одном потоке раскрытия; ни disclosure code, ни link_secret не могут быть выведены из одной мнемоники — grant TDC/ADC генерируются в момент добровольного раскрытия с помощью CSPRNG и локальной авторизации.
Граница видимости раскрытия (требование дизайна): видимая область удостоверения раскрытия — включая видимость исходящего направления — планируется гарантироваться правилами уровня консенсуса, а не соглашением реализации кошелька (отраслевой урок из Zcash, где исходящая видимость зависит от соглашения кошелька); это требование появляется со стеком on-chain проверки (roadmap Phase 5) и сегодня не реализовано.
Слой Disclosure Grant (в ожидании независимой проверки): слой Disclosure Grant — область, истечение, отзыв, журнал аудита и права viewer — ожидает независимой продуктовой и проверки безопасности. Пока эта проверка не завершена, ни на одно из этих граничных свойств нельзя полагаться, и никакой документ не может подразумевать, что они установлены.
7. Прототип раскрытия TDC / ADC
7.1 Терминология и кодирование
Официальный термин — «16-character Crockford Base32 disclosure code» (алфавит исключает легко путаемые символы I/L/O/U; энтропия короткого кода ~80 бит), сокращённо «16-character disclosure code». Формулировки вроде «16-digit code» или «16-digit security code» не используются — чисто числовая схема (~53 бита) отклонена из-за недостаточного бюджета энтропии.
«16-character disclosure code не является базовым криптографическим удостоверением безопасности. Это удобная для пользователя точка входа доступа; реальная авторизация должна совместно защищаться высокоэнтропийным disclosure credential, подписями, ограничениями области, истечением и логикой проверки.»
7.2 Реальное текущее состояние (обязательно к прочтению)
То, что есть у BEYUL, — это протестированный локально клиентский прототип деривации TDC/ADC. Сквозные серверные grant, проверка состояния цепочки и ZK balance proof планируются и не реализованы. Поэтому НЕЛЬЗЯ утверждать, что: проверяемое раскрытие реализовано; средства уже можно доказать; ADC может доказать точные балансы; или disclosure code можно проверить on-chain.
Клиентский прототип покрывает (протестировано локально): двухфакторный KEK (link_secret + 16-символьный код, оба обязательны); каноническое кодирование; привязку ролей отправителя/получателя TDC; разделение доменов TDC/ADC (ни один не может открыть другой); AEAD envelope с защитой от подмены AAD (клиентский TDC/ADC envelope; AAD on-chain envelope MsgDiscloseNote по-прежнему target — yellow paper §2.3); верификатор кода slow-hash (целевой набор Argon2id; продакшн-адаптер ещё не подключён); crypto-shredding erasure-key.
7.3 Семантика TDC и ADC
| Возможность | Раскрывает | Не раскрывает | Статус |
|---|---|---|---|
| TDC — Transaction Disclosure Code | Ограниченные поля одной транзакции/вывода, разделение ролей отправителя/получателя | spend authority, полную историю, будущие транзакции | Клиентский прототип деривации; серверная и цепочечная проверка не реализованы |
| ADC_L1 — Asset Disclosure Code, нижняя граница | Выбранное пользователем proof-of-funds / заявление о нижней границе | Полный баланс, notes, nullifiers, контрагентов, историю | Клиентский прототип деривации; система доказательств не реализована |
| ADC_L2 — Asset Disclosure Code, точный уровень | Точный снимок баланса выбранного актива на финализированной высоте | notes, nullifiers, контрагентов, историю | Только дизайн; требует источник полноты + ZK balance proof |
Трилемма раскрытия: система со скрытым владением не может одновременно обещать полноту баланса, отсутствие утечки истории и отсутствие viewing key — пользователь может доказать владение выбранными notes, но без дополнительного источника полноты не может доказать, что ничего не упущено. Поэтому ADC многоуровневый, и ADC раскрывает именно баланс выбранного множества активов на выбранной высоте — его нельзя описывать как «не раскрывает баланс».
Риски ADC (сохраняются публичными): повторные снимки одной и той же стороне раскрывают изменения баланса со временем; раскрытие чистой стоимости — риск физической безопасности и принуждения (ADC по умолчанию выключен и требует явного подтверждения); ротация не может отозвать то, что наблюдатель уже увидел.
7.4 FAQ по disclosure code
| Вопрос | Ответ |
|---|---|
| Что такое TDC | transaction disclosure code; раскрывает только ограниченную информацию об одной транзакции/выводе |
| Что такое ADC | asset disclosure code; раскрывает выбранный пользователем снимок баланса актива |
| Раскрывает ли ADC баланс | Да — ADC раскрывает выбранный снимок баланса (selected balance snapshot) |
| Может ли disclosure code тратить средства | Нет. Каждое disclosure credential должно нести canSpend=false (инвариант на уровне протокола) |
| Является ли disclosure code постоянным | Нет. Срок жизни в 24 часа — это значение по умолчанию по дизайну, а не навязываемое в настоящее время свойство — навязываемые сервером/консенсусом истечение и отзыв не реализованы; они навязываются будущим сервисом grant и проверки Layer 2 (roadmap Phase 5), не сегодня. Истечение envelope на стороне клиента демонстрируется только в прототипе E1 и может быть проигнорировано любым, кто владеет открытым текстом, поэтому это не навязываемое свойство. По дизайну удостоверения ограничены во времени и настраиваются пользователем: более долгие раскрытия требуют явного подтверждения, постоянное раскрытие не является значением по умолчанию, а отзыв (после навязывания) предотвращает будущий доступ, но не может стереть уже просмотренную или скопированную информацию |
| Выводится ли disclosure code из фразы восстановления | Нет. Disclosure credential доступны только для чтения, никогда не генерируются автоматически при создании кошелька, никогда не выводятся из фразы восстановления и не могут предоставить spend authority (canSpend=false). TDC — раскрытия по-транзакции; ADC — opt-in grant на уровне актива |
| Как защищён disclosure code | Два фактора (link_secret + 16-символьный код), AEAD envelope, привязка AAD, верификатор slow-hash; серверный rate-limiting и унифицированные ответы об ошибках ещё предстоит реализовать |
| Является ли disclosure code приватным ключом | Нет. Он не может перемещать активы и не может заменить ключи Spend/View/Audit; но не делитесь им небрежно — однажды раскрытая информация не может быть отозвана |
8. План testnet (текущий фокус)
8.1 Модель валидатора
Testnet использует модель валидатора BFT в стиле PoS: Cosmos SDK + CometBFT, начальный набор валидаторов и тестовые потоки модуля staking. Это не PoW, и это не экономическая безопасность PoS уровня mainnet — экономическая модель mainnet является долгосрочным исследованием вне области данного whitepaper.
8.2 Готовность testnet (прямо)
Готовность testnet в процессе: многоузловой runbook и связанные gate ещё не завершены (соответствующие pull request не все смержены, и проверки не проходят). Пока эти gate не закрыты и доказательства не зарегистрированы, данный проект не использует формулировку «testnet-ready».
Чек-лист перед запуском: пакет доказательств закрыт; chain-id и genesis testnet; руководство по онбордингу валидаторов; многоузловой runbook на 3+ узла; политика faucet и rate-limiting; политика публичного RPC/API; дашборд мониторинга; процесс реагирования на инциденты; список известных ограничений; поток команд участника; уведомление об отсутствии ценности тестового токена.
8.3 Что testnet может проверить / не может доказать
Может проверить: работу узлов и производство блоков, потоки модуля staking, faucet, RPC, мониторинг и реагирование на инциденты, демонстрационный поток disclosure-code, прототипный поток shielded module. Не может доказать: продакшн-приватность, экономическую безопасность PoS уровня mainnet, ценность токена, регуляторное принятие, продакшн ZK soundness. Запуск testnet нельзя продвигать как «продакшн-валидацию».
8.4 Уведомление участнику
Тестовые токены не имеют денежной ценности и не обещают конвертацию в mainnet; официального кошелька нет — участвуйте только с официально опубликованным инструментарием командной строки и документацией; ни один поток никогда не требует, чтобы ваша мнемоника входила в шаг раскрытия — любой «официальный», запрашивающий вашу мнемонику, — мошенник; в настоящее время нет никакой продажи токенов, частного раунда, whitelist или регистрации airdrop.
8.5 Управление, апгрейды и экономическая граница
На этой стадии pre-testnet у BEYUL нет децентрализованного управления. Апгрейды протокола и критичные для безопасности pin — параметры genesis и закреплённый (pinned) verifying key — контролируются начальным набором валидаторов вместе с Owner. Это прямо заявляемая централизованная модель доверия; она будет постепенно децентрализоваться лишь по мере взросления сети и её управления (нет DAO, нет обещанного графика децентрализации). Запуск валидатора сам по себе не даёт полномочий на апгрейд; pinned VK и genesis меняются только через путь апгрейда «набор валидаторов + Owner».
Экономическая граница. Деноминация, предложение и экономические параметры — это решения Owner — за gate, и не определяются в данном whitepaper (см. Статус токена выше). Ничто здесь не фиксирует деноминацию, предложение или токен-экономическую модель.
9. Модель угроз (публична до смягчения)
Организована по классам противника, согласована с моделью противника yellow paper (A1–A4). Это сводка; yellow paper является авторитетным эталоном модели угроз, и два документа не должны расходиться — при расхождении преимущественную силу имеет yellow paper.
- A1 — Пассивный наблюдатель цепочки (читает только публичные данные цепочки): корреляция сумм при публичных депозитах/выводах, корреляция тайминга, побочные каналы комиссий/gas — не смягчено. Commitments, nullifiers, anchors и счёт чистого потока пула публичны по дизайну.
- A2 — Сетевой/инфраструктурный противник (mempool, RPC, упорядочивание валидаторов, IP): наблюдение mempool, упорядочивание и цензура валидаторов, метаданные сетевого уровня — не смягчено (упорядочивание/цензура частично вне области протокола); внепротокольные метаданные бирж/мостов — вне области.
- A3 — Противник со стороны раскрытия (получатель раскрытия или держатель кода): пересылка раскрытия получателем криптографически неконтролируема; отзыв не реализован; раскрытие временных рядов и чистой стоимости ADC при повторных снимках; принуждённый выпуск — прямо заявлено, не смягчено.
- A4 — Противник на стороне устройства/социальной инженерии (устройство пользователя, фишинг): фишинг и социальная инженерия ради мнемоник или кодов, поддельные кошельки и поддельные официальные каналы — не смягчено; решается через обучение пользователей и список официальных каналов.
Сквозное, нерешённое: баги схемы, trusted setup, внешний аудит — не проверено / не решено / не завершено. Целостность предложения пула (gate G-S) открыта; сохранение и double-spend не заявляются как продакшн-свойства, в ожидании in-circuit и keeper value-balance с согласованностью ширины 128↔64 бит (зеркало yellow paper §12.3). Путаница относительно ценности тестовых токенов и вознаграждений не допускается — тестовые токены не имеют ценности, и любой учёт вознаграждений симулирован.
10. Roadmap (на основе gate, без обещаний дат)
Каждая возможность должна находиться ровно в одном состоянии: Implemented / Local tested / Prototype / Documentation only / Planned / Unverified / Not implemented. Ни одно заявление не может быть написано как «реализовано» без commit, записи CI, команды теста и вывода.
| Фаза | Цель | Критерии выхода (сводка) |
|---|---|---|
| Phase 0 — Закрытие доказательств и определение области документа ← текущая | Закрыть evidence appendix; ограничить публичный нарратив testnet | Каждое реализованное заявление доказано; нет коннотаций токен/кошелёк/DeFi/mainnet |
| Phase 1 — Готовность testnet | Завершить чек-лист Раздела 8.2 | devnet на 3+ узла стабилен; runbook воспроизводим; проверки PR зелёные |
| Phase 2 — Публичный testnet | Контролируемый публичный эксперимент | Внешние узлы могут присоединяться; злоупотребление faucet под контролем; нет введения в заблуждение о mainnet или доходности |
| Phase 3 — TDC MVP | Сквозной grant одной транзакции | Поведение при неверном коде/истечении/исчерпании безопасно; существование grant не утекает; только ограниченные поля |
| Phase 4 — ADC_L1 | Proof of funds нижней границы | Никогда не описывается как точный баланс; риск временных рядов публичен; TDC/ADC взаимно не открываемы |
| Phase 5 — On-chain проверка раскрытия | Проверка root-bound | Неверная chain/root/scope/asset все отклоняются; защита от replay |
| Phase 6 — Продакшн-путь ZK | Аудируемая система доказательств | dev verifying keys выведены из эксплуатации; внешний криптографический аудит; нет заявления «production ZK» до завершения |
| Phase 7 — ADC_L2 | Точный снимок баланса | Полнота доказуема; нет утечки истории; никогда не становится долгоживущим viewing key |
| Phase 8 — Внешний аудит и pre-mainnet | Pre-mainnet ревью | Аудиты протокола/криптографии/реализации; юридическое ревью; публичный пакет доказательств |
Порядок необратим: testnet → TDC MVP → ADC_L1 → root-bound verification → production ZK → ADC_L2 → audit → pre-mainnet.
11. Граница соответствия
BEYUL не является решением для соответствия: он не реализует рабочие процессы AML, KYC, travel-rule, заморозки, скрининга санкций или отчётности и не заявляет о «compliant by design». Всякое раскрытие инициируется пользователем; в протоколе нет канала принудительного раскрытия; текущий дизайн не включает контролируемый проектом глобальный viewing key (подлежит проверке через открытую реализацию и аудит). Учреждения и частные лица должны независимо оценивать регуляторную позицию своей юрисдикции в отношении приватных активов.
12. Заявление о рисках и оговорка
Данный документ предназначен только для информационных целей и не представляет собой и не должен толковаться как: предложение или продажа ценной бумаги, товара или финансового инструмента; инвестиционный, юридический, налоговый или финансовый совет; или заявление о соответствии в какой-либо юрисдикции. Он содержит прогнозные заявления (цели проектирования, планы testnet, roadmap), подверженные существенной неопределённости; фактические результаты могут существенно отличаться.
У данного проекта в настоящее время нет выпущенного токена; тестовые токены, если используются, не имеют денежной ценности. Участие в сетях крипто-активов сопряжено с существенными рисками. Проводите собственное исследование и консультируйтесь с профессиональными советниками. Там, где какой-либо перевод противоречит этой английской канонической версии, преимущественную силу имеет эта английская версия. Эта оговорка является общим шаблоном и должна быть проверена юридическим советником в соответствующей юрисдикции до любой формальной публичной публикации.
13. Заключение
Направление BEYUL — приватность по умолчанию с раскрытием под контролем пользователя. Его заслуживающие доверия активы сегодня: прототип chain-application, протестированный локально клиентский прототип деривации TDC/ADC, а также таблица статуса и модель угроз, строго согласованные с реализацией. Единственный текущий фокус — предпосылки запуска публичного testnet: закрытие доказательств, многоузловой runbook, faucet и мониторинг, документация участника. Пока не появятся соответствующие доказательства, данный проект не делает заявлений о mainnet, токене, продакшн-приватности или соответствии.