montana/Formal-Docs

Формальная Документация Монтаны

Полный набор документов для production-grade L1-блокчейна.

Структура соответствует индустриальному стандарту зрелого протокола: три обязательных слоя (Research / Engineering / Security) и расширенный слой (Advanced).

Статус документов

№	Документ	Слой	Статус
01	Консенсус — Proof of Time	Research	🟡 Черновик
02	Криптография	Research	🟡 Черновик
03	Денежная экономика	Research	🟡 Черновик
04	Спецификация протокола	Engineering	🟢 v35.25.0
05	Сетевой слой	Engineering	🟡 Черновик
06	Прикладной слой	Engineering	🟡 Черновик
07	Модель угроз	Security	🟡 Черновик
08	Стимулы и теория игр	Security	🟡 Черновик
09	Внешний аудит	Security	🔴 Не начат
10	Формальная верификация	Advanced	🔴 Не начат
11	Тестовая сеть	Advanced	🟡 M5–M8 в Коде
12	Управление и обновления	Advanced	🟡 Черновик

🟢 — production-ready. 🟡 — есть содержимое, нужна доработка/рецензия. 🔴 — отсутствует, требуется внешняя работа.

Принцип

Зрелый L1-блокчейн имеет три обязательных слоя:

1. Research — академическая часть. Доказательства, не маркетинг.
2. Engineering — инженерная спецификация. Узел можно написать с нуля по этим документам.
3. Security — модель угроз, теория игр, внешний аудит. Без этого нельзя говорить о безопасности.

Дополнительно (Advanced): формальная верификация, документация тестовой сети, модель управления.

Пока существует не весь набор — проект остаётся на стадии prototype/research. Production-grade достигается, когда все 12 документов доведены до ready.

Связанные источники

• Главная спецификация v35.25.0 — основной протокольный документ, 4412 строк
• Whitepaper RU
• Whitepaper EN
• Whitepaper ZH
• SECURITY.md
• Внешний аудит — текущие критики — пока внутренние ИИ-критики, нужен независимый
• Код M5–M8 — реализация