178 lines
9.4 KiB
Markdown
178 lines
9.4 KiB
Markdown
# Дорожная карта Монеро-Монтана
|
||
|
||
**Версия:** 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 предварительная зависимость.
|