검수요청.png검수요청.png

무한루프

위키원
shoot008 (토론 | 기여)님의 2019년 8월 14일 (수) 13:34 판 (개요)
이동: 둘러보기, 검색

무한루프튜링완전언어의 특성에 따른 필수불가결한 특징으로 반복해서 돌아가는 것을 의미한다. 튜링완전이라는 특성은 어떠한 프로그램 혹은 애플리케이션도 만들어 낼 수 있음을 나타낸다. 이에 따라 튜링머신은 문제가 완전히 풀릴 때까지 반복하고 돌아간다. 루프 기능은 튜링머신의 이론에서 유용하고 반드시 필요한 부분이다. 하지만 이 특징은 득과실을 함께 포함하고 있다. 루프는 시간 제한이 없다. 무한 순환을 하여 그로 인해 튜링완전언어는 어떤 문제가 발생하여도 이에 대한 의도와 상관없이 끝까지 해결하기 위해 같은 작업을 반복한다. 결국 누군가 악의적으로 이러한 코드를 대입하여 루프기능을 악용한다면 이는 결국 메인 네트워크에 과부하를 불러일으키고, 더 나아가선 마비를 발생시키게 된다.[1]

개요

무한 루프는 컴퓨터에서 프로그램이 끝없이 동작하는 것으로, 루프문에 종료 조건이 없거나, 종료 조건과 만날 수 없을때 생긴다. 다중작업을 지원한 오래된 운영 체제는 한 프로그램의 무한루프가 전체 프로그램이 응답할 수 없게 만들었다.

특징

튜링완전언어의 명령어의 분할도와 반복명령어인 루프문이 중요한 이유는 부분의 반복은 높은 확장성을 이끌어내고 나아가서 응용까지 그것의 영역을 확장할 수 있기 때문이다

해결방법

이더리움은 무한루프로 인해 문제가 발생하는 상황을 피하고자 각 컴퓨터 코드 작업마다 가스(Gas)를 부과하는 시스템을 도입했다. 컴퓨터 코드가 실행될 때마다 수수료를 지불해야 한다면 개인의 악의적인 의도의 코드를 방지할 수 있다. 이뿐만 아니라 수수료인 가스는 노동의 보상으로써 작용하고 있다. 데이터를 옮기기 위해서는 채굴자들의 연산 작업이 필요한데, 이들이 한 계산에 대한 보상으로 이더리움 가스를 제공한다. 즉, 채굴자들은 채굴을 통해 채굴 보상과 연산 작업 보상을 함께 받게 된다.

비트코인 프로토콜은 별도의 확장 없이도 낮은 수준의 "스마트 계약"을 구현할 수있지만, 튜링 불완전성, UTXO의 상태표현의 한계점, 블록체인을 해독할 수 없는 문제점이 있다. 비트코인은 while이나 for와 같은 순환(loop) 명령 카테고리를 사용할 수 없으며, 순환 명령어를 없앤 이유는 거래 증명시 무한 루프에 빠지는것을 방지하기 위함이다. 기존 비트코인의 경우, 비트코인을 '이체'하는 것에 대해서만 수수료를 물었다. 따라서 비트코인을 스크립트 언어를 이용해 다양한 기능을 추가해서 이체하여도 추가적인 수수료는 물지 않는다. 물론 제대로 된 응용기능 자체를 제공하지 않기도 했었지만 말이다. 이더리움은 모든 응용기능이 가능하다. 그러나 단순 이체 뿐 아니라 컴퓨팅자원을 소모하게 만드는 모든 응용기능을 실행하는데에 수수료를 물린다. 따라서 공격자가 시스템에 대규모의 작업을 투하하려면, 그 만큼의 수수료를 선불로 지불해야만 한다.

즉, 다음과 같은 논리가 성립하게 된다.

  1. 공격자가 DoS공격을 하기 위해 수수료를 투입한다.
  2. 네트워크에 컴퓨팅파워를 투입하는 채굴자들의 수수료 수익이 증가한다.
  3. 채굴자들의 수익이 증가하기 때문에 한계마진 시(=한계비용 제로)까지 더 많은 컴퓨팅 파워를 투입한다.
  4. 높은 컴퓨팅파워로 인해 네트워크의 작업처리능력이 좋아진다.
  5. 작업처리능력이 좋아졌기 때문에, 더 많은 공격을 처리할 수 있게 된다.

이더리움의 수수료 시스템은 외부에서 공격이 들어오면 오히려 네트워크보안을 더 강화하는 역할을 한다. 그렇기 때문에 선순환 시스템(Virtuous Circle)이 성립한다.[2]

각주

참고자료

같이 보기


  검수요청.png검수요청.png 이 무한루프 문서는 블록체인 기술에 관한 글로서 검토가 필요합니다. 위키 문서는 누구든지 자유롭게 편집할 수 있습니다. [편집]을 눌러 문서 내용을 검토·수정해 주세요.