[논문 리뷰] BoLD: Fast and Cheap Dispute Resolution

Mario Moisés Álvarez, Henry Arneson외 13명|arXiv (Cornell University)|2024. 01. 01.

Dispute Resolution and Class Actions인용 수 1

한 줄 요약

BoLD는 레이어2 블록체인을 위한 혁신적인 분쟁 해결 프로토콜로, 기존 Arbitrum 프로토콜을 더 효율적이고 지연 공격에 강건한 설계로 대체한다. 토너먼트 기반의 도전 메커니즘과 최적화된 타이밍 및 스테이킹을 통해 일관된 완료 시간과 더 낮은 정직한 당사자 계산 부담을 보장하면서, 악성 행위자가 분쟁 해결을 지연시키기 위해 훨씬 더 많은 자원을 소비하도록 유도한다.

ABSTRACT

BoLD is a new dispute resolution protocol that is designed to replace the originally deployed Arbitrum dispute resolution protocol. Unlike that protocol, BoLD is resistant to delay attacks. It achieves this resistance without a significant increase in onchain computation costs and with reduced staking costs.

연구 동기 및 목표

• 분쟁 해결 프로토콜을 설계하여, 온체인 계산 비용이나 스테이킹 비용을 증가시키지 않으면서도 지연 공격에 저항할 수 있도록 한다.
• 특히 자원 고갈 및 케이터링 공격에 대비해 정직한 당사자의 분쟁 해결에 대한 자원 부담을 줄인다.
• 기존 Arbitrum 분쟁 해결 프로토콜을 더 효율적이고 안전한 대안으로 대체한다.
• 재귀적 도전 구조를 통해 다양한 추상화 수준에서 확장 가능한 분쟁 해결을 가능하게 한다.
• 정직한 당사자 계산 부담을 최소화하면서도 일관된 완료 시간을 최적화한다.

제안 방법

• 플레이어들이 라운드를 거쳐 분쟁을 해결하는 토너먼트 기반의 도전 메커니즘을 사용하며, 매치는 이진 또는 m-ary 구조로 진행된다.
• 후속 라운드가 이전 라운드가 완료되기 전에 시작될 수 있도록 허용하는 하이브리드 타이밍 기법을 사용하여 총 지연 시간을 (T + D)⌈logm(1 + NA)⌉ + T로 감소시킨다.
• 단일 레벨의 BoLD 변형을 도입하여 고정된 참가자 수와 결정론적 이동 순서를 갖는 단일 도전을 사용한다.
• 다중 레벨 확장 기법을 적용하여 각 레벨에서 재귀적 도전을 사용함으로써 계층적 정밀도를 통해 복잡한 분쟁를 효율적으로 해결한다.
• 악성 행위자가 지연 및 케이터링 공격을 시도할 경우 비례적으로 더 높은 자원 비용을 지불하도록 하는 스테이킹 모델을 구현한다.
• 플레이어가 이전 매치에서 승리한 이상 후속 라운드에 조기에 진입할 수 있도록 허용하는 타이머 관리 전략을 적용하여 안전성을 해치지 않으면서 처리량을 향상시킨다.

실험 결과

연구 질문

• RQ1 어떻게 분쟁 해결 프로토콜을 설계하여 온체인 계산 비용이나 스테이킹 비용을 증가시키지 않으면서도 지연 공격에 저항할 수 있는가?
• RQ2 대규모 분쟁 해결에서 완료 시간과 정직한 당사자 계산 부담 사이의 최적의 트레이드오프는 무엇인가?
• RQ3 토너먼트 기반의 도전 메커니즘을 라운드 간에 안전하게 병렬화할 수 있는가, 정확성이나 보안을 훼손하지 않고서도?
• RQ4 실제 L1 환경에서 악성 케이터링 및 순서 조작 공격에 대해 프로토콜의 성능은 어떻게 되는가?
• RQ5 재귀적 도전 정밀도를 지원하는 다중 레벨 분쟁 해결 프로토콜의 성능 특성은 무엇인가?

주요 결과

• BoLD는 청구 수에 관계없이 일관된 완료 시간 (T + D)⌈logm(1 + NA)⌉ + T를 달성하여 예측 가능한 분쟁 해결을 보장한다.
• 정직한 당사자 계산 비용은 m⌈logm(1 + NA)⌉로 표현되며, 이는 고청구량 상황에서 이전 프로토콜보다 크게 감소한다.
• 다중 레벨 환경에서 악성 행위자가 지연 공격을 시도하기 위해 스테이킹하고 소비하는 자원 비용은 NA^L 비례로 증가하여 지연 공격가 비용이 지나치게 높아지게 된다.
• 하이브리드 타이밍 기법은 후속 라운드의 조기 시작을 허용하여 완료 시간을 단축시켜 효율성을 향상시키며 안전성을 손상시키지 않는다.
• 다중 레벨 BoLD는 일관된 시간 내에 완료되며, 정직한 당사자 계산 비용은 NA^L 비례로 증가하지만, 다중 레벨 Cartesi는 ⌈log2(1 + NA)⌉^L의 순차적 매치를 필요로 하여 기하급수적 속도 저하가 발생한다.
• 악성 케이터링 및 순서 조작 상황에서 프로토콜은 안전성을 유지한다. 이는 제한된 게임(케이터링이 최종 라운드 이후로 연기된 경우)에서도 제한되지 않은 게임에서 달성 가능한 모든 결과가 달성 가능하다는 것을 증명함으로써 입증된다.