[논문 리뷰] Credible, Optimal Auctions via Public Broadcast

Tarun Chitra, Matheus V. X. Ferreira외 1명|arXiv (Cornell University)|2023. 01. 29.

Blockchain Technology Applications and Security인용 수 2

한 줄 요약

이 논문은 α > 0 인 임의의 α-강한 정규 분포를 갖는 입찰가의 평가값을 가정할 때, 제한된 통신 복잡도 하에서 신뢰할 수 있고 전략적으로 유리하지 않으며 최적의 이중 라운드 경매를 가능하게 하는 연기 공개 입찰(Deferred Revelation Auction, DRA)의 공개 방송 확장 방식을 제안한다. 검열에 강한 방송 채널과 암호학적 약속을 활용함으로써 입찰자가 수익을 얻기 위해 이탈하는 것을 방지하여, 기존의 중심화된 모델에서의 불가능성 결과를 극복한다.

ABSTRACT

We study auction design in a setting where agents can communicate over a censorship-resistant broadcast channel like the ones we can implement over a public blockchain. We seek to design credible, strategyproof auctions in a model that differs from the traditional mechanism design framework because communication is not centralized via the auctioneer. We prove this allows us to design a larger class of credible auctions where the auctioneer has no incentive to be strategic. Intuitively, a decentralized communication model weakens the auctioneer's adversarial capabilities because they can only inject messages into the communication channel but not delete, delay, or modify the messages from legitimate buyers. Our main result is a separation in the following sense: we give the first instance of an auction that is credible only if communication is decentralized. Moreover, we construct the first two-round auction that is credible, strategyproof, and optimal when bidder valuations are $α$-strongly regular, for $α> 0$. Our result relies on mild assumptions -- namely, the existence of a broadcast channel and cryptographic commitments.

연구 동기 및 목표

• 구매자가 상호 간에 메시지를 공개적으로 방송할 수 있는 탈중앙화된 통신 모델에서 검증 가능하고 전략적으로 유리하지 않으며 최적의 경매를 설계하기 위해.
• 강한 분포 가정이나 무한한 통신 복잡도를 요구하는 기존의 검증 가능한 경매의 한계를 극복하기 위해.
• 탈중앙화된 통신이 중심화된 모델보다 더 넓은 범위의 검증 가능한 경매를 가능하게 함을 보여주기 위해.
• 공개 방송 채널과 암호학적 약속을 가정할 때, 검증 가능하고 전략적으로 유리하지 않으며 최적인 이중 라운드 경매를 체계적으로 정의하고 구성하기 위해.
• 통신이 탈중앙화될 경우, 지수 분포보다 꼬리가 무거운 분포(예: 파레토 분포)에 대해서도 검증 가능성이 달성될 수 있음을 보여주기 위해.

제안 방법

• 모든 메시지가 공개적으로 노출되고 입찰자가 이를 수정할 수 없는 공개 방송 모델로 중심화된 연기 공개 입찰(DRA)을 확장한다.
• 암호학적 약속을 사용해 입찰 단계에서 입찰자들이 자신의 입찰에 약속을 하여 검증 가능성을 확보하고 조작을 방지한다.
• 이중 라운드 구조를 사용한다: 첫 번째 라운드에서는 입찰자가 영지식 약속을 통해 입찰을 약속하고, 두 번째 라운드에서는 모든 약속이 완료된 후에 입찰자가 입찰 내용을 공개한다.
• 임계값 기반 메커니즘을 도입하여, 입찰자가 최고 입찰가가 특정 임계값 T를 초과할 경우에만 입찰자가 가짜 구매자로 위장할 수 있지만, 이 이탈이 신뢰성 기준을 만족하지 못함을 입증한다.
• 입찰자가 메시지를 삭제하거나 지연시키거나 수정하는 것은 불가능하지만, 새로운 메시지만 삽입할 수 있다는 가정에 기반하여, 공격자의 능력을 약화시킨다.
• 신뢰성의 정의로 '안전한 이탈'(safe deviations) 개념을 사용한다: 어떤 한 명의 구매자라도 감지할 수 없는 수익성 있는 이탈이 존재하지 않는다.

실험 결과

연구 질문

• RQ1 구매자가 서로에게 메시지를 공개적으로 방송하는 탈중앙화된 통신 모델에서 검증 가능하고 전략적으로 유리하지 않으며 최적의 경매를 구성할 수 있는가?
• RQ2 검열에 강한 방송 채널을 사용할 경우, 지수 분포보다 꼬리가 더 두꺼운 분포에 대해서도 검증 가능성이 달성될 수 있는가?
• RQ3 중심화된 모델과 탈중앙화된 모델 간에 검증 가능성에 차이가 존재하는가?
• RQ4 신뢰성과 최적성을 달성하면서도 통신 복잡도를 제한할 수 있는가?
• RQ5 암호학적 약속과 공개 방송을 통해 입찰자가 수익을 얻기 위한 안전한 이탈을 방지할 수 있는가?

주요 결과

• 공개 방송을 활용한 연기 공개 입찰는 α > 0 인 α-강한 정규 분포에 대해 신뢰할 수 있고 전략적으로 유리하지 않으며 최적의 이중 라운드 경매로, 이는 최초의 사례이다.
• 논문은 공식적인 분리를 입증한다: 중심화된 통신 모델에서는 검증 가능하지만 탈중앙화된 통신 모델에서만 검증 가능한 경매가 존재함을 보여주며, 탈중앙화가 중심화된 모델이 실패하는 상황에서도 검증 가능성을 가능하게 함을 증명한다.
• 모든 α > 0 에 대해 제한된 최악의 경우 통신 복잡도 하에서 제안된 경매는 기존 연구에서 요구한 α ≥ 1 조건을 초월하여 검증 가능하고 최적성을 달성한다.
• 이 경매는 기존의 검증 가능한 경매 설계에서 지원하지 못하는 무한한 지지역간과 규칙성이 없는 분포(예: 파레토 분포)에 대해서도 여전히 검증 가능하다.
• 입찰자가 가짜 구매자로 위장하는 안전한 이탈 공격은, 적어도 한 명의 구매자가 이를 감지할 수 있기 때문에 수익성이 없으며, '안전한 이탈'의 정의를 위반한다.
• 증명 과정에서 중심화된 DRA에서의 모든 안전한 이탈은 공개 방송 변형에서도 안전한 이탈로 매핑되지만, 평가 분포가 정규적이지만 α ≥ 1 인 α-강한 정규 분포가 아닌 경우 양자 모두에서 검증 가능성이 실패한다.