알고리즘 트레이딩A블록체인 차익거래, 프로토콜 상관없이 잡아낸다: 형식 검증된 구조적 동치 프레임워크이더리움 트랜잭션의 자금흐름을 추문 구문 트리로 분석하고, 15개 규칙의 항 재작성 시스템으로 프로토콜에 독립적인 차익거래를 탐지하는 형식 검증된 프레임워크를 소개합니다. 22만 블록 대상 평가에서 Eigenphi 대비 6만 건 이상의 추가 탐지를 달성했습니다.2026년 8월 25일8분블록체인차익거래+6