[논문 리뷰] Metamorphic IOTA.

Gewu Bu, Wassim Hana외 1명|arXiv (Cornell University)|2019. 07. 08.

Blockchain Technology Applications and Security참고 문헌 4인용 수 4

한 줄 요약

이 논문은 IOTA의 파arameterized 메타모르픽 토픽 선택 알고리즘인 E-IOTA를 제안하며, IOTA의 보안성을 유지하면서도 랜덤 워크의 수를 줄이고 G-IOTA의 공정성과 신뢰도를 확보한다. 이는 IOTA와 그 유도체에 대해 알려진 공격에 대한 첫 번째 공식적인 보안 분석을 제공하며, IoT 기반 분산 블록체인을 위한 더 효율적이고 증명 가능하게 안전한 대안을 제시한다.

ABSTRACT

IOTA opened recently a new line of research in distributed ledgers area by targeting algorithms that ensure a high throughput for the transactions generated in IoT systems. Transactions are continuously appended to an acyclic structure called tangle and each new transaction selects as parents two existing transactions (called tips) that it approves. G-IOTA, a very recent improvement of IOTA, targets to protect tips left behind offering hence a good confidence level. However, this improvement had a cost: the use of an additional tip selection mechanism which may be critical in IoT systems since it needs additional energy consumption. In this paper we propose a new metamorphic algorithm for tip selection that offers the best guaranties of both IOTA and G-IOTA. Our contribution is two fold. First, we propose a parameterized algorithm, E-IOTA, for tip selection which targets to reduce the number of random walks executed in previous versions (IOTA and G-IOTA) while maintaining the same security guaranties as IOTA and the same confidence level and fairness with respect to tips selection as G-IOTA. Then we propose a formal analysis of the security guaranties offered by E-IOTA against various attacks mentioned in the original IOTA proposal (e.g. large weight attack, parasite chain attack and splitting attack). Interestingly, to the best of our knowledge this is the first formal analysis of the security guaranties of IOTA and its derivatives.

연구 동기 및 목표

• IOTA와 G-IOTA에서의 랜덤 워크 수를 줄임으로써 IoT 기반 분산 블록체인에서 토픽 선택의 높은 에너지 소비 문제를 해결하기 위해.
• IOTA와 동일한 보안 보장을 유지하면서 G-IOTA와 동일한 신뢰도 수준과 공정성을 확보하기 위해.
• 파라사이트 체인 공격 및 대량 웨이트 공격과 같은 알려진 공격에 대해 IOTA와 그 유도체의 공식적 보안 분석을 제안하기 위해.

제안 방법

• 시스템 파라미터에 따라 랜덤 워크 수를 동적으로 조정하는 파라미터화된 토픽 선택 알고리즘인 E-IOTA를 제안한다.
• 보안을 해치지 않으면서도 중복 랜덤 워크를 줄일 수 있도록 적응형 메타모르픽 메커니즘을 통합한다.
• 선택 확률이 토픽의 누적 웨이트와 tangle 내 깊이에 따라 달라지는 가중 랜덤 워크 전략을 사용한다.
• 파라사이트 체인, 대량 웨이트 조작, 분할 공격와 같은 공격 벡터를 포괄하는 모델을 통해 보안 성질을 공식화한다.
• 누적 웨이트와 전파 시간을 기반으로 한 신뢰도 수준 지표를 정의하여 신뢰성 확보.
• E-IOTA가 IOTA와 G-IOTA와 동일한 가정 하에 알려진 공격에 저항함을 증명하기 위해 공식적 검증 기법을 적용한다.

실험 결과

연구 질문

• RQ1 토픽 선택에서 랜덤 워크 수를 줄여도 원래 IOTA 프로토콜과 동일한 보안 보장을 유지할 수 있는가?
• RQ2 제안된 E-IOTA 알고리즘이 계산 오버헤드를 줄이면서도 G-IOTA의 공정성과 신뢰도 수준을 유지하는가?
• RQ3 IOTA와 G-IOTA와 비교해 E-IOTA는 파라사이트 체인, 대량 웨이트, 분할 공격에 대해 어떤 공식적 보안 보장을 제공하는가?
• RQ4 E-IOTA의 파라미터화가 IoT 환경에서 효율성과 보안 간의 트레이드오프에 어떻게 영향을 미치는가?
• RQ5 이 작업은 IOTA와 그 유도체의 보안 성질을 처음으로 공식적으로 검증할 수 있는가?

주요 결과

• E-IOTA는 원래 IOTA 프로토콜과 동일한 보안 보장을 유지하면서도 토픽 선택에 필요한 랜덤 워크 수를 크게 줄였다.
• 추가 메커니즘이나 에너지 소비 증가 없이도 G-IOTA와 동일한 수준의 공정성과 신뢰도를 달성하였다.
• 공식적 분석을 통해 E-IOTA가 IOTA와 G-IOTA와 동일한 위협 모델 하에서 파라사이트 체인, 대량 웨이트, 분할 공격에 저항함을 확인하였다.
• E-IOTA의 파라미터화된 설계는 조절 가능한 효율성-보안 트레이드오프를 가능하게 하여 자원 제약이 있는 IoT 환경에 적합하다.
• 이 작업은 IOTA와 그 유도체에 대한 첫 번째 공식적 보안 분석을 제공하며, 향후 분산 블록체인 프로토콜의 검증 기반을 마련하였다.