연구진은 자율 에이전트 시스템의 정책 업데이트 지연 문제를 해결하기 위해 Ethical Hyper-Velocity (EHV) 아키텍처를 제안했어요. EHV는 JIT 컴파일러를 활용해 런타임에 AI 정책을 형식적으로 검증하고, 정책 위반 행위를 실시간으로 차단해요. TLA+ 형식 검증을 통해 정책 위반 행위가 시스템 내에서 불가능함을 증명하고, 정책 적용 지연을 O(days)에서 O(1)로 단축했어요.
CRDT와 TEE 기술을 활용해 정책 동기화 및 검증을 수행하며, Sub-millisecond Formal Determinism (SMFD)을 달성했어요. 기존 감사 방식 대비 14~30일의 지연을 없애 에이전트 시스템의 안전성을 크게 향상시켰어요.
EHV는 배포 속도와 정책 적용의 균형을 맞추고, 자율 에이전트 시스템의 안전하고 빠른 운영을 가능하게 하는 혁신적인 솔루션이에요.