[논문 리뷰] Optimizing Exit Queues for Proof-Of-Stake Blockchains: A Mechanism Design Approach

Mike Neuder, Mallesh M. Pai외 1명|arXiv (Cornell University)|2024. 01. 01.

Blockchain Technology Applications and Security인용 수 1

한 줄 요약

이 논문은 Proof-of-Stake 블록체인에서 탈퇴 대기열을 최적화하기 위한 메커니즘 설계 프레임워크를 제안하며, 이는 이전 탈퇴 이력과 보안 제약 조건에 기반해 탈퇴 용량을 동적으로 조정하는 동적, 선착순 대기열인 MINSLACK를 도입한다. MINSLACK가 동일한 시간 선호도를 가진 스테이킹 참여자들에게 최적임을 증명하고, 시간 감수성에 따라 다름을 고려한 우선순위 기반 메커니즘인 PRIO-MINSLACK 및 α-MINSLACK로 확장하여, 보안을 유지하면서도 기쁨 손실을 크게 줄인다.

ABSTRACT

Byzantine fault-tolerant consensus protocols have provable safety and liveness properties for static validator sets. In practice, however, the validator set changes over time, potentially eroding the protocol's security guarantees. For example, systems with accountable safety may lose some of that accountability over time as adversarial validators exit. As a result, protocols must rate limit entry and exit so that the set changes slowly enough to ensure security. Here, the system designer faces a fundamental trade-off. Slower exits increase friction, making it less attractive to stake in the first place. Faster exits provide more utility to stakers but weaken the protocol's security. This paper provides the first systematic study of exit queues for Proof-of-Stake blockchains. Given a collection of validator-set consistency constraints imposed by the protocol, the social planner's goal is to provide a constrained-optimal mechanism that minimizes disutility for the participants. We introduce the MINSLACK mechanism, a dynamic capacity first-come-first-served queue in which the amount of stake that can exit in a period depends on the number of previous exits and the consistency constraints. We show that MINSLACK is optimal when stakers equally value the processing of their withdrawal. When stakers values are heterogeneous, the optimal mechanism resembles a priority queue with dynamic capacity. However, this mechanism must reserve exit capacity for the future in case a staker with a much higher need for liquidity arrives. We conclude with a survey of known consistency constraints and highlight the diversity of existing exit mechanisms.

연구 동기 및 목표

• 동적 검증자 세트에서 스테이킹 프로토콜의 보안과 참가자의 유동성 간의 상호 상충 관계를 체계화하기 위해.
• 보안과 기능성에 막대한 영향을 미치지만, Proof-of-Stake 시스템에서 탈퇴 대기열 설계에 대한 체계적 다루움이 부족한 점을 해결하기 위해.
• 프로토콜 수준의 일관성 및 안전성 제약 조건을 만족하면서도 스테이커의 기쁨 손실을 최소화하는 제약 조건이 있는 최적의 메커니즘을 개발하기 위해.
• 기존 탈퇴 메커니즘을 조사하고 실제 프로토콜에서의 비효율적 또는 지나치게 경직된 설계를 규명함으로써 이론과 실천을 연결하기 위해.

제안 방법

• 보안 요구 사항을 검증자 세트의 진화에 대한 일관성 제약 조건으로 모델링하여 탈퇴 대기열 문제를 제약 최적화 문제로 체계화한다.
• 이전 탈퇴 이력과 프로토콜 제약 조건에 따라 각 에포크당 탈퇴 용량이 변하는 상태 기반의 선착순 대기열인 MINSLACK를 도입한다.
• 기쁨 손실을 시간 감수성의 함수로 모델링하여 이질적인 스테이커를 고려한 메커니즘으로 확장하고, 우선순위 기반 대기열 메커니즘을 도출한다.
• 이질적 케이스를 마코프 결정 과정(Markov Decision Process, MDP)으로 모델링하고, 동적 비크리 프리클로즈-클라크-그로브스(Vickrey-Clark-Groves, VCG) 메커니즘을 통해 효율적인 할당을 유도한다.
• MINSLACK의 실용적 변형인 PRIO-MINSLACK(지불 기반 우선순위)와 향후 급한 탈퇴를 위해 용량을 확보하는 α-MINSLACK를 제안한다.
• 수치 시뮬레이션을 통해 다양한 메커니즘 간 성능을 비교하고, 기쁨 손실과 대기 시간 감소를 정량화한다.

실험 결과

연구 질문

• RQ1 스테이커가 동일한 시간 선호도를 가지며 보안 제약 조건이 유의미한 경우, Proof-of-Stake 블록체인에서 탈퇴 대기열을 관리하는 데 최적의 메커니즘은 무엇인가?
• RQ2 스테이커가 탈퇴 지연에 대해 이질적인 기쁨 손실을 경험할 경우, 특히 일부가 급한 유동성 필요성을 갖는 경우 탈퇴 대기열 메커니즘은 어떻게 재설계되어야 하는가?
• RQ3 이전 탈퇴 패턴과 향후 불확실성에 기반한 동적 용량 할당은 보안을 훼손하지 않으면서도 전체 시스템의 기쁨 손실을 최소화하는 데 어떤 역할을 하는가?
• RQ4 급격한 탈퇴 요청의 꼬리가 두꺼운 도착 과정을 고려할 때, 향후 고우선순위 탈퇴를 위해 용량을 예약하는 메커니즘은 어떻게 설계되어야 하는가?
• RQ5 주요 블록체인(예: 이더리움)에서 실제 운영 중인 탈퇴 메커니즘은 이론적 최적 설계와 얼마나 일치하는가?

주요 결과

• 동일한 시간 선호도를 가진 스테이커에 대해 MINSLACK는 검증자 세트 일관성 제약 조건 하에서 제약 최적 메커니즘이며, 기쁨 손실을 최소화함을 증명하였다.
• 이질적인 스테이커에 대해서는 PRIO-MINSLACK와 같은 우선순위 기반 메커니즘이 시간 감수성이 높은 참가자가 더 빠른 탈퇴를 위해 지불함으로써 기쁨 손실을 줄이고 사회적 복지를 향상시킨다.
• 향후 급한 요청을 고려해 탈퇴 용량을 예약하는 것이 최적 메커니즘의 핵심 요소임을 보여주었으며, 이는 α-MINSLACK 변형이 불확실한 향후 수요 하에서도 탄력성을 유지함으로써 입증되었다.
• 수치적 결과는 MINSLACK가 기존의 고정 에포크 기반 대기열(예: 이더리움)보다 평균 대기 시간을 크게 줄임을 보여주었다.
• 연구 결과, 이론적으로 복지 측면에서 열세를 보이는 지불 기반 우선순위 메커니즘을 사용하는 알려진 생산용 블록체인은 존재하지 않음을 확인하였다.
• 저자들은 현재 실세계 메커니즘이 이론적 효율성의 한계에 크게 못 미치며, 탈퇴 대기열 설계 분야에서 향후 개선 여지가 상당히 있음을 규명하였다.