[Paper] AMP: Arc Multi-Proposer Protocol 및 제한된 포함 보장

Source: arXiv - 2605.23677v1

개요

이 논문은 AMP (Arc Multi‑Proposer) 를 소개합니다. 이 프로토콜은 Tendermint 위에 위치하여 트랜잭션이 블록에 포함되는 순서와 어떤 트랜잭션이 포함될지에 대한 단일 검증자 독점을 없앱니다. 사용자와 검증자 사이에 전용 제안자 노드를 삽입함으로써, AMP는 모든 정직한 검증자가 승인한 페이로드는 다음 블록에 반드시 포함될 것임을 보장하고, 동시에 모든 페이로드에 대한 결정적이고 공정한 순서를 제공합니다.

주요 기여

• 멀티‑프로포저 아키텍처는 트랜잭션 전파를 합의와 분리하여 기존 메모풀을 제거합니다.
• 제한된 포함 보장: 페이로드가 모든 정상 검증자에 의해 증명되면 다음 블록에 반드시 포함됩니다.
• 결정론적 전역 순서 알고리즘은 모든 프로포저의 페이로드 집합을 대상으로 동작하여 검증자 수준의 재정렬 공격을 방지합니다.
• Tendermint와의 통합은 안전성과 가용성 특성을 유지하면서 대량 최종화를 통해 처리량을 향상시킵니다.
• 형식적인 보안 분석은 프론트러닝, 검열 및 임의 순서 공격에 대한 저항성을 보여줍니다.

방법론

1. Proposer layer – 경량 노드(제안자)는 사용자가 제출한 트랜잭션을 수집하고, 이를 payloads(페이로드)로 배치한 뒤, 모든 검증자에게 해당 페이로드를 방송합니다.
2. Attestation phase – 검증자들은 각 페이로드를 수신했음을 확인하는 서명된 영수증을 공개합니다. 모든 정직한 검증자가 서명하면 해당 페이로드는 fully attested(완전 인증)된 것으로 간주됩니다.
3. Consensus on payload set – Tendermint의 BFT 합의를 이용해 검증자들은 다음 블록에 포함될 완전 인증된 페이로드의 정확한 집합에 합의합니다.
4. Deterministic ordering – 페이로드 집합이 확정되면, 전역적으로 정의된 정렬 함수(예: 해시 기반 정렬)가 페이로드 전반의 모든 트랜잭션을 정렬하여 검증자별 정렬 권한을 없앱니다.
5. Block finalization – 정렬된 페이로드를 블록으로 조립하고 Tendermint에서 일반적으로 수행되는 것처럼 커밋합니다.

이 설계는 의도적으로 메모풀을 제거하여 트랜잭션 전파와 합의를 분리합니다. 이를 통해 깔끔한 파이프라인이 구현됩니다: 전파 → 인증 → 합의 → 정렬 → 최종화.

결과 및 발견

• 처리량 향상: 10‑검증인 테스트넷 실험에서, 병렬 페이로드 수집 및 대량 포함 덕분에 기존 Tendermint에 비해 초당 트랜잭션이 2‑3× 증가했음을 보여줍니다.
• 지연 영향: 추가 증명 라운드가 평균 약 10 ms만 추가되어, 최종 확정 시간이 Tendermint에서 일반적인 1초 미만 범위 내에 머무릅니다.
• 검열 저항성: 페이로드를 삭제하거나 순서를 바꾸려는 악의적인 검증인 시뮬레이션에서도 완전 증명된 페이로드의 포함을 막지 못했으며, 제한된 포함 보장이 확인되었습니다.
• 공정한 순서 지정: 결정론적 순서 지정 알고리즘이 모든 검증인에서 동일한 트랜잭션 순서를 생성하여, 검증인에 의한 프런트러닝 기회를 제거했습니다.

Practical Implications

• 규제 준수 – 금융 블록체인은 이제 단일 검증자가 거래를 검열하거나 순서를 바꿀 수 없다는 입증 가능한 보장을 제공할 수 있어 기존 시장‑조작 규정과 일치합니다.
• 개발자 편의성 – 애플리케이션 개발자는 더 이상 맞춤형 메모풀‑처리나 프론트러닝 완화 로직을 설계할 필요가 없으며, 프로토콜이 합의 계층에서 공정성을 강제합니다.
• 확장 가능한 DeFi 및 거래소 – 높은 처리량과 대량 최종화는 AMP를 고빈도 트레이딩 플랫폼, 주문‑북 거래소, 그리고 속도와 감사 가능성을 모두 요구하는 결제 레이어에 매력적으로 만듭니다.
• 상호 운용성 – AMP가 Tendermint 위에 얇은 오버레이로 구축되었기 때문에 기존 Cosmos‑SDK 체인은 최소한의 코드 변경으로 이를 채택할 수 있어 도구와 생태계 지원을 유지합니다.

제한 사항 및 향후 연구

• 제안자 신뢰 모델 – 제안자는 순서를 지정할 수 없지만, 악의적인 제안자는 여전히 저가 페이로드를 네트워크에 대량 전송하여 대역폭에 영향을 줄 수 있다; 속도 제한 메커니즘이 필요하다.
• 네트워크 오버헤드 – 모든 검증자에게 전체 페이로드를 브로드캐스트하는 것은 선택된 검증자만 트랜잭션을 받는 전통적인 메모풀에 비해 대역폭을 증가시킨다. 최적화(예: 소거 코딩, 가십 압축)는 향후 탐구 대상이다.
• 동적 검증자 집합 – 현재 분석은 정적 검증자 집합을 가정한다; 빈번한 검증자 변동에 대한 제한된 포함 보장을 확장하는 것은 아직 해결되지 않은 과제이다.
• 형식 검증 – 논문은 보안 스케치를 제공하지만, 전체 기계화 증명(예: Coq 또는 Isabelle)은 고가치 배포에 대한 신뢰를 강화할 것이다.

저자

• Daniel Cason
• Gordon Liao
• Sergio Mena
• Nenad Milošević
• Adi Seredinschi
• Alessandro Sforzin
• João Sousa
• Preston Vander Vos

논문 정보

• arXiv ID: 2605.23677v1
• 분류: cs.DC
• 출판일: 2026년 5월 22일
• PDF: PDF 다운로드