План развития

2027 год

2027

2027 Q1

Запланировано

Формальные доказательства ключевых свойств системы в Lean (запланировано)
Запуск тестовой сети (запланировано)

2026 год

2026

2026 Q4

Запланировано

Реализация логических часов и механизмов обеспечения уровня изоляции (в работе)
Инструмент отладки и наблюдаемости TVM в стиле «GDB» (в работе)
Завершение модели учёта затрат (в работе)
Интеграция с инструментами Ethereum (в работе)
Реализация и тестирование контракта proof-of-stake (PoS) (запланировано)
Реализация механизмов синхронизации и восстановления после сбоев (запланировано)
Реализация сборки мусора (запланировано)
Примеры Solidity, демонстрирующие оркестрацию смарт-контрактов / агентов (async/await, join, select) (запланировано)

2026 Q3

Готово

Поддержка синхронных функций наряду с существующими асинхронными, с замыканиями и частичным применением (завершено)
Начальный системный реестр, абстракция аккаунтов и контракты получения и делегирования полномочий (завершено)
Упрощение планировщика задач TVM и тестирования конкурентного выполнения (завершено)
Отслеживание контекстов выполнения на основе журнала для надёжного отката вложенных контекстов (завершено)
Эталонный интерпретатор Tolang для проверки вывода компилятора (завершено)
Форматировщик Tolang, макрос Rust tolang!, переход к определению и переименование в IDE (завершено)
Клиент API на TypeScript с типизированными привязками, сгенерированными из RPC-интерфейса узла (завершено)
Новый интерпретатор TVM с вложенными коллекциями, циклами, замыканиями и начальным учётом газа (на проверке)
Новая песочница EVM на основе перехватов (в работе)

2026 Q2

Готово

Собственный парсер Tolang (завершено)
Поддержка констант времени компиляции в Tolang (завершено)
Языковой сервер Tolang и расширение Tolang для VS Code (завершено)
Рефакторинг тестового фреймворка (завершено)
Полное сквозное интеграционное тестирование системы, включая слой консенсуса (завершено)
Завершение реализации API (завершено)
Разработка CLI узла (завершено)
Специализированный обозреватель блокчейна для визуализации межблочного выполнения и атомарной финализации (завершено)
Новая песочница EVM на основе перехватов (в работе)
Интеграция с инструментами Ethereum (в работе)

2026 Q1

Готово

Упрощение механизма воспроизведения для межблочного выполнения (завершено)
Новая песочница EVM для повышения эффективности и упрощения (завершено)
Рефакторинг консенсуса, базы данных и инфраструктуры TVM для улучшения модульности (завершено)
Реализация тестов межблочного выполнения и воспроизведения ленивыми валидаторами (завершено)
Разработка TupleSpace Explorer для визуализации состояния и прогресса выполнения (завершено)

2025 год

2025

2025 Q4

Готово

Тестирование межблочного выполнения без консенсуса (завершено)
Рефакторинг инфраструктуры TVM для улучшения модульности (в работе)
Спецификация и реализация конечных точек API (в работе)
Проектирование логических часов и механизма обеспечения уровня изоляции (завершено)

2025 Q3

Готово

Механизм выполнения, пробуждения, упаковки и воспроизведения длинных транзакций через несколько блоков и фронтиров финализации (завершено)
Рефакторинг модуля базы данных для повышения производительности и эффективности (в работе)
Рефакторинг инфраструктуры TVM для улучшения модульности (в работе)

2025 Q2

Готово

Реализация и тестирование Weaklink в протоколе BlockGit (завершено)
Простые поведенческие типы каналов для упрощения архитектуры TVM и повышения надёжности (завершено)
Тестовый фреймворк для случайно генерируемого кода Tolang и интеграция с CI (завершено)
Рефакторинг логики воспроизведения (завершено)

2025 Q1

Готово

Рефакторинг всей системы в событийную архитектуру для максимальной конкурентности выполнения транзакций, воспроизведения блоков и предложения блоков (завершено)
Реализация конечных точек RPC и обновление BlockGit для обработки отсутствующих блоков (завершено)
Устранение утечек памяти в BlockGit и повышение производительности (завершено)
Введение Weaklink в протокол BlockGit и частичная реализация (завершено)

2024 год

2024

2024 Q4

Готово

Интеграция BlockGit в узловую платформу (завершено)
Тестирование протокола консенсуса в сети Docker (завершено)
Реализация алгоритма разрешения конфликтов при слиянии блоков (завершено)
Рефакторинг модуля хранения для поддержки запросов и фиксации состояния (завершено)

2024 Q3

Готово

Контекст выполнения с поддержкой отката части выполнения (завершено)
Проектирование и первоначальная реализация нового протокола консенсуса BlockGit (завершено)
Симулятор дискретных событий для проверки реализации протокола консенсуса (завершено)
Модуль P2P с начальной интеграцией BlockGit (завершено)

2024 Q2

Готово

Рефакторинг и унификация логики выполнения и воспроизведения пространства кортежей (завершено)
Реализация выполнения и воспроизведения внешнего вызова HTTPS, демонстрирующая активное взаимодействие с системами Web 2.0 без оракулов / ретрансляторов (завершено)
Первоначальная реализация протокола консенсуса Blocklace (завершено)
Переработка управления состоянием для снижения использования памяти (завершено)
Проектирование структуры данных и алгоритма логических часов для обеспечения уровней изоляции (завершено)

2024 Q1

Готово

Реализация и тестирование глобального реестра (завершено)
Поддержка функционального программирования в Tolang и TVM (завершено)
Поддержка потокобезопасных последовательных вычислений в конкурентной TVM (завершено)
Предварительное тестирование совместимости с EVM (завершено)
Реализация хранения состояния EVM для уровня изоляции read-committed (завершено)
Рефакторинг кода и комплексная проверка корректности и воспроизводимости TVM (завершено)

2023 год

2023

2023 Q4

Готово

Реализация нового диспетчера задач для улучшенной обработки ошибок и поддержки локальности потоков (завершено)
Повышение производительности за счёт поддержки последовательных вычислений (завершено)
Тестирование специальных типов каналов (завершено)
Упрощение журнала воспроизведения с помощью специальных типов каналов (завершено)

2023 Q3

Готово

Тестирование слоя хранения (завершено)
Тестирование выполнения и детерминированного воспроизведения конкурентной виртуальной машины (завершено)
Спецификация и реализация специальных типов каналов (завершено)

2023 Q2

Готово

Реализация выполнения и воспроизведения конкурентной виртуальной машины (завершено)
Спецификация и реализация слоя хранения (завершено)

2023 Q1

Готово

Реализация и тестирование опкодов конкурентной виртуальной машины (завершено)
Структура данных для детерминированного воспроизведения конкурентных транзакций (завершено)