FairFlow 소개: 더치 경매를 활용한 타임부스트
저자 소개
저자인 고성훈은 KAIST 학부생이자 Radius의 연구 인턴입니다. 저자는 피드백과 유용한 논평을 제공해준 타리즈, AJ 박, 그리고 Radius의 찬양 주에게 감사드립니다.
요약
- 레이어 2의 기존 시퀀싱 정책을 검토하고 프로토콜 외부 플레이어들이 최근 정책을 교묘하게 이용한 새로운 전략을 설명했습니다.
- 타임부스트의 변형인 FairFlow를 대안으로 제시하여 이러한 활동을 방지하고 궁극적으로 레이어 2의 수익을 내부화할 수 있도록 했습니다.
이는 블로그 게시물의 교차 게시 버전입니다.
(이하 생략)작동 방식
언급했듯이, FairFlow는 기본적으로 아비트럼의 TimeBoost의 변형이며, 그 시퀀싱 정책은 크게 세 단계로 나눌 수 있습니다:
- 시퀀서가 사용자 트랜잭션을 받으면, 해당 트랜잭션을 백런(backrun)할 권리에 대한 더치 경매를 시작합니다. 사용자 트랜잭션을 백런하고 싶은 검색자들은 경매인(시퀀서)에게 입찰 및 백런 트랜잭션에 대한 EIP-712 서명을 보냅니다. 사용자가 직접 입찰(자체 입찰)할 수도 있습니다.
- 예비 가격이 제출된 입찰 중 하나와 같거나 낮아지면 경매가 종료되고, 사용자 트랜잭션과 백런 트랜잭션(있는 경우)이 함께 묶여 BundleList에 추가됩니다.
- 각 블록 생성 시, 번들은 BundleList에서 가스 한도까지 선택되어 블록에 포함되고 선착순(FCFS) 방식으로 순차적으로 실행됩니다.
요약하자면, 앞서 언급한 목표를 달성하기 위해 TimeBoost의 메커니즘을 간단히 조정했습니다: 누구나 사용자의 트랜잭션을 입찰하여 부스트할 수 있고, 대신 사용자 트랜잭션을 백런할 권리를 받습니다. 다음 섹션에서는 이러한 설계의 근거와 어떻게 블라인드 백런 시도를 억제하고 L2의 수익을 늘릴 수 있는지 설명하겠습니다.
[이하 동일한 방식으로 번역]선형 감소 곡선
선형 감소 곡선은 예비 가격을 일정한 속도로 감소시키는 간단하고 직관적인 모델입니다:
reserve_price(t) = min_price + decay_rate × (max_period - t).이상치의 경우 전체 가치를 포착하지 못할 수 있지만, 많은 프로토콜이 그 단순성으로 인해 이러한 곡선을 채택했습니다. 이러한 프로토콜에는 다음이 포함됩니다:
- 1인치 퓨전: 1인치 퓨전은 사용자가 구성할 수 있는 부분적으로 선형인 곡선을 채택했습니다.
- 유니스왑X: 1인치 퓨전과 마찬가지로, 유니스왑X는 더치 경매 형식으로 사용자 주문을 "필러"에게 채울 권리를 판매하며, 사용자가 구성할 수 있는 선형 곡선을 사용합니다.
- 다른 예로는 다이의 청산 경매, 오핀의 크랩 전략 볼트의 재조정 경매 등이 있습니다.
역수 감소 곡선
이 모델은 원래 타임부스트 논문에서 처음 제안된 함수의 역수를 사용하며, 지연 함수의 가장 간단한 형태로 간주됩니다:
reserve_price(t) = min_price + decay_rate × (max_period / t - 1).검색자의 대기 시간이 충분히 낮다면, 거의 모든 경우에 대부분의 가치를 포착할 수 있습니다.
매개변수 설정 및 트레이드오프
각 L2는 곡선과 매개변수를 자유롭게 선택할 수 있지만, 매개변수 설정에 대한 일반적인 권장 사항이 있습니다.
- 최대 기간은 너무 길지 않아야 하며, 사용자 경험을 해칠 수 있습니다. 대부분의 검색자가 백런 차익 기회를 노리는 사용자 트랜잭션을 대상으로 하므로 기간을 1초 미만으로 설정하는 것이 좋습니다. 다른 여러 플랫폼과 시도에서도 100ms-500ms의 경매 기간을 채택하고 있습니다.
- 곡선은 초기 기간에 너무 많이 감소해서는 안 됩니다. 물리적 한계로 인해 일부 대기 시간은 피할 수 없으며, 소수의 플레이어만 그 시점에 입찰할 수 있어 가치 누출로 이어집니다. 따라서 맨 처음에는 예상 가치보다 높은 가격으로 설정해야 하며, 역수 곡선이나 초기 기간에 꺾이는 선형 곡선을 채택하는 것이 좋습니다.
- 대부분의 해결이 경매 시작이나 끝이 아니라 중간에 발생할 수 있도록 매개변수를 반복적으로 조정하는 것이 좋습니다.
- 고려해야 할 또 다른 지표는 입찰 수신 시점의 입찰 가격과 예비 가격 사이의 격차입니다. 대부분의 검색자는 변동성을 피하기 위해 입찰 제출과 경매 해결 사이의 시간 격차를 최소화할 것입니다. 격차가 너무 크면 곡선이 너무 빨리 감소하여 전체 가치를 포착하지 못할 수 있습니다.
