알고리즘 트레이딩A블록체인 차익거래, 프로토콜 상관없이 잡아낸다: 형식 검증된 구조적 동치 프레임워크
이더리움 트랜잭션의 자금흐름을 추문 구문 트리로 분석하고, 15개 규칙의 항 재작성 시스템으로 프로토콜에 독립적인 차익거래를 탐지하는 형식 검증된 프레임워크를 소개합니다. 22만 블록 대상 평가에서 Eigenphi 대비 6만 건 이상의 추가 탐지를 달성했습니다.
8분
블록체인차익거래+6
“형식검증” 태그가 담긴 2개의 글
알고리즘 트레이딩A이더리움 트랜잭션의 자금흐름을 추문 구문 트리로 분석하고, 15개 규칙의 항 재작성 시스템으로 프로토콜에 독립적인 차익거래를 탐지하는 형식 검증된 프레임워크를 소개합니다. 22만 블록 대상 평가에서 Eigenphi 대비 6만 건 이상의 추가 탐지를 달성했습니다.
📊 2022-10 월간2022년 10월에 나온 금융 AI 핵심 논문 4편을 소개합니다. 거래소 매칭 알고리즘의 형식 검증, rough volatility의 통계적 추론, 온라인 포트폴리오의 후회 경계 개선, CVaR 기반 동적 위험 최적화까지—수학이 금융의 신뢰성을 높이는 한 달이었습니다.