DeFi 합성의 경제적 안전성에 관한 형식 기반 프레임워크

본 논문은 자연언어로 작성된 DeFi 워크플로우 실행의 안전성 문제를 다루며, 207개 프롬프트로 구성한 벤치마크 DeFiFlowBench를 제시한다. Koan-Safe라는 개선된 방법론으로 구조적 안전성 검증과 기본 안전 파라미터를 결합해 기존 방식

본 논문은 DeFi 렌딩 프로토콜의 시스템 위험을 측정하기 위한 프레임워크를 제시한다. 집계 예치금과 차입금 정보만으로 차용자와 예치자 관점의 위험을 정량화하며, 2021년 중반 시스템 취약성이 안전 기준을 초과했음을 실증 데이터로 보여준다. 스테이블

본 논문은 자율 에이전트의 스테이블코인 기반 상거래를 위한 에이전트 결제 프로토콜(ASP)을 제시한다. 환불 가능한 지연 이행 모델, 에스크로 기반 자금 관리, 부분 환급 메커니즘, 수수료 투명성을 통해 에이전트와 판매자 간 신뢰 기반의 결제 시스템을

본 논문은 텔레그램의 공개 채널에서 암호자산 관련 정보 흐름과 시장 활동의 상관관계를 분석했다. 20개월 간 14,499개 채널과 20백만 개 이상의 메시지를 대상으로 47건의 펌프앤덤프 의심 사건을 식별했으며, 이들 조작 신호가 시장 변동에 몇 초