최대 추출 가능 가치(MEV)가 매년 사용자로부터 수십억 달러를 빼앗아가는 상황에서 진정으로 공정한 트랜잭션 처리를 달성하는 것은 블록체인에서 여전히 중요한 과제입니다. 핵심 문제는 트랜잭션 순서 공정성에 있으며, 이는 트랜잭션이 도착 시간을 기준으로 처리되어야 하며, 이익을 위해 악의적인 재정렬을 방지해야 함을 의미합니다. 이상적인 "선입선출"이 직관적으로 보이지만, 분산형 네트워크는 완벽한 공정성을 달성하기 어렵게 만들고 혁신적인 프로토콜 설계를 요구합니다.
달성하기 어려운 이상: 완벽한 순서가 역설인 이유
수십 년 동안 분산 시스템 연구는 일관성과 활성도에 초점을 맞춰왔습니다. 일관성은 모든 노드가 동일한 트랜잭션 시퀀스에 동의하는 것을 보장하고, 활성도는 지속적인 처리를 보장합니다. 그러나 이러한 속성은 악의적인 행위자가 트랜잭션 수신 후 순서를 조작하는 것을 본질적으로 막지 못합니다. 퍼블릭 블록체인에서 이러한 격차는 심각한 취약점이 되었습니다. 검증자, 블록 빌더 또는 시퀀서는 금융적 이익을 위해 블록 순서 지정에서 자신의 특권적 위치를 악용할 수 있으며, 이를 MEV라고 합니다. 이러한 조작에는 종종 수익성 있는 선행 매매, 후행 매매 및 샌드위치 공격이 포함되며, 여기서 트랜잭션 실행 순서는 DeFi 애플리케이션 수익성에 매우 중요합니다.
가장 직관적이고 엄격한 공정성 정의인 수신 순서 공정성(ROF)은 비공식적으로 "먼저 받은 것이 먼저 출력된다"고 명시합니다. 즉, 대다수의 노드가 트랜잭션 B보다 먼저 트랜잭션 A를 수신하면 A가 B보다 먼저 정렬되어야 합니다. 그러나 이 보편적으로 수용되는 ROF를 달성하는 것은 비동기 네트워크 또는 상당한 외부 지연이 있는 동기 네트워크에서도 근본적으로 불가능합니다. 이러한 불가능성은 사회 선택 이론, 특히 콘도르세 역설에 뿌리를 두고 있습니다. 이 역설은 개별 노드가 일관된 내부 순서를 유지하더라도 시스템 전체의 집단적 선호도가 비전이적 순환을 초래할 수 있음을 보여줍니다. 예를 들어, 대다수는 B보다 먼저 A를 보고, 다른 대다수는 C보다 먼저 B를 보고, 또 다른 대다수는 A보다 먼저 C를 볼 수 있으며, 깨지지 않는 루프(A→B→C→A)를 형성합니다. 이러한 루프는 모든 다수 선호도를 동시에 충족하는 단일하고 일관된 글로벌 순서를 방지합니다.
중앙값 타임스탬프: 트랜잭션 순서 공정성에 대한 결함 있는 접근 방식
일부 프로토콜은 강력한 수신 순서 공정성을 근사화하려고 시도했습니다. 예를 들어, Hedera Hashgraph는 고유한 합의 알고리즘을 사용하여 각 트랜잭션에 참여 노드의 모든 로컬 타임스탬프의 중앙값에서 파생된 최종 타임스탬프를 할당합니다. 중립적인 접근 방식처럼 보이지만, 이 방법은 역설적으로 조작에 취약합니다.
하나가 악의적으로 작동하는 5개의 합의 노드가 있는 네트워크를 고려해 보세요. 모든 정직한 노드가 tx₁보다 먼저 tx₂를 수신하는 경우 예상되는 순서는 tx₁ → tx₂입니다. 그러나 단일 적대적 노드는 이러한 트랜잭션에 대한 로컬 타임스탬프를 의도적으로 왜곡하여 tx₁에 더 늦은 타임스탬프를 할당하고 tx₂에 더 빠른 타임스탬프를 할당할 수 있습니다. 프로토콜이 모든 노드에서 중앙값 타임스탬프를 계산할 때 이러한 조작은 결과를 왜곡하여 tx₂가 tx₁보다 빠른 중앙값 타임스탬프를 수신하게 할 수 있습니다. 결과적으로 프로토콜은 tx₂ → tx₁을 출력하여 정직한 참가자가 관찰한 실제 순서를 효과적으로 뒤집습니다. 이 "장난감 예제"는 중요한 결함을 드러냅니다. 중앙값 함수는 중립적으로 보이지만 단일 부정직한 행위자가 최종 트랜잭션 순서를 편향시키기 위해 악용할 수 있으며, Hashgraph의 "공정한 타임스탬프 지정"은 강력한 암호화 보장보다 허가된 검증자 세트에 더 의존하는 놀라울 정도로 약한 공정성 개념임을 보여줍니다.
실용적인 솔루션: 확장 가능한 블록체인을 위한 공정성 재정의
콘도르세 역설에서 강조된 이론적 불가능성을 피하기 위해 실용적인 공정 순서 지정 체계는 공정성에 대한 보다 완화된 정의를 채택해야 합니다. Aequitas와 같은 프로토콜은 블록 순서 공정성(BOF)(배치 순서 공정성이라고도 함)을 도입했습니다. BOF는 충분한 수의 노드가 tx보다 먼저 tx′를 수신하면 tx가 tx′와 같거나 그 이전에 블록에 전달되어야 한다고 규정합니다. 이는 ROF의 엄격한 "이전에 전달되어야 함" 규칙을 "늦어도 전달되어야 함"으로 완화합니다.
콘도르세 순환(예: 서로 다른 대다수가 관찰한 tx₁ → tx₂ → tx₃ → tx₁)에 직면했을 때 BOF는 관련된 모든 트랜잭션을 동일한 배치 또는 블록으로 그룹화하여 충돌을 해결합니다. 예를 들어, 불가능한 선형 순서를 강제하는 대신 프로토콜은 Block B₁ = {tx₁, tx₂, tx₃}을 출력합니다. 이 블록 내에서 해시 값과 같은 결정론적 타이브레이커가 최종 실행 순서를 설정합니다. 이 접근 방식은 충돌하는 트랜잭션을 동시에 발생하는 것으로 취급하여 모든 트랜잭션 쌍에 대한 공정성을 보장하는 동시에 모든 노드에 대해 일관된 선형 트랜잭션 로그를 유지합니다. 이러한 충돌이 발생하지 않는 시나리오에서 프로토콜은 여전히 더 강력한 ROF 속성을 달성할 수 있습니다.
Aequitas는 BOF를 성공적으로 구현했지만 높은 통신 복잡성과 약한 활성도를 포함한 제한 사항에 직면했습니다. 즉, 순환이 "함께 연결"되면 트랜잭션 전달이 임의로 지연될 수 있습니다. Themis 프로토콜은 이후 통신 효율성을 개선하여 동일한 강력한 BOF 속성을 적용하기 위해 도입되었습니다. Themis는 배치 언스풀링, 지연된 순서 지정 및 더 강력한 배치 내 보장과 같은 기술을 통해 이를 달성합니다. 최적화된 버전인 SNARK-Themis는 간결한 암호화 증명을 활용하여 모든 노드 간의 직접적인 통신 없이 공정성을 확인하고 통신 부하가 네트워크 크기에 따라 선형적으로 증가하도록 줄여 더 큰 네트워크에 대한 효율적인 확장을 가능하게 합니다.
분산형 네트워크에서 공정 순서 지정의 미래
강력한 트랜잭션 순서 지정을 향한 여정은 절대적인 "선입선출" 이상으로서의 완벽한 공정성은 네트워크 지연 및 콘도르세 역설로 인해 실제 분산 시스템에서 근본적으로 달성할 수 없음을 보여줍니다. 다른 노드는 필연적으로 다양한 순서로 트랜잭션을 인식하여 타협 없이는 어떤 프로토콜도 보편적으로 해결할 수 없는 충돌을 일으킵니다. Hedera의 중앙값 타임스탬프 지정과 같은 초기 시도는 조작에 취약한 것으로 입증되어 "공정한 타임스탬프 지정"은 종종 검증자에 대한 신뢰에 의존하기보다는 검증 가능한 보장에 더 의존한다는 것을 강조합니다.
Aequitas 및 Themis와 같은 프로토콜은 불가능한 이상을 넘어 실제 네트워크 조건에서 순서 무결성을 유지하는 방식으로 공정성을 재정의하는 중요한 진화를 나타냅니다. 이러한 변화는 인지된 공정성과 증명 가능한 공정성 사이의 명확한 구분을 그립니다. 분산 시스템에서 진정한 트랜잭션 순서 공정성을 보장하는 것은 평판, 검증자 신뢰 또는 허가된 제어에 의존할 수 없습니다. 대신 강력한 암호화 검증을 통해 프로토콜 내에 직접 포함되어 투명성과 예측 가능성을 제공해야 합니다.
암호화폐 생태계가 계속 성숙함에 따라 사용자가 이러한 복잡한 역학 관계를 탐색하는 데 도움이 되는 도구가 점점 더 가치 있게 됩니다. 트랜잭션이 정렬되고 처리되는 방식을 이해하는 것은 효과적인 참여의 핵심입니다. 시장 움직임과 온체인 활동에 대한 더 깊은 통찰력을 얻으려는 사람들을 위해 cryptoview.io와 같은 애플리케이션은 포괄적인 관점을 제공하여 정보를 유지하고 보다 전략적인 결정을 내리는 데 도움이 될 수 있습니다. CryptoView.io에서 기회를 찾으세요
