montana/Formal-Docs/README.md

47 lines
3.5 KiB
Markdown
Raw Blame History

This file contains ambiguous Unicode characters

This file contains Unicode characters that might be confused with other characters. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.

# Формальная Документация Монтаны
Полный набор документов для production-grade L1-блокчейна.
Структура соответствует индустриальному стандарту зрелого протокола: три обязательных слоя (Research / Engineering / Security) и расширенный слой (Advanced).
## Статус документов
| № | Документ | Слой | Статус |
|---|----------|------|--------|
| 01 | [Консенсус — Proof of Time](01-Consensus/) | Research | 🟡 Черновик |
| 02 | [Криптография](02-Cryptography/) | Research | 🟡 Черновик |
| 03 | [Денежная экономика](03-Economics/) | Research | 🟡 Черновик |
| 04 | [Спецификация протокола](04-Protocol-Spec/) | Engineering | 🟢 v35.25.0 |
| 05 | [Сетевой слой](05-Network-Layer/) | Engineering | 🟡 Черновик |
| 06 | [Прикладной слой](06-Application-Layer/) | Engineering | 🟡 Черновик |
| 07 | [Модель угроз](07-Threat-Model/) | Security | 🟡 Черновик |
| 08 | [Стимулы и теория игр](08-Incentives-Game-Theory/) | Security | 🟡 Черновик |
| 09 | [Внешний аудит](09-External-Audit/) | Security | 🔴 Не начат |
| 10 | [Формальная верификация](10-Formal-Verification/) | Advanced | 🔴 Не начат |
| 11 | [Тестовая сеть](11-Testnet/) | Advanced | 🟡 M5M8 в Коде |
| 12 | [Управление и обновления](12-Governance-Updates/) | Advanced | 🟡 Черновик |
🟢 — production-ready. 🟡 — есть содержимое, нужна доработка/рецензия. 🔴 — отсутствует, требуется внешняя работа.
## Принцип
Зрелый L1-блокчейн имеет три обязательных слоя:
1. **Research** — академическая часть. Доказательства, не маркетинг.
2. **Engineering** — инженерная спецификация. Узел можно написать с нуля по этим документам.
3. **Security** — модель угроз, теория игр, внешний аудит. Без этого нельзя говорить о безопасности.
Дополнительно (Advanced): формальная верификация, документация тестовой сети, модель управления.
Пока существует не весь набор — проект остаётся на стадии prototype/research. Production-grade достигается, когда все 12 документов доведены до ready.
## Связанные источники
- [Главная спецификация v35.25.0](../Montana-Protocol/Montana%20Protocol%20v35.25.0.md) — основной протокольный документ, 4412 строк
- [Whitepaper RU](../Montana-Protocol/Whitepaper%20Montana%20RU.md)
- [Whitepaper EN](../Montana-Protocol/Whitepaper%20Montana.md)
- [Whitepaper ZH](../Montana-Protocol/Whitepaper%20Montana%20ZH.md)
- [SECURITY.md](../Montana-Protocol/SECURITY.md)
- [Внешний аудит — текущие критики](../Montana-Protocol/External-Audit/) — пока внутренние ИИ-критики, нужен независимый
- [Код M5M8](../Montana-Protocol/Code/) — реализация