# Дорожная карта Монеро-Монтана

**Версия:** 1.0 draft
**Зависимости:** mainnet readiness Монтаны (G1–G3, G5 в [Mainnet-Readiness](../Mainnet-Readiness.md))

## Принципиальный порядок

```
M9 → M10 → M11 → M12 → M13
└──┬──┘   └─┬──┘   └──┬───┘
public-     atomic    PQ-private
launch      swap      layer
```

Atomic swap не требует full PQ-private layer — это самостоятельный milestone после public mainnet.
PQ-private layer — separate research track который может идти параллельно.

## Этапы

### M9 — Public mainnet (предварительная)

**Зависимость:** ничего из Монеро-Монтана.
**Что должно быть закрыто:** G1–G3, G5 в [Mainnet-Readiness](../Mainnet-Readiness.md).
**Срок:** определяется внешними факторами (внешний аудит, набор операторов).

После закрытия M9 публичная Montana работает в launched mainnet режиме без приватного слоя. Все переводы прозрачны как сейчас.

### M10 — Pre-Monero hardening

**Зависимость:** M9 mainnet.
**Срок:** 2–4 недели после M9.

Что:
1. Опубликовать [Вызов Монеро-сообществу](Вызов-Монеро-сообществу.md) через каналы автора.
2. Ожидание ответа Monero community (4–12 недель). Параллельно — внутренний research.
3. Если ответ negative или отсутствует → переименовать "Монеро-Монтана" в "Montana Privacy Layer" без референса к Monero.
4. Если ответ positive → начать совместный технический dialog.

### M11 — Atomic Swap Montana ↔ Monero

**Зависимость:** M9 mainnet, M10 communication results.
**Срок:** 2–6 месяцев после M9.

Этапы внутри M11:

#### M11.1 — Спецификация HTLC operations
- [ ] MIP-001 «HTLC Operations in Account Chain»
- [ ] Спецификация типов: `HTLCLock`, `HTLCClaim`, `HTLCRefund`
- [ ] Описание token transitions (lock → claim/refund)
- [ ] Включение в основную спеку Montana Protocol

#### M11.2 — Reference implementation на Montana
- [ ] crate `mt-htlc` с full HTLC support
- [ ] Тесты на single-node, multi-node, partition scenarios
- [ ] Интеграция в `montana-node`

#### M11.3 — Monero side adapter
- [ ] Изучение xmr-btc-swap кодовой базы (COMIT)
- [ ] Адаптация adaptor signature wrapper'а для Monero ↔ Montana
- [ ] Standalone daemon `monero-montana-swapd`

#### M11.4 — Тестовая сеть swap
- [ ] Тест swap'а Monero stagenet ↔ Montana stagenet
- [ ] Многократные swaps под нагрузкой
- [ ] Тест сценариев refund (timeout)
- [ ] Тест сценариев partition

#### M11.5 — Audit + production launch
- [ ] Внешний security audit обеих сторон
- [ ] Bug fixes
- [ ] Mainnet activation HTLC operations через MIP soft fork
- [ ] Публикация инструмента для пользователей

### M12 — Public Monero ↔ Montana production

**Зависимость:** M11 завершён.
**Срок:** 1–3 месяца после M11.

- Стабильная работа atomic swap.
- Документация для пользователей.
- Поддержка через wallets (если Monero community согласна интегрировать).
- Мониторинг volume, latency, success rate swaps.

### M13 — PQ-Private Layer (research+impl track)

**Зависимость:** M9 mainnet (НЕ зависит от M11/M12). Может идти параллельно.
**Срок:** 12–24 месяца параллельной работы.

Этапы:

#### M13.1 — Research consolidation
- [ ] Окончательный выбор PQ ring signature schema (MatRiCT+ или новейшее).
- [ ] Окончательный выбор PQ range proof schema.
- [ ] PQ stealth address derivation корректность proof.
- [ ] Консолидация в обновлённую [Архитектура.md](Архитектура.md).

#### M13.2 — Reference cryptographic library
- [ ] Rust crate `mt-pq-privacy` с lattice ring sigs, PQ stealth, PQ range proofs.
- [ ] Полное audited cryptographic implementation.
- [ ] Performance optimization (target <50 КБ за private transaction).

#### M13.3 — Account Chain extension
- [ ] Спецификация private mode opt-in на уровне Account.
- [ ] Type extension: `PrivateTransfer` operation.
- [ ] Nullifier set management.
- [ ] Private balance reveal procedure.

#### M13.4 — Node implementation
- [ ] Поддержка private operations в `montana-node`.
- [ ] Verification performance optimization.
- [ ] Storage оптимизация (private operations большие).

#### M13.5 — Тестовая сеть PQ-private
- [ ] Запуск private layer на тестовой Montana сети.
- [ ] Stress-тест на throughput.
- [ ] Privacy analysis: реальная anonymity при разных anonymity set sizes.

#### M13.6 — Audit + production
- [ ] Внешний audit cryptographic library.
- [ ] Внешний audit privacy properties.
- [ ] Mainnet activation private layer через MIP-002.

## Критические точки решения

### Решение R1 (после M10): Monero сотрудничество — Y/N?

| Сценарий | Ответ Monero | Действие |
|----------|--------------|----------|
| Positive | Сотрудничают по review/swap | Продолжаем M11 с brand "Монеро-Монтана" |
| Neutral / нет ответа | 12+ недель тишина | Делаем M11 с brand "Montana Atomic Swap with Monero" — нейтрально |
| Negative | "Не нужно" | Делаем atomic swap унилатерально как technical interop, без brand. M13 с brand "Montana Privacy Layer" без Monero |

### Решение R2 (после M11): Atomic Swap или сразу M13?

Если M11 успешно работает в production — можно выбирать:
- **Опция A:** Сосредоточиться на M13 (PQ-private layer) — более амбициозно, дольше.
- **Опция B:** Расширить M11 на другие приватные сети (Zcash atomic swap?, ETH с tornado-style?) — приватность через interop, не через native.

R2 решается на основе того что показал M11 (в т.ч. насколько "приватность Monero снизу" достаточна, или нужен native).

### Решение R3 (внутри M13): Какая PQ schema?

Зависит от research progress в академии за следующие 12–24 месяца. К моменту начала M13.1 нужно проверить SOTA.

## Бюджет и ресурсы (грубо)

Это некоммерческий проект; "бюджет" в смысле времени и сторонних услуг.

| Этап | Авторская работа (мес) | Внешние услуги |
|------|------------------------|----------------|
| M11 (atomic swap) | 4–6 мес | Аудит ≈ $30–80k (только если коммерческий путь возможен) |
| M13 (PQ-private) | 12–24 мес | Аудит cryptographic library ≈ $50–150k |

Без внешнего бюджета на аудит:
- Использовать internal review + Claude Opus 4.7 critics (как сейчас)
- Использовать формальную верификацию (TLA+) для consensus и crypto reductions
- Prioritize bullet-proof logic over external audit

Это снижает confidence но не блокирует production.

## Зависимости от внешних факторов

| Фактор | Влияние | Mitigation |
|--------|---------|------------|
| Monero community engagement | Critical для brand "Монеро-Монтана" | R1 fallback на нейтральный brand |
| MatRiCT+ или newer SOTA в lattice ring sigs | Критично для M13 | Мониторим публикации; fallback на STARK-based |
| External audit budget | Критично для full production confidence | Internal + formal verification как baseline |
| Operator network growth (G3) | Критично для M9 | См. [M9-Расширение-Сети](../11%20Тестовая%20Сеть/M9-Расширение-Сети.md) |

## Связанные документы

- [README](README.md) — overview папки.
- [Архитектура](Архитектура.md) — техническая спецификация.
- [Вызов Монеро-сообществу](Вызов-Монеро-сообществу.md) — M10 deliverable.
- [Atomic Swap протокол](Atomic-Swap-Протокол.md) — M11 deliverable.
- [Постквантовые замены](Постквантовые-замены.md) — M13 research basis.
- [Mainnet-Readiness](../Mainnet-Readiness.md) — M9 предварительная зависимость.