본문으로 이동
Financial Context Wiki

PoS 장거리 공격: 과거 키, 부트스트랩 위험과 체크포인트

PoS 장거리 공격은 과거 검증자 권한으로 서명된 대체 이력을 제시합니다. 어떤 노드가 노출되는지, 공격자가 무엇을 재현해야 하는지, 약한 주관성 체크포인트와 프로토콜별 동기화 규칙이 위험을 어떻게 제한하는지 설명합니다.

업데이트

프로토콜 보안에 관한 교육 목적의 분석일 뿐입니다. 장거리 공격 저항성은 프로토콜과 버전에 따라 다릅니다. 새로 동기화했거나 장기간 오프라인이었던 노드를 신뢰하기 전에 인증되고 독립적으로 교차 확인된 출처에서 부트스트랩 데이터를 확보하십시오.

핵심 답변

지분증명 장거리 공격은 아주 먼 과거에 유효했던 검증자 권한을 이용해 상충하는 이력을 신뢰할 만한 것으로 보이게 하려는 시도입니다. 흔히 사후 부패라고 부르는 방식은 검증자가 탈퇴하고 담보가 더 이상 슬래싱 대상이 아니게 된 뒤 해당 검증자의 키를 획득하거나 탈취합니다. 과거 서명을 생성할 때 작업증명의 에너지 소비를 다시 지불할 필요가 없으므로, 공격자는 정직한 체인이 역사적으로 들인 비용에 비해 저렴하게 내부적으로 일관된 포크를 만들 수 있습니다.

표적은 일반적으로 인증된 최신 상태를 보유하지 않은 노드입니다. 처음 시작하는 노드, 오래된 백업에서 복원한 노드, 프로토콜의 안전한 동기화 기간보다 오래 오프라인이었던 노드가 여기에 해당합니다. 네트워크를 계속 관찰한 노드는 이미 최종화됐거나 다른 방식으로 보호되는 조상 블록을 알고 있으므로 그와 상충하는 포크를 거부해야 합니다. 따라서 이클립스 공격이나 침해된 데이터 출처가 동기화 중인 노드에서 정직한 상태를 숨기면 공격이 더 강해질 수 있습니다.

과거 키만으로 모든 것을 위조할 수 있는 것은 아닙니다. 대체 이력은 대상 프로토콜의 서명 도메인, 상태 전이, 검증자 집합 변화, 시간 규칙, 최종성 또는 체인 선택 증거, 키 진화나 체크포인트 제약을 충족해야 합니다. 일부 PoS 프로토콜은 최신 약한 주관성 체크포인트를 요구하고, 다른 프로토콜은 제네시스 중심 부트스트랩이나 서로 다른 신뢰 및 가용성 가정을 정의합니다. “PoS”를 하나의 메커니즘으로 취급하지 말고 정확한 체인, 네트워크, 포크 버전, 클라이언트와 동기화 모드를 분석해야 합니다.

체크포인트는 단순히 편리한 블록 번호가 아닙니다. 특정 네트워크와 합의 상태를 특정 epoch, slot 또는 높이의 root나 해시에 결합합니다. 인증된 체크포인트는 노드가 고려할 수 있는 이력을 제한합니다. 그런 다음 노드는 해당 앵커에서부터 프로토콜 규칙에 따라 나머지 체인을 검증할 수 있습니다. 이것이 약한 주관성입니다. 피어가 알려 주는 최신 헤드를 영구적으로 신뢰하는 대신 부트스트랩 시 제한된 외부 입력을 받고, 가정된 기간 안에서는 객관적으로 검증합니다.

공격 및 검증 경로

  1. 오래된 포크 지점을 선택합니다. 공격자는 이후 검증자 권한이 교체됐거나 새 노드가 독립적으로 인증하기 어려운 과거 상태를 찾습니다.
  2. 충분한 과거 서명 권한을 확보합니다. 검증자가 탈퇴한 뒤 키가 매입, 도난, 보관, 백업 복원 또는 침해된 서명 시스템을 통해 노출될 수 있습니다. 필요한 가중치와 메시지 유형은 프로토콜마다 다르며, 오래된 제안자 키 하나만으로 항상 충분한 것은 아닙니다.
  3. 프로토콜상 유효한 대체 이력을 구성합니다. 공격자는 피해자 클라이언트의 과거 검사를 통과하는 블록, 투표, 인증서와 검증자 집합 변경을 생성합니다. 잘못된 상태 전이, 틀린 도메인, 불가능한 시간 배치나 누락된 증거가 있으면 포크는 여전히 무효가 될 수 있습니다.
  4. 포크를 연장해 제시합니다. 저렴한 서명 생성으로 긴 이력을 채울 수 있지만 단순한 블록 수가 결과를 결정하지는 않습니다. 해당 브랜치는 그 동기화 모드가 사용하는 정확한 선택 절차에서 이기거나 이를 우회해야 합니다.
  5. 부트스트랩 시야를 통제합니다. 피해자를 인증된 최신 체크포인트나 정직한 피어 증거로부터 격리하고 대체 이력만 보여 주거나 우선 후보로 제시합니다.
  6. 하위 시스템이 의존하도록 유도합니다. 노드가 잘못된 상태를 수락하면 RPC, 지갑, 인덱서, 브리지 모니터 또는 애플리케이션은 실제 네트워크가 다른 체인을 따르는데도 공격자의 포크에서는 프로토콜상 유효한 잔액, 이벤트, 검증자 구성을 보고할 수 있습니다.

방어자는 이 경로를 거꾸로 재현해야 합니다. 앵커를 인증하고 체인 및 네트워크 식별자를 확인하며, 후보 체인이 그 앵커의 후손인지 검증하고, 모든 합의 및 상태 전이 검사를 수행한 뒤 독립된 인프라 사이에서 최종화됐거나 선택된 상태를 비교해야 합니다. 다운로드에 성공했다는 사실만으로 선택된 이력이 정규 이력임을 증명할 수는 없습니다.

예시

검증자 집합 V_old가 epoch 120,000에서 가상의 PoS 체인을 지배했다고 가정합니다. 수년 뒤 해당 과거 가중치의 2/3를 넘는 검증자가 탈퇴해 더 이상 프로토콜상 처벌 대상이 아닙니다. 공격자는 이 오래된 키들을 얻고 체크포인트 C_old 직후부터 상충하는 이력을 만들기 시작합니다.

조작된 브랜치에서 공격자는 이 가상 프로토콜이 요구하는 투표에 서명하고 이후 검증자 구성을 바꾼 뒤 epoch 420,000까지 진행합니다. 정직한 네트워크도 epoch 420,000에 도달했으므로, 같은 epoch 번호나 더 긴 파일만으로는 부트스트랩 중인 노드가 어느 브랜치가 사회적·운영상 정규 체인인지 판단할 수 없습니다. 조작된 브랜치가 애초에 허용될 수 있는지는 프로토콜의 모든 과거 규칙을 만족하는지에 달려 있습니다.

노드 N_live는 진짜 최종화 체크포인트 C_recent를 epoch 419,936에서 관찰했습니다. 공격 포크는 C_recent의 후손이 아니므로 N_live는 이를 거부합니다. 반면 노드 N_new는 제네시스에서 시작하고 공격자 피어에만 연결되며 인증된 최신 앵커가 없습니다. 해당 프로토콜과 동기화 모드가 이력 내부의 증거만으로 두 체인을 구별할 수 없다면 공격 브랜치를 수락할 수 있습니다.

N_new에 인증된 쌍 C_recent = (root, 419,936)을 제공하면 판단 경계가 달라집니다. 클라이언트는 동기화 경로가 이 정확한 체크포인트를 포함하도록 강제하고, 포함할 수 없으면 실패 후 닫혀야 합니다. 예시의 epoch와 2/3 임계값은 하나의 최종성 방식 설계를 설명하기 위한 것이며, 모든 PoS에 공통인 매개변수나 특정 네트워크의 현재 설정이 아닙니다.

통제 및 검토 체크리스트

프로토콜 설계

  • 사후 부패, 검증자 교체, 적응형 키 침해, 네트워크 격리와 데이터 가용성을 포함한 정확한 장거리 보안 모델을 문서화합니다.
  • 어떤 최종화 상태도 되돌려서는 안 되는지, 포크 선택이 로컬에서 신뢰한 앵커와의 충돌을 어떻게 처리하는지 정의합니다.
  • 상충하는 서명을 탐지하고 처벌할 수 있는 동안 안전성 가정이 유효하도록 검증자 탈퇴, 출금과 집합 교체를 제한합니다.
  • 약한 주관성 기간이나 대체 동기화 안전성 가정을 영구적인 달력 기간이 아니라 현재 상태와 프로토콜 상수에서 도출되는 값으로 지정합니다.
  • 프로토콜 설계가 지원한다면 키 진화 서명이나 순방향 보안 서명을 고려합니다. 일반적인 키 삭제는 유용한 보안 위생이지만 완전한 합의 방어책은 아닙니다.
  • 최초 동기화, 체크포인트 동기화, 스냅샷 복원과 장기 오프라인 복구를 각각 시험합니다. 실시간 포크 선택 규칙이 안전하다고 해서 부트스트랩도 자동으로 안전한 것은 아닙니다.

노드 부트스트랩 및 운영

  • 동기화 전에 체크포인트 root 또는 블록 해시, epoch 또는 높이, chain ID, 네트워크, 포크 버전, 획득 시각과 제공자를 기록합니다.
  • 인증된 경로로 앵커를 얻고 실제로 독립된 여러 출처를 비교합니다. 하나의 노드나 운영자가 뒷받침하는 여러 웹사이트는 독립적이지 않습니다.
  • 오래됐거나, 형식이 잘못됐거나, 다른 네트워크에 속하거나, 서로 충돌하는 체크포인트를 거부합니다. 검증 실패 후 앵커 없는 동기화로 조용히 폴백해서는 안 됩니다.
  • 동기화된 체인에 정확한 앵커가 포함되도록 요구하고 의도한 합의 및 실행 클라이언트로 모든 후손을 검증합니다.
  • 피어, 클라이언트, 운영자와 RPC를 다양화하고 이클립스 상태, 최종화 root 불일치, 비정상 롤백과 장기 최종성 장애를 감시합니다.
  • 오래된 데이터베이스나 백업에서 복원한 뒤 앵커를 다시 확인하고 프로토콜이 명시한 안전 기간 안에 갱신합니다.

애플리케이션의 의존

  • 새로 동기화한 RPC 하나가 성공을 보고했다는 이유만으로 예치금, 브리지 메시지나 되돌릴 수 없는 거래를 확정하지 마십시오.
  • 영향이 큰 작업을 하기 전에 독립 노드 사이에서 체인 식별자, 최종화 체크포인트와 이벤트의 조상 관계를 대조합니다.
  • 합의 이력과 애플리케이션의 사실을 구분합니다. 정규 체인이라고 해서 오라클의 정확성, 컨트랙트 안전성, 프로토콜 외부의 데이터 가용성이나 수탁자의 지급 능력이 증명되지는 않습니다.
  • 상충하는 최종화 체크포인트나 신뢰 앵커에 대한 중단 정책을 준비합니다. 이런 상황은 합의 실패, 손상된 부트스트랩 데이터 또는 잘못된 네트워크를 나타낼 수 있으며 더 긴 브랜치를 자동 선택해 해결해서는 안 됩니다.

흔한 오해

  • 모든 PoS 체인은 같은 방식으로 취약합니다. 장거리 공격 저항성은 프로토콜의 검증자 변화, 서명, 최종성, 포크 선택, 체크포인트와 동기화 가정에 따라 다릅니다.
  • 오래된 키로 아무 제약 없이 모든 거래를 다시 쓸 수 있습니다. 공격자는 여전히 피해자의 전체 검증 규칙이 수락하는 이력을 만들어야 합니다. 일부 공격 구성에는 과거 권한이 필요하지만 그것만으로 충분하지 않을 수 있습니다.
  • 블록, epoch 또는 서명이 더 많은 체인이 진짜입니다. 선택 과정에는 프로토콜별 유효성, 가중치, 인증서와 앵커가 사용되며 보편적인 길이 비교 방식은 없습니다.
  • 최종성만으로 제네시스에서 시작한 노드가 사회적 정규 체인을 식별할 수 있습니다. 인증된 최신 상태가 없는 노드에는 내부적으로 유효하고 최종화된 두 이력이 모호할 수 있습니다. 최종성은 관련 체크포인트를 이미 알고 있는 노드를 보호합니다.
  • 슬래싱은 언제나 공격을 억제합니다. 완전히 탈퇴한 검증자에게는 슬래싱할 담보가 남아 있지 않을 수 있으며, 증거는 행위자에게 귀속 가능하고 처벌을 집행할 수 있을 때 처리돼야 합니다.
  • 체크포인트는 한 회사를 영원히 신뢰한다는 뜻입니다. 신뢰는 특정 최신 앵커로 제한할 수 있고, 인증된 배포, 독립적 교차 확인과 이후의 로컬 검증으로 더 줄일 수 있습니다.
  • 탈퇴한 키를 삭제하면 프로토콜 문제가 해결됩니다. 안전한 삭제는 침해 위험을 줄이지만 견고한 합의와 부트스트랩 규칙은 일부 과거 키가 노출되는 상황을 견뎌야 합니다.

관련 주제

출처

탐색

위키 검색...