크라켄에서 머클 트리를 확인하는 방법은 무엇입니까? (예비금 증명)

머클 트리 검증 이해하기

1. 머클 트리(Merkle Tree)는 개별 사용자 잔액을 공개하지 않고 자산 보관을 보여주기 위해 Kraken이 사용하는 암호화 데이터 구조입니다.

2. 각 리프 노드는 해시된 사용자 잔액을 나타내며 내부 노드에는 하위 노드의 해시가 포함되어 단일 루트 해시로 끝납니다.

3. Kraken은 온체인 또는 서명된 증명을 통해 Merkle 루트를 게시하여 제3자와 사용자가 독립적으로 검증할 수 있도록 합니다.

4. 사용자는 리프 해시, 루트 경로에 따른 형제 해시, 인덱스 위치가 포함된 개인화된 머클 증명을 받습니다.

5. 증명을 통해 제공된 데이터만 사용하여 루트 해시를 재구성할 수 있습니다. 불일치는 변조 또는 불일치를 나타냅니다.

단계별 클라이언트측 검증

1. 암호화된 잔액, 리프 해시 및 증명 경로가 포함된 Kraken의 보유금 증명 대시보드에서 개인 감사 파일을 다운로드하세요.

2. 감사 등록 과정에서 생성한 개인 키를 사용하여 잔액의 암호를 해독합니다. Kraken은 이 키를 절대 보유하지 않습니다.

3. 암호화된 잔액을 SHA-256으로 해시하여 리프 노드 값을 생성합니다.

4. 각 형제 값을 현재 계산된 해시로 반복적으로 해시하고 인덱스 비트 시퀀스에 따라 왼쪽/오른쪽을 번갈아 가며 Merkle 경로를 탐색합니다.

5. 최종 계산된 해시를 공개적으로 게시된 Merkle 루트와 비교합니다 . 일치하면 잔액이 총 보유량 스냅샷에 포함되어 있음을 확인합니다 .

암호화 서명의 역할

1. Kraken은 ECDSA 키 쌍을 사용하여 Merkle 루트에 서명하고 공개 키는 웹 사이트에 게시되고 DNSSEC를 통해 확인됩니다.

2. 서명은 루트 해시와 스냅샷의 타임스탬프를 모두 포함하므로 재생 공격이나 오래된 증명을 방지합니다.

3. 사용자는 OpenSSL 또는 JavaScript의 Elliptic 과 같은 라이브러리를 사용하여 서명을 확인할 수 있으며 루트가 Kraken의 인증 키에 의해 발급되었는지 확인할 수 있습니다.

4. Merkle 루트를 신뢰할 수 있는 것으로 수락하기 전에 서명 검증이 필수입니다 .

5. Kraken은 서명 키를 주기적으로 순환하며, 모든 순환은 사전 증명을 통해 발표되고 암호화 방식으로 고정됩니다.

검증 중 일반적인 실패 지점

1. 잔액 해싱 시 잘못된 바이트 순서 처리 - Kraken은 해싱 전에 숫자 값에 빅엔디안 인코딩을 사용합니다.

2. 인덱스 비트 정렬이 잘못되어 형제 연결 순서가 잘못됨 - 해싱은 비트당 왼쪽에서 오른쪽으로 엄격한 우선 순위를 따라야 합니다.

3. 패딩 및 인코딩된 문자열 표현 대신 원시 잔액 사용 - 잔액은 고정 길이 제로 패딩 십진 문자열로 직렬화됩니다.

4. 16진수로 인코딩된 해시에서 대소문자 구분 무시 - SHA-256 출력은 Kraken의 증명에서 소문자이므로 재계산 중에도 그대로 유지되어야 합니다.

5. 먼저 서명을 검증하지 못하면 위조되거나 오래된 루트에 대해 검증하게 될 수 있습니다 .

자주 묻는 질문

Q: Merkle 증명 검증은 Kraken이 사용자 자산을 100% 보유하고 있음을 확인합니까? A: 아니요. 게시된 데이터 세트에 포함되었는지 확인하는 것뿐입니다. 이는 지급 능력, 자산 분리 또는 부채 부재를 입증하지 않습니다.

Q: 머클 증명을 사용하여 다른 사람의 잔액을 확인할 수 있나요? A: 아니요. 각 증명에는 해당 특정 리프와 관련된 경로만 포함됩니다. 원래 잔액 값이 없으면 재구성이 실패합니다.

Q: Kraken이 SHA-3 또는 BLAKE2 대신 SHA-256을 사용하는 이유는 무엇입니까? A: SHA-256은 생태계 간 상호 운용성에 중요한 광범위한 라이브러리 지원, 플랫폼 전반의 하드웨어 가속 및 Bitcoin의 암호화 스택과의 정렬을 제공합니다.

Q: 머클 트리는 정렬되어 있나요? 그렇다면 어떻게? 답: 그렇습니다. 리프는 사용자 식별자 해시에 따라 사전순으로 정렬되므로 독립적인 검증을 통해 결정적인 트리 구성이 보장됩니다.