계층 간 실패 정의 일치를 통한 블록체인 Liveness 보장 설계

Context

단순 VM 오류나 합의 실패로 치부되던 장애가 실제로는 컴포넌트 간 결정론적 가정의 불일치에서 발생함. 특히 Deterministic Invalidity 상황에서 유효하지 않은 트랜잭션이 Mempool에 잔존하며 네트워크 전체를 동결시키는 Liveness failure 문제 분석.

Technical Solution

• Binary Error 처리 방식에서 Typed Execution Errors 구조로 전환하여 영구적 무효, 상태 의존적 오류, 로컬 인프라 실패를 구분함
• 무효한 트랜잭션을 Proposal 경로에서 즉각 제거하여 동일한 Poisoned payload가 반복 제안되는 루프 차단
• Isolated State 실행 후 Atomic Commit 방식을 채택하여 부분 커밋으로 인한 노드 간 상태 불일치 방지
• Write-ahead logs 및 Idempotent Recovery 메커니즘을 도입하여 재시작 후에도 결정론적 상태 복구 보장
• Fault-injection 테스트를 통해 프로세스 강제 종료 및 디스크 오류 상황에서의 글로벌 아웃티지 가능성 검증