[논문 리뷰] Barriers to Collusion-resistant Transaction Fee Mechanisms

Yotam Gafni, Aviv Yaish|arXiv (Cornell University)|2024. 02. 13.

Radioactive element chemistry and processing인용 수 4

한 줄 요약

이 논문은 암호화폐 메커니즘 설계 분야의 열린 문제를 해결하며, 비트립스의 거래 수수료 메커니즘(TFM)이 동시에 주어진 조건을 만족할 수 없음을 증명한다. 즉, 비트립스의 거래 수수료 메커니즘은 비자명한 결정론적 메커니즘으로서 주어진 조건을 만족할 수 없으며, 이는 사용자와 마이너 간의 공모를 저지할 수 있는 공정하고 수익성 있는 거래 할당을 보장할 수 없음을 의미한다. 핵심 결과는 유일하게 모든 세 가지 성질을 만족하는 메커니즘이 비자명한 메커니즘(마이너 수익이 0인 메커니즘) 뿐이며, 랜덤화된 메커니즘조차도 최악의 경우 84.2% 이하의 효율성에 국한된다는 것이다.

ABSTRACT

To allocate transactions to blocks, cryptocurrencies use an auction-like transaction fee mechanism (TFM). A conjecture of Roughgarden [44] asks whether there is a TFM that is incentive compatible for both the users and the miner, and is also resistant to off-chain agreements (OCAs) between these parties, a collusion notion that captures the ability of users and the miner to jointly deviate for profit. The work of Chung and Shi [12] tackles the problem using the different collusion resistance notion of side-channel proofness (SCP), and shows an impossibility given this notion. We show that OCA-proofness and SCP are different, with SCP being strictly stronger. We then fully characterize the intersection of deterministic dominant strategy incentive-compatible (DSIC) and OCA-proof mechanisms, as well as deterministic MMIC and OCA-proof ones, and use this characterization to show that only the trivial mechanism is DSIC, myopic miner incentive-compatible (MMIC) and OCA-proof. We also show that a randomized mechanism can be at most 0.842-efficient in the worst case, and that the impossibility of a non-trivial DSIC, MMIC and OCA-proof extends to a couple of natural classes of randomized mechanisms.

연구 동기 및 목표

• 비자명한, DSIC, MMIC, OCA-proof인 거래 수수료 메커니즘(TFM)이 존재하는가에 대한 Roughgarden의 열린 질문을 해결하기 위해.
• 기존 연구에서 사용된 더 강력한 측면 채널 저항성(SCP) 개념과의 차이를 명확히 하기 위해 OCA-proofness와의 관계를 규명하기 위해.
• 결정론적 및 랜덤화된 설정 모두에서 DSIC+OCA-proof 및 MMIC+OCA-proof 메커니즘의 전체 공간을 특성화하기 위해.
• 동일한 제약 조건 하에서 랜덤화된 메커니즘의 효율성에 대한 날카로운 상한을 설정하기 위해.
• 익명성 가정이 불가능성 결과에 미치는 영향을 분석하고, 익명성 없이도 적용 가능한 메커니즘으로 확장하기 위해.

제안 방법

• OCA-proof 메커니즘을 '게시된 번' 메커니즘으로 새롭게 특성화함: 고정된 예비 번 r을 설정하고, 지불액은 최소 r 이상이어야 하며, 모든 지불액은 완전히 소각됨.
• 단일 입찰자 케이스를 기초로 분석: 입찰자와 마이너 간의 이득이 일치하므로, 모든 지불액은 소각되어야 하며, 이는 마이너 수익이 0임을 의미함.
• 다중 입찰자 환경으로 확장: 최고 입찰자와 마이너는 항상 공동 이득을 극대화하기 위해 공모할 수 있으며, 이는 메커니즘이 반드시 게시된 번 구조를 가져야 함을 시사함.
• 적분의 경계와 효용 비교를 활용한 분석 기법을 도입하여, 특히 할당 확률과 지불 규칙에 초점을 맞춰, 랜덤화된 메커니즘의 효율성 한계를 도출함.
• 할당 함수와 지불 함수에 변환을 적용하여, 로그 및 적분 부등식을 사용해 마이너 수익과 효율성의 상한을 유도함.
• 익명성 있는 메커니즘과 익명성 없는 메커니즘을 모두 고려하여, 익명성 없이도 오직 유일한 고정된 입찰자만이 존재하는 메커니즘만이 세 성질을 모두 만족함을 보임.

실험 결과

연구 질문

• RQ1 비자명한 결정론적 거래 수수료 메커니즘 중에서 DSIC, MMIC, OCA-proof인 것이 존재하는가?
• RQ2 OCA-proofness는 이전 연구에서 사용된 더 강력한 SCP(측면 채널 저항성) 개념과 어떻게 관련이 있는가?
• RQ3 랜덤화된 DSIC, MMIC, OCA-proof 메커니즘의 최대 worst-case 효율성은 얼마인가?
• RQ4 결정론적 메커니즘에 대한 불가능성 결과는 자연스러운 랜덤화된 메커니즘의 범주로 확장 가능한가?
• RQ5 익명성 가정이 세 성질를 모두 만족하는 메커니즘의 구현 가능성에 미치는 영향은 무엇인가?

주요 결과

• DSIC, MMIC, 1-OCA-proof인 유일한 결정론적 메커니즘은 어떤 거래도 할당하지 않으며, 따라서 마이너 수익이 0인 비자명한 메커니즘 뿐이다.
• OCA-proofness는 SCP보다 엄밀히 약한 조건이며, OCA-proof이지만 SCP가 아닌 메커니즘이 존재함을 보여, SCP는 더 강력한 공모 저항 요구 조건임을 입증한다.
• 랜덤화된 메커니즘의 경우, 최악의 경우 효율성의 상한은 0.842로 제한되며, 이는 어떤 메커니즘도 최악의 시나리오에서 최적 사회적 복지의 84.2%를 초과할 수 없음을 의미한다.
• 척도 불변성 조건 하에서도, 유일하게 DSIC, MMIC, OCA-proof인 메커니즘은 비자명한 메커니즘 뿐이며, 이는 이 불가능성 결과가 자연스러운 메커니즘 클래스에 걸쳐 강건함을 시사한다.
• 익명성 없는 경우, 모든 타당한 메커니즘은 고정된 유일한 입찰자를 지정해야 하며, 이는 소각된 게시된 가격 구조를 가져야 하므로 설계 자유도가 심각하게 제한된다.
• 결정론적 메커니즘에 대한 불가능성 결과는 약간의 조건 하에 랜덤화된 메커니즘으로도 확장되며, 이는 완화된 설정에서도 효율성이 1에서 멀리 떨어져 있음을 보여준다.