План розвитку

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

Готово

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