Многоисточниковый публичный подход к доказательствам
Цель: Техническое чтение наблюдаемых рисков и пробелов в доказательствах для должной осмотрительности (не маркетинг).
Реальный объем: Архитектура (заявленная), публичная реализация (официальные репозитории), операция/периметр (сканирование веб-сайта) и внешние сигналы (Skynet + on-chain explorer + рыночные метрики).
Вне объема: Отчеты о эксплуатации, аудит кода построчно или требования без доказательств.
🎭 Многоцветная карта анализа (7 слоев)
🔴 Красный (Атака): Реальные поверхности, которые могут быть уязвимыми на основе существующей архитектуры.
🔵 Синий (Защита): В настоящее время наблюдаемые сигналы и телеметрия.
🟣 Фиолетовый (Интеграция): Связь между Атакой ↔ Обнаружением ↔ Сохраняемыми доказательствами.
⚪ Белый (Надзор): Институциональные контроль, отслеживаемость и пробелы формального аудита.
🟡 Желтый (Структура): Факты против пробелов; повторяемый контрольный список.
🟠 Оранжевый (Лаборатория): Элементы для эмпирической валидации с минимальной инфраструктурой.
🟢 Зеленый (Судебный): Улавливаемые доказательства для временной шкалы и корреляции.
0) Пакет доказательств v0.2 (Используемые источники)
Основной (Проект/В цепочке): Официальная документация, Белая книга v3.0.0, Официальный GitHub (организация), "Узел Rusk" (Rust), Официальный установщик узлов, репозиторий "dusk-protocol" (WIP) и Etherscan (ERC-20 DUSK).
Внешние сигналы: CertiK Skynet Project Insight (полезно для сигналов, не для формального доказательства), CoinMarketCap (рыночные данные/проверки согласованности).
1) 🟡 Минимальная техническая идентичность
Проверенный факт (Документы/Белая книга): Dusk представляет собой блокчейн "конфиденциальности" для регулируемого финансирования с элементами конфиденциальности и соблюдения.
Проверенный факт (Публичная реализация): Существует операционный стек и узел на Rust (Rusk) с сопутствующими инструментами.
Проверенный факт (Наблюдаемый актив): Skynet/Etherscan указывают на токен ERC-20 на Ethereum: 0x940a2db1b7008b6c776d4faaca729d6d4a4aa551.
GAP (Не подлежит проверке): Полные формальные гарантии протокола, обновленные количественные инварианты и окончательная опубликованная официальная модель угроз (ссылка: "dusk-protocol WIP").
2) 🟡 Заявленная архитектура против публичной реализации
2.1 Дизайн (Заявки): Белая книга v3.0.0 описывает реестр с консенсусом Proof-of-Stake (PoS). Официальные документы описывают требования к конфиденциальности + регуляторные требования.
2.2 Реальная реализация (Аудируемая):
Rusk: Клиент узла и платформа смарт-контрактов (поддерживает локальное выполнение/сборки).
Установщик узла: Официальный инструмент для развертывания Mainnet/Testnet/Devnet.
dusk-blockchain (Go): Устаревший; заменен реализацией на Rust.
dusk-protocol: Официальная документация все еще отмечена как "WIP" (явные свидетельства неполноты).
3) ⚪ Сигналы гарантии (Аудит, KYC, Баунти)
3.1 Аудиты: Skynet указывает "Не проверено CertiK / Аудит третьей стороны: Нет."
Недостаток готовности к аудиту: Без отслеживаемого публичного отчета (Находки → Исправления → Коммиты), гарантия кода остается слабой на основе публичных доказательств.
3.2 KYC / Проверка команды: Skynet указывает "Не проверено." Это представляет собой вакуум верификации в доступной телеметрии.
3.3 Баунти за ошибки: Нет официального вознаграждения, зарегистрированного. Нет публичного сигнала о канале раскрытия с поощрением.
4) 🟢 Наблюдаемая поверхность (Веб-периметр + Публичная телеметрия)
4.1 Веб-периметр (Сканирование сайта): Отсутствуют заголовки жесткой защиты (X-Frame-Options, HSTS, X-Content-Type-Options, CSP).
Ограничение: Это затрагивает веб-интерфейс; это не доказывает уязвимость в ядре протокола.
4.2 Доказательства в цепочке (Etherscan):
Проверка качества данных: Etherscan показывает максимальное общее предложение = 500,000,000 DUSK, в то время как CoinMarketCap указывает 1,000,000,000.
Импликация готовности к аудиту: Несоответствие поставок между источниками в цепочке и агрегаторами. В технической оценке приоритет отдается исследователю в цепочке.
5) 🔴 Поверхность атаки (основанная на доказательствах)
A) Узел/Цепочка: Локальная компиляция/выполнение (Rusk) → P2P/RPC векторы, управление состоянием и валидация входных данных.
B) Развертывание: Установщик узла → Операционная/человеческая поверхность (ошибки конфигурации, версионирование).
C) Крипто-примитивы: Несколько репозиториев ZK (например, PLONK, кривые) → Критическая внутренняя цепочка поставок; изменения в этих библиотеках имеют высокий импакт.
D) Токен ERC-20: Концентрация поставок/держателей может усилить события, связанные с хранением и ликвидностью (операционно-рыночный риск).
6) 🔵 Доступные защитные сигналы
Прямые наблюдаемые данные: Статус репозитория (активность, устаревания), объем официальной документации и сигналы веб-позиции от сканеров.
Метрики в цепочке: Предложение токенов, держатели и переводы через исследователей.
GAP: Нет публично наблюдаемой производственной телеметрии (SLOs/SLAs), полных инструкций по эксплуатации или формального реагирования на инциденты.
7) ⚪ Критические GAP для формального аудита
Неполная формальная спецификация: Репозиторий "dusk-protocol" все еще WIP. Количественные инварианты не на 100% подлежат проверке.
Отсутствие отслеживаемой гарантии: Нет публичных отчетов об аудите с историей находок/ремедиации.
Отсутствие оперативных инструкций: Безопасная работа зависит от оператора без публичного операционного контракта/руководства.
8) 🟠 Лабораторная валидация (Эмпирическая)
Локальный узел (Rusk): Создание/тестирование, базовая стабильность, расхождение версий и вызванные сбои процесса/сети (требуется локальная среда).
Воспроизводимая установка: Чистая установка, откат и согласованность среды (Mainnet/Test/Dev).
Цепочка зависимостей: Мониторинг изменений в библиотеках ZK/Crypto организации.
9) 🟢 Минимальные судебные доказательства (воспроизводимые)
Снимки документов/Белой книги (SHA256 хэш PDF).
Снимки репозиториев (Теги/Коммиты).
Снимок обзора токена Etherscan (Поставки/Держатели).
Снимок находок сканирования сайта Skynet.
Операционное заключение
Через несколько публичных источников Dusk показывает реальные доказательства реализации (узел Rust + инструменты) и солидную академическую базу. Тем не менее, остаются значительные пробелы в институциональном аудите: официальная документация "WIP", отсутствует отслеживаемая публичная гарантия, и существуют противоречия в данных о поставках между агрегаторами и исследователями в цепочке.
Конец отчета.
$DUSK
