Mainnet Readiness — статус 2026-05-04

Текущее состояние сети: ✅ operating, pre-launch Network name (genesis-manifest): montana (production-grade именование, без testnet-suffix) Дата запуска цепи: 2026-05-02 19:28 MSK Текущая длина цепи: ≈ 8086 окон ≈ 5.6 суток непрерывной работы Активный оператор: Moscow genesis (Active phase); Frankfurt + Helsinki в CandidateVdf

Текущие узлы (M8 cross-machine)

Узел	Регион	IP	Phase	Window	D	peer_id
мос	Москва	176.124.208.93:8444	Active	8086	325000000	12D3KooWE6kn…dL3
фра	Frankfurt	89.19.208.158:8444	CandidateVdf	8085	325000000	12D3KooWMzPB…Qrn
зел	Helsinki	91.132.142.42:8444	CandidateVdf	8083	325000000	12D3KooWEzWH…G3P7

Все 3 узла:

Подключены через mt-net-tcp на TCP/8444 с TLS-A pinning.
Heartbeat OK с двумя другими peer'ами.
Broadcast Proposal к 2 peer(s) на каждом окне.
Drift 1–3 окна между узлами — нормальная сетевая задержка.

Состояние гейтов

№	Гейт	Статус	Прогресс
G1	Внешний security audit	🟡	Внутренний baseline-аудит готов (Internal-Audit-2026-05-04). Нужен независимый внешний (Trail of Bits / Cure53 / NCC).
G2	Формальная верификация Safety/Liveness	🟡	TLA+ модель PoT готова (PoT.tla). Нужны TLAPS proofs + расширение модели.
G3	n≥9 независимых операторов	🟡	План готов (M9-Расширение-Сети). Текущие 3 узла — один автор, нужны независимые третьи.
G4	~~Bug bounty~~	⚪ Снят	Не применим — проект некоммерческий.
G5	Документация оператора для не-программиста	🟢	Гайд оператора готов.
G6	Token-economic finality publicly declared	🟡	Декларация-черновик готова. Подпишется при закрытии G1–G3.

Что закрыто полностью

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

Что закрыто частично (🟡)

🟡 G1 — Внутренний baseline-аудит готов в Internal-Audit-2026-05-04. 12 findings: 0 Critical, 2 High (single-implementation, отсутствие внешнего аудита), 4 Medium, 3 Low, 3 Info. Внешний аудит у независимой компании остаётся обязательным для full closure.

🟡 G2 — TLA+ модель Proof of Time с 4 теоремами безопасности готова в 10 Формальная верификация. Model checking при N=4 операторов проходит. TLAPS proof obligations и расширение до N≥7 — следующая итерация.

🟡 G3 — План расширения сети готов в M9-Расширение-Сети. Закрытие требует 6+ независимых третьих операторов в разных юрисдикциях (Path A в плане). Same-author redundancy (Path B) физически увеличивает n но G3 не закрывает по причине monoculture risk (см. F-01 в внутреннем аудите).

🟡 G6 — Декларация launch'а в формальном стиле составлена в Mainnet-Declaration-Draft. Подписание — только при закрытии G1–G3.

Дорожная карта закрытия

Параллельный трек (пока не зависит от внешних)

Внутренний baseline-аудит (12 findings документированы)
TLA+ модель PoT (4 теоремы + model check config)
Гайд оператора для не-программиста
Mainnet declaration черновик
Расширенная TLA+ модель (N≥7) + TLAPS proofs
Закрытие F-09 (operational ufw проверка на всех узлах)
Релиз-теги semver (v0.1.0-m8 текущий код)
Публикация бинаря в releases на хабе
Публикация genesis-manifest.json открыто
Numerical D-калибровка benchmark на 5+ платформах (F-04)
Operator runbook для disputes (F-07)

Внешний трек (требует третьих сторон)

Найти 6+ независимых операторов → закрыть G3
Заключить договор с компанией-аудитором → начать G1
Получить PDF-отчёт аудитора → закрыть G1
Закрыть все Critical/High findings из внешнего аудита

Подписание launch'а

Когда все четыре 🟡 → 🟢, подписать Mainnet Declaration
Опубликовать подписанную декларацию на montana.quest
С этого момента token-economic finality активна

Что НЕ требует закрытия

⚪ G4 — Bug bounty снят. Проект некоммерческий, мотивация участия — идейная (ранние операторы получают эмиссию TC после Active phase).
⚪ Rebrand или mainnet-конфигурация — network_name = montana уже production-grade, никакой переключатель не нужен.
⚪ Отдельный mainnet-токен — TC одна, эмитируется по поокнной модели с самого Genesis.

Архитекторская позиция

Сеть montana уже работает и крутит каноническую цепь. Декларация mainnet — это юридическо-экономическое заявление о финальности, не техническое изменение. Объявлять при незакрытых гейтах = противоречие внутреннему аудиту, TLA+ модели и 3-pillar критике. Ни один из этих документов не выглядит хорошо если они говорят «есть проблемы», а декларация говорит «всё запущено».

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

8.8 KiB Raw Permalink Blame History Unescape Escape