편집자 주: 이 기사의 출처는블록체인 캠프 (ID: blockchain_camp)블록체인 캠프 (ID: blockchain_camp)
소개
보조 제목
Attestant는 비수탁형 ETH 2.0 서약 서비스로 고객 자금에 더 높은 보안을 제공할 수 있을 뿐만 아니라 고급 검증 전략을 사용하여 기존 검증 인프라보다 더 높은 수익을 얻을 수 있습니다. 이점을 측정하는 한 가지 방법은 ETH 2.0 블록체인에서 증명 생성 및 업로드를 추적하는 것입니다. 증명이 더 일찍 연결될수록 더 높은 보상을 받기 때문에 이것은 핵심 메트릭입니다. 이 기사에서는 Attestant가 증인 유효성을 개별적으로 또는 종합적으로 계산하는 방법을 소개합니다.
고백
텍스트
이미지 설명
- 그림 1: 증명 메시지 구조 -
더 흥미로운 부분은 체인 헤드 투표(chain head vote)입니다. 즉, 이 증명 메시지를 생성할 때 검증자가 체인에서 가장 최근에 유효한 블록이라고 믿는 블록입니다. 체인 헤드 투표의 구조는 다음과 같습니다.
이미지 설명
그림에서 슬롯(time slot)은 검증자가 생각하는 현재 블록체인의 체인 헤드의 위치(높이)를 정의하고, 해시(hash)는 검증자가 생각하는 체인 헤드 블록을 정의합니다. 이 둘은 함께 블록체인의 한 지점을 정의합니다. 충분한 투표를 통해 네트워크는 블록체인 상태에 대한 합의에 도달할 수 있습니다.
증인 메시지의 데이터 양은 상대적으로 적지만 수만 명의 유효성 검사기가 있지만 데이터 양은 빠르게 합산됩니다. 이 데이터는 블록체인에 영원히 저장되기 때문에 데이터 양을 줄이는 것이 매우 중요합니다. 이는 "집계"라는 프로세스를 통해 달성됩니다.
집계는 동일한 여러 위원회, 체인 헤드 투표 및 최종 투표의 증언입니다(번역자 주: 동일한 위원회가 동일한 체인 헤드 투표 및 최종 투표 증명을 만들었습니다).
이미지 설명
집계된 증명은 두 가지 면에서 개별 증명과 다릅니다. 첫째, 전자에는 여러 유효성 검사기가 있습니다. 둘째, 개별 증명 메시지의 서명을 병합하여 집계 서명을 생성합니다. 집계된 증명은 스토리지 효율적이지만 통신 및 계산 오버헤드를 부과합니다(자세한 내용은 아래 참조).
모든 검증자가 모든 증명을 집계하도록 강제하면 모든 증명 메시지를 모든 검증자에게 전달하는 데 필요한 통신량이 네트워크에 빠르게 과부하를 일으킬 수 있습니다. 마찬가지로 집계가 선택 사항인 경우 유효성 검사기는 리소스를 낭비하지 않습니다. 따라서 네트워크는 집계 1을 담당하는 검증자 집합을 선택합니다. 더 많은 검증자를 포함하는 집계 증인 메시지가 블록체인에 추가될 가능성이 더 높고 검증자가 보상을 받을 가능성이 더 높기 때문에 이익을 위해 검증자는 자신의 의무를 진지하게 수행할 것입니다.
이 집계 프로세스를 수행하는 검증자를 집계자라고 합니다.
보조 제목
ETH 2.0은 유효성 검사기에 대한 증인 보상을 계산할 때 포함 거리 메트릭을 사용합니다. 패킹 거리는 증명 메시지가 생성되는 슬롯과 증명 메시지가 블록으로 패킹되는 슬롯의 차이를 의미합니다. 예를 들어, 슬롯 s에서 생성된 증명 메시지는 슬롯 s+1의 블록에 패킹되며 이때 패킹 거리는 1입니다. 증명 메시지가 슬롯 s+5의 블록에 패킹된 경우 패킹 거리는 5입니다.
증명 메시지의 상대적 가치를 반영하기 위해 검증자가 획득한 증인 보상은 포장 거리가 증가함에 따라 감소합니다. 특히 목격자 보상에 1/d를 곱합니다(d는 포장 거리).
이미지 설명
- 그림 4: 증명 메시지와 패키징 거리 사이에는 기능적 관계가 있습니다 -
보조 제목
증인 메시지의 패키징 과정
증인은 ETH 2.0 블록체인에서 어떻게 패키지됩니까? 프로세스는 다음과 같습니다. 2:
증인에 참여하는 각 유효성 검사기는 증인 메시지를 생성하기 위해 소유한 체인 상태의 관련 데이터를 사용합니다.
증명 메시지는 ETH 2.0 네트워크를 통해 관련 애그리게이터에게 방송됩니다.
집계된 증인 메시지는 ETH 2.0 네트워크를 통해 모든 노드에 브로드캐스트됩니다.
체인에서 집계 증인 메시지를 보지 못한 블록 제안자가 블록에 압축할 수 있는 한.
보조 제목
증명 생성 지연
유효성 검사기는 증명 생성을 지연시키는 문제를 경험할 수 있습니다. 예를 들어 유효성 검사기가 체인 상태에 대한 오래된 데이터를 가지고 있거나 유효성 검사기가 증명을 생성하고 서명하는 데 너무 오래 걸립니다. 이유가 무엇이든 증명 생성 단계의 지연은 나머지 프로세스에 파급 효과가 있습니다.
텍스트
증명 메시지 브로드캐스트 지연
검증자는 증명 메시지를 생성한 후 네트워크를 통해 집계자에게 증명 메시지를 브로드캐스트해야 합니다. 이 프로세스의 특성은 브로드캐스팅이 더 늦기보다는 더 빠르다는 것을 의미합니다. 이렇게 하면 전체 증명에 통합하기 위해 적시에 검증자가 증명을 수신할 수 있기 때문입니다. 유효성 검사기는 가능한 한 빨리 애그리게이터에 증명을 브로드캐스트할 수 있도록 충분한 피어에 연결되어야 합니다.
집계된 증명 생성 대기 시간
집계자는 증명의 집계 프로세스를 지연시킬 수 있습니다. 가장 일반적인 이유는 집계자 노드가 이미 오버로드되어 증명을 생성하지만 집계 알고리즘의 속도로 인해 많은 수의 유효성 검사기를 집계해야 하는 경우 엄청난 지연이 발생할 수도 있다는 것입니다.
집계된 증명 브로드캐스트 지연
증명 브로드캐스트 지연과 마찬가지로 집계된 증명도 네트워크에서 브로드캐스트해야 하므로 동일한 지연 위험이 있습니다.
블록 생성 실패
체인에서 증명 메시지를 얻으려면 먼저 블록으로 패키징해야 합니다. 그러나 블록 생성이 항상 성공하는 것은 아닙니다. 블록 생성에 실패할 수 있는 두 가지 이유가 있습니다: 1. 유효성 검사기가 오프라인 상태인 경우 2. 유효성 검사기가 네트워크의 다른 유효성 검사기와 동기화되지 않아 생성된 블록이 유효하지 않은 데이터를 포함하는 것으로 거부됩니다. 블록 생성에 실패하면 동일한 슬롯의 체인에 증명 메시지가 업로드되는지 확인할 수 없으므로 패킹 거리가 최적 거리보다 커집니다.
유효성 검사기는 블록 생성 3을 제어할 수 없으므로 "가장 빠른 포함 슬롯"이라는 용어를 정의합니다. 가장 빠른 패키징 슬롯은 증명 메시지가 생성된 후 유효한 블록을 생성하는 첫 번째 슬롯을 의미합니다. 증명 메시지는 존재하지 않는 블록으로 패키징할 수 없으므로 증명 메시지 생성 후 첫 번째 슬롯을 기준으로 증인의 효율성을 측정할 수 없습니다. 이 표준은 이러한 고려 사항을 반영하여 증명 메시지가 생성된 후 유효한 블록을 생성하는 첫 번째 슬롯으로 "가장 빠른 패키징 슬롯"을 정의합니다.
악의적인 행동
그럼에도 불구하고 악의적인 행위자가 증명 집계를 거부하거나 증명을 블록에 포함하는 것을 거부하는 것은 여전히 가능합니다. 전자의 위험은 유효성 검사기 그룹당 여러 집계자를 보유하여 완화할 수 있습니다. 후자의 위험을 줄이기 위해 증명 메시지를 패키징하지 않는 데 일정한 비용이 듭니다. 그러나 증인에 참여하는 검증인은 블록 생산자에게 증명 메시지를 패키징하도록 강요할 수 없으므로 증명 메시지를 패키징하지 않는 이점이 비용보다 크면 증인에 참여하는 검증인은 속수무책입니다.
블록 생성 및 패키징 거리를 고려할 때 증명 메시지의 유효성은 증명 메시지가 네트워크에 얼마나 유용한가로 이해할 수 있습니다. 증명 유효성의 공식적인 정의는 다음과 같습니다.
블록 유효성은 백분율로 표시됩니다. 다음 표에는 몇 가지 예가 나와 있습니다.
집계된 증명 유효성
요약하다
단일 증명의 타당성은 흥미롭지만 그 자체로는 별로 의미가 없습니다. 서로 다른 슬롯에서 서로 다른 유효성 검사기가 생성한 증명의 유효성을 집계하면 유효성 검사기 세트의 전반적인 유효성을 더 잘 이해할 수 있습니다. 집계 유효성은 예를 들어 7일 동안 특정 유효성 검사기 집합의 유효성 평균과 같이 개별 증명 유효성의 평균을 취하여 간단히 계산할 수 있습니다.
보조 제목
요약하다
ETH 2.0이 출시되면 수천 개의 노드가 서로를 찾아 블록을 제안하고 목격하기 시작합니다. 모든 미성숙 네트워크와 마찬가지로 노드를 최대한 효율적으로 만드는 방법을 실험해야 합니다. 위에서 언급했듯이 증명 메시지 유효성은 노드 유효성을 추적하는 데 사용되는 주요 지표입니다. 보상을 극대화하려는 유효성 검사기는 증명 유효성을 사용하여 전반적인 성능을 이해할 수 있습니다.
Attestant는 검증자에 대한 증명의 유효성을 추적하고 클라이언트 보고서에서 데이터를 집계하여 보다 명확한 성능 지표를 제공합니다. 비수탁형 ETH 2.0 스테이킹 서비스를 지속적으로 확장함에 따라 더 많은 지표를 공유하고 싶습니다.
노트:
