[논문 리뷰] Hedging Against Sore Loser Attacks in Cross-Chain Transactions

Yingjie Xue, Maurice Herlihy|arXiv (Cornell University)|2021. 05. 13.

Blockchain Technology Applications and Security참고 문헌 9인용 수 5

한 줄 요약

이 논문은 크로스체인 거래에서 악성으로 프로토콜을 포기하여 상대방의 자산을 锁정하는 것을 방지하기 위해 프리미엄 기반 헤지 메커니즘을 제안한다. 위험에 노출된 당사자가 사전에 소액의 프리미엄을 지불함으로써, 솔직한 당사자가 자산이 锁정당할 경우 보상을 받을 수 있도록 하여, 동기 모델에서 위험을 임의로 낮출 수 있도록 보장한다.

ABSTRACT

A *sore loser attack* in cross-blockchain commerce rises when one party decides to halt participation partway through, leaving other parties' assets locked up for a long duration. Although vulnerability to sore loser attacks cannot be entirely eliminated, it can be reduced to an arbitrarily low level. This paper proposes new distributed protocols for hedging a range of cross-chain transactions in a synchronous communication model, such as two-party swaps, $n$-party swaps, brokered transactions, and auctions.

연구 동기 및 목표

• 크로스체인 거래에서 한 당사자가 프로토콜을 포기하여 상대방의 자산을 锁정하는 데 취약한 점을 해결하기 위해.
• 원자 스왑, 다자 스왑, 브로커링 거래, 경매에서 자산 锁정 위험을 임의로 낮출 수 있도록 하기 위해.
• 금융 헤지 메커니즘—특히 옵션 프리미엄—을 분산형 크로스체인 프로토콜에 적용하기 위해.
• 상대방의 비참여로 인해 자산이 锁정당할 경우 솔직한 당사자가 보상을 받을 수 있도록 하되, 제3자에 대한 신뢰를 필요로 하지 않기 위해.
• 동기 통신 모델에서 모델 체킹을 사용하여 제안된 프로토콜의 보안 성질을 형식적으로 정의하고 검증하기 위해.

제안 방법

• 프로토콜을 포기할 위험이 있는 당사자(예: 경매자 또는 이니시에이터)가 스마트 컨트랙트에 소액의 프리미엄을 사전 예치하는 프리미엄 분배 단계를 도입한다.
• 이중 단계 프로토콜을 사용한다: 첫 번째 단계에서 참가자들이 해시 타임락 컨트랙트(HTLC)를 사용해 자산을 예치하고, 두 번째 단계에서 프리미엄이 프로토콜 결과에 따라 분배된다.
• 프로토콜이 포기되거나 실패할 경우, 자산이 锁정당한 솔직한 당사자들에게 프리미엄이 지급되며, 이는 그들의 위험 노출 비율에 비례한다.
• 이 메커니즘을 다양한 프로토콜에 적용한다: 이중 스왑, n중 스왑, 브로커링 거래, 경매로, 이니시에이터가 프리미엄을 지불한다.
• 프로토콜을 TLA+로 모델링하고, 형식적 모델 체킹을 통해 안전성 및 활성 성질을 검증한다.
• 예측 가능한 타임아웃을 확보하기 위해 동기 통신 모델을 사용하여 프리미엄 및 예치 타임아웃의 시간적 일관성을 확보함으로써 신뢰할 수 있는 보상 기능을 제공한다.

실험 결과

연구 질문

• RQ1 크로스체인 거래에서 프리미엄 예치와 같은 금융 헤지 메커니즘을 통해 솔러 로서 어택을 완화할 수 있는가?
• RQ2 상대방의 비참여로 인해 자산이 锁정당할 경우 솔직한 당사자가 보상을 받을 수 있도록 프리미엄 메커니즘을 어떻게 설계할 수 있는가?
• RQ3 분산형, 동기 크로스체인 프로토콜에서 프리미엄 기반 헤지로 달성할 수 있는 최소 위험 수준은 무엇인가?
• RQ4 프리미엄 메커니즘을 원자 스왑 및 경매를 포함한 다양한 유형의 크로스체인 거래로 일반화할 수 있는가?
• RQ5 형식적 검증을 통해 바이진트 행동이 존재하는 상황에서 프리미엄 기반 프로토콜의 보안성과 정확성을 어떻게 검증할 수 있는가?

주요 결과

• 제안된 프리미엄 메커니즘은 상대방의 포기로 인해 자산이 锁정당할 경우 솔직한 당사자가 보상을 받을 수 있도록 하여 손실 위험을 임의로 낮춘다.
• 이중 스왑의 경우 이니시에이터가 1 토큰의 프리미엄을 지불하며, 스왑이 완료되면 환급되고 프로토콜이 포기되면 다른 당사자에게 지급된다.
• n명의 입찰자가 참여하는 경매의 경우, 경매자는 np개의 프리미엄을 예치해야 하며, 여기서 p는 개별 프리미엄이다. 이는 프로토콜 실패 시 각 입찰자가 보상을 받을 수 있도록 보장한다.
• TLA+를 사용한 형식적 검증은 어떤 적합한 당사자의 입찰나 자산도 도난당하지 않으며, 오직 이니시에이터만이 锁정을 유도할 수 있음을 확인했다.
• 프로토콜는 동기 통신 모델 하에서 안전하며, 프리미엄 단계 자체가 더 짧은 타임아웃으로 보호되어 있어 프리미엄 메커니즘 자체의 공격 위험을 줄였다.
• 이 방법은 기존의 블록체인인 이더리움과 호환되며, 이전 연구에서 제안한 확장된 opcodes를 사용하여 비트코인에도 적용 가능하다.