[논문 리뷰] A space- and time-efficient Implementation of the Merkle Tree Traversal Algorithm

Markus Knecht, Willi Meier외 1명|arXiv (Cornell University)|2014. 09. 14.

Chaos-based Image/Signal Encryption참고 문헌 5인용 수 10

한 줄 요약

이 논문은 공간 효율성이 뛰어난 로그-스페이스 알고리즘과 시간 효율성이 뛰어난 프랙탈 알고리즘을 결합한 새로운 머클 트리 순회 알고리즘을 제안한다. 이는 최악의 경우 $[L \times 2^h + 2H - 2h]$ 해시 값의 저장을 달성하며, 인증 경로 처리의 시간 복잡도를 감소시킨다. 이 방법은 리프 생성을 위해 연속적이고 결정적인 PRNG를 활용하여 메모리 사용을 최소화하면서 스마트카드와 같은 자원이 제한된 환경에서도 높은 성능을 유지도한다.

ABSTRACT

We present an algorithm for the Merkle tree traversal problem which combines the efficient space-time trade-off from the fractal Merkle tree [3] and the space efficiency from the improved log space-time Merkle trees traversal [8]. We give an exhaustive analysis of the space and time efficiency of our algorithm in function of the parameters H (the height of the Merkle tree) and h (h = H L where L is the number of levels in the Merkle tree). We also analyze the space impact when a continuous deterministic pseudo-random number generator (PRNG) is used to generate the leaves. We further program a low storage-space and a low time-overhead version of the algorithm in Java and measure its performance with respect to the two different implementations cited above. Our implementation uses the least space when a continuous PRNG is used for the leaf calculation.

연구 동기 및 목표

• 제한된 스토리지 환경에서 머클 트리의 효율적 순회 문제를 해결하기 위해, 특히 스마트카드와 같은 임베디드 시스템에서의 적용을 목적으로 한다.
• 기존 방법과 비교해 시간 효율성을 유지하거나 향상시키면서 머클 트리 순회의 공간 복잡도를 감소시키는 것.
• 저장소 오버헤드를 최소화하기 위해 연속적 결정적 의사난수 생성기(PRNG)를 리프 계산에 통합하는 것.
• 공간 및 시간 효율성 측면에서 이전 접근 방식을 능가하는 저오버헤드의 자바 구현을 제공하는 것.
• 다양한 트리 높이 및 파라미터 설정에서 공간과 시간 간의 트레이드오프를 분석하고 최적화하는 것.

제안 방법

• 알고리즘은 프랙탈 머클 트리 접근 방식을 확장하면서 로그-스페이스 순회 방법의 모든 공간 절약 최적화 기법을 통합하여, 공간과 시간 효율성을 균형 잡은 하이브리드 설계를 구현한다.
• 트리를 $L$개의 서브트리로 구성하며, 각 서브트리는 'Exist'와 'Desired' 서브트리로 나뉘며, 특정 노드만 저장하여 메모리 사용을 줄인다.
• 스택 기반 순회 메커니즘을 사용해 인증 경로를 단계적으로 계산하며, 리프 인덱스의 진행에 따라 서브트리 상태를 동적으로 갱신한다.
• 세 가지 전용 처리 함수를 활용한다: Process₀은 초기 노드 삽입을 담당하고, Process₁은 하위 수준 노드 추적을 담당하며, Process₂는 서브트리 전환 및 해시 계산을 담당한다.
• 핵심 혁신은 연속적 결정적 PRNG를 활용해 리프 값을 실시간으로 생성하여 메모리에 모든 리프를 저장할 필요가 없게 하는 것이다.
• 다음으로 업데이트할 서브트리를 선택할 때 가장 낮은 尾部 높이를 기준으로 동적으로 결정함으로써, 서브트리 간에 효율적이고 균형 잡힌 계산을 보장한다.

실험 결과

연구 질문

• RQ1 엄격한 스토리지 제약 조건 하에서 머클 트리 순회의 공간 및 시간 복잡도를 최소화할 수 있는 방법은 무엇인가?
• RQ2 연속적 결정적 PRNG를 사용할 경우 머클 트리 순회에서 메모리 프로파일에 어떤 영향을 미치는가?
• RQ3 로그-스페이스 알고리즘의 공간 효율성과 프랙탈 알고리즘의 시간 효율성을 융합하여 우수한 성능을 달성할 수 있는가?
• RQ4 저장소 및 시간 오버헤드를 최소화하기 위해 최적의 파라미터 설정, 즉 $H$ (트리 높이)와 $h$ (서브트리 높이)는 무엇인가?
• RQ5 실제 구현에서 제안된 알고리즘은 원본 프랙탈 및 로그-스페이스 순회 방법과 비교해 저장소 사용량과 실행 시간 측면에서 어떻게 성능을 냈는가?

주요 결과

• 제안된 알고리즘은 최악의 경우 $[L \times 2^h + 2H - 2h]$ 해시 값의 저장 요구량을 달성하며, 원본 프랙탈 알고리즘 대비 약 두 배의 감소를 기록한다.
• 인증 경로당 시간 복잡도는 $\frac{2^h - 1}{2^h} \times (L - 1) + 1$ 으로 감소하여, 큰 트리에 대해 성능 향상이 뚜렷하다.
• 연속적 결정적 PRNG를 활용해 리프를 생성할 경우, 리프가 지속 저장되지 않고 필요에 따라 계산되기 때문에 저장소 사용량이 가장 적다.
• 자바로 구현된 알고리즘은 낮은 저장소 및 시간 오버헤드를 보이며, 공간 효율성 측면에서 프랙탈 및 로그-스페이스 알고리즘을 모두 능가한다.
• 이론적 분석과 실측 측정을 통해 알고리즘이 공간 및 시간 복잡도에서 최적의 이론적 경계를 유지함을 확인했다.
• PRNG 기반 리프 생성 통합은 보안성이나 정확성에 영향을 주지 않으면서 메모리 사용량을 감소시켜, 임베디드 시스템에 매우 적합하다.