ALUX

로드맵

최종 업데이트: 2026년 10월 5일

2027년

2027

2027년 1분기

계획됨

핵심 시스템 속성에 대한 Lean 형식 증명 (예정)
테스트넷 출시 (예정)

2026년

2026

2026 Q4

계획됨

논리 시계와 격리 수준 강제 메커니즘 구현 (WIP)
"GDB" 스타일의 TVM 디버깅 및 관측성 도구 (WIP)
비용 회계 모델 완성 (WIP)
Ethereum 툴체인 통합 (WIP)
Proof-of-Stake(PoS) 컨트랙트 구현 및 테스트 (계획됨)
동기화 및 장애 복구 메커니즘 구현 (예정)
가비지 컬렉션 구현 (예정)
스마트 컨트랙트/에이전트 오케스트레이션을 보여 주는 Solidity 예제 제공 (async/await, join, select) (계획됨)

2026 Q3

완료

기존 비동기 함수에 클로저와 부분 적용을 지원하는 동기 함수 추가 (완료)
초기 시스템 레지스트리, 계정 추상화, 케이퍼빌리티 요청 및 위임 컨트랙트 (완료)
TVM 작업 스케줄러를 단순화하고 동시 실행 테스트를 더 쉽게 개선 (완료)
중첩 컨텍스트 전반에서 안정적인 롤백을 지원하는 원장 기반 실행 컨텍스트 추적 (완료)
컴파일러 출력을 검증하기 위한 Tolang 참조 인터프리터 (완료)
Tolang 코드 포매터, tolang! Rust 매크로, IDE 정의로 이동 및 이름 변경 (완료)
노드의 RPC 인터페이스에서 생성한 타입 바인딩을 제공하는 TypeScript API 클라이언트 (완료)
중첩 컬렉션, 루프, 클로저 및 초기 가스 계량 기능을 갖춘 새 TVM 인터프리터 (검토 중)
새로운 트랩 기반 EVM 샌드박스 (진행 중)

2026 Q2

완료

네이티브 Tolang 파서 (완료)
Tolang 컴파일 타임 상수 지원 (완료)
Tolang 언어 서버 및 Tolang VS Code 확장 (완료)
테스트 프레임워크 리팩터링 (완료)
합의 계층을 포함한 전체 시스템의 엔드투엔드 통합 테스트 수행 (완료)
API 구현 완료 (완료)
노드 CLI 개발 (완료)
블록 간 실행 및 원자적 최종화 시각화를 위한 맞춤형 블록체인 익스플로러 (완료)
새로운 트랩 기반 EVM 샌드박스 (진행 중)
Ethereum 툴체인과 통합 (진행 중)

2026 Q1

완료

블록 간 실행을 위한 리플레이 메커니즘 단순화 (완료)
효율성과 단순성을 높이기 위한 새로운 EVM Sandbox 도입 (완료)
모듈성을 높이기 위해 TVM 합의, 데이터베이스, 프레임워크 리팩터링 (완료)
Lazy Validator를 통한 블록 간 실행 및 리플레이 테스트 구현 (완료)
상태와 실행 진행을 시각화하는 TupleSpace Explorer 개발 (완료)

2025년

2025

2025 Q4

완료

합의 없는 블록 간 실행 테스트 (완료)
모듈화를 개선하기 위한 TVM 프레임워크 리팩터링 (진행 중)
API 엔드포인트 명세 및 구현 (진행 중)
논리 시계와 격리 수준 강제 메커니즘 설계 (완료)

2025 Q3

완료

여러 블록과 최종화 경계를 가로지르는 장기 트랜잭션을 실행, 깨우기, 패킹, 리플레이하는 메커니즘 구현 (완료)
성능과 효율을 높이기 위한 데이터베이스 모듈 리팩터링 (진행 중)
모듈화를 개선하기 위한 TVM 프레임워크 리팩터링 (진행 중)

2025 Q2

완료

BlockGit 프로토콜에서 Weaklink 구현 및 테스트 (완료)
TVM 아키텍처를 단순화하고 안정성을 높이기 위해 단순 채널 행동 타입 도입 (완료)
무작위 생성 Tolang 코드 테스트 프레임워크 도입 및 CI 통합 (완료)
리플레이 로직 리팩터링 (완료)

2025 Q1

완료

최대 동시성을 위해 동시 트랜잭션 실행, 블록 리플레이, 블록 제안을 지원하도록 전체 시스템을 이벤트 기반 프레임워크로 리팩터링 (완료)
RPC 엔드포인트 구현 및 누락 블록을 처리하도록 BlockGit 업데이트 (완료)
BlockGit의 메모리 누수 수정 및 성능 개선 (완료)
BlockGit 프로토콜에 Weaklink를 도입하고 부분 구현 (완료)

2024년

2024

2024 Q4

완료

BlockGit을 노드 플랫폼에 통합 (완료)
Docker 네트워크에서 합의 프로토콜 테스트 (완료)
블록 병합에서 충돌 해결 알고리즘 구현 (완료)
조회와 상태 커밋을 지원하도록 스토리지 모듈 리팩터링 (완료)

2024 Q3

완료

실행 일부를 되돌릴 수 있는 실행 컨텍스트 지원 (완료)
새로운 합의 프로토콜 BlockGit 설계 및 초기 구현 (완료)
합의 프로토콜 구현을 테스트하기 위한 이산 이벤트 시뮬레이터 (완료)
BlockGit 초기 통합을 포함한 P2P 모듈 (완료)

2024 Q2

완료

Tuple Space 실행 및 리플레이 로직 리팩터링과 통합 (완료)
오라클/릴레이어 없이 Web 2.0 시스템과 능동적으로 협업할 수 있음을 보여 주기 위해 외부 HTTPS 호출 실행 및 리플레이 구현 (완료)
Blocklace 합의 프로토콜 초기 구현 (완료)
메모리 사용량을 줄이기 위한 상태 관리 재설계 (완료)
격리 수준을 강제하는 논리 시계 데이터 구조와 알고리즘 설계 (완료)

2024 Q1

완료

글로벌 레지스트리 구현 및 테스트 (완료)
Tolang과 TVM의 함수형 프로그래밍 지원 (완료)
동시성 TVM에서 스레드 안전 순차 계산 지원 (완료)
예비 EVM 호환성 테스트 수행 (완료)
Read-Committed 격리 수준을 지원하기 위한 EVM 상태 저장소 구현 (완료)
TVM의 정확성과 리플레이 가능성에 대한 코드 리팩터링 및 종합 테스트 수행 (완료)

2023년

2023

2023 Q4

완료

오류 처리를 개선하고 스레드 지역성을 지원하기 위한 새 태스크 매니저 구현 (완료)
순차 계산 지원 도입을 통한 성능 개선 (완료)
특수 채널 타입 테스트 (완료)
특수 채널 타입을 활용해 리플레이 로그 단순화 (완료)

2023 Q3

완료

스토리지 계층 테스트 (완료)
동시성 가상 머신 실행 및 결정적 리플레이 테스트 (완료)
특수 채널 타입 명세 및 구현 (완료)

2023 Q2

완료

동시성 가상 머신 실행 및 리플레이 구현 (완료)
스토리지 계층 명세 및 구현 (완료)

2023 Q1

완료

동시성 가상 머신 옵코드 구현 및 테스트 (완료)
동시 트랜잭션 결정적 리플레이 데이터 구조 (완료)