지갑을 제어하는 AI 에이전트가 해로운 트랜잭션을 제안하도록 유도될 수 있는 위험에 대응해, 검사 시점과 실행 시점의 체인 상태가 달라지는 「상태 드리프트」 문제를 해결하는 Proof-Gated Signing(PGS)을 제안했다. 기존 정적 허용목록·LLM 리뷰어·시뮬레이션은 검사 시점 상태만 보기 때문에 프런트러닝 등으로 상태가 달라지면 무력화될 수 있다. PGS는 트랜잭션을 시뮬레이션하고 SMT 솔버로 오라클 불확실성 구간 전체에서 정책 만족을 증명한 뒤 온체인 사후조건을 원자적으로 강제한다. 260개 시나리오 테스트에서 PGS는 유해 시나리오의 93.6%를 막아 시뮬레이션 전용(57.9%)과 허용목록(71.4%)을 크게 앞섰으며, 흥미롭게도 LLM 리뷰어는 드리프트 이전의 깨끗한 시뮬레이션을 보면 오히려 드리프트 공격을 승인할 가능성이 더 높았다.

• •검사 시점과 실행 시점의 체인 상태 차이('상태 드리프트')를 노리는 공격에 대응하는 Proof-Gated Signing(PGS) 제안
• •SMT 솔버로 오라클 불확실성 구간 전체에서 정책 만족을 증명하고 온체인 사후조건을 원자적으로 강제
• •260개 시나리오 테스트에서 PGS가 유해 시나리오의 93.6% 차단, 시뮬레이션 전용(57.9%)·허용목록(71.4%)보다 우수
• •LLM 리뷰어는 드리프트 이전의 깨끗한 시뮬레이션을 보면 오히려 드리프트 공격을 승인할 가능성이 높아짐
• •오버헤드는 체크당 약 4.1만 가스, 0.1~0.2초로 실용적 수준