의견.png

"우로보로스 비잔틴 장애 허용"의 두 판 사이의 차이

위키원
이동: 둘러보기, 검색
(→‎개요)
(→‎대체 위협 모델에서 작동 방식)
 
(같은 사용자의 중간 판 9개는 보이지 않습니다)
1번째 줄: 1번째 줄:
−
'''우로보로스 비잔틴 장애 허용'''(OBFT; Ouroboros Byzantine Fault Tolerance)이란 간단한 결정론적 블록체인 기반 프로토콜로, 서버는 그들에게 이용 가능한 가장 긴 체인을 확장하는 거래의 블록을 분산시키는 미리 결정된 라운드 로빈(round-robin) 방식으로 돌아가게 된다. 서버는 거래의 결과로 클라이언트에 즉시 응답할 수 있으므로 거래의 결과를 얻을 수 있다. 카르다노(cardano) 개발사 IOKH가 바이런(byron) 1.5 버전 이후 OBFT가 구현될 것이라고 말하였다.
+
'''우로보로스 비잔틴 장애 허용'''(OBFT; Ouroboros Byzantine Fault Tolerance)이란 간단한 결정론적 [[블록체인]] 기반 [[프로토콜]]로, [[서버]]는 그들에게 이용 가능한 가장 긴 [[체인]]을 확장하는 거래의 [[블록]]을 분산시키는 미리 결정된 라운드 로빈(round-robin) 방식으로 돌아가게 된다. 서버는 거래의 결과로 [[클라이언트]]에 즉시 응답할 수 있어 거래의 결과를 얻을 수 있다. [[카르다노]](cardano) 개발사 [[IOHK]]가 바이런(byron) 1.5 버전 이후 OBFT가 구현될 것이라고 말하였다.
  
 
==개요==
 
==개요==
−
카르다노가 가지고 있는 기존 지분 증명 프로토콜의 한계, 그 중에서도 특히 Grinding Attack을 막기 위해 설계된 지분증명(Pos) 기반 합의 프로토콜로 우로보로스(Ouroboros)가 있는데, 이 기존의 우로보로스의 디자인에서 영감을 얻은 새로운 BFT 원장 합의 프로토콜이다. 2018년 11월에 발표된 페이퍼가 존재하며, 프로그래밍 언어 하스켈(Haskell) 과 러스트(Rust) 구현이 있다. 우로보로스 BFT를 사용하면 Shelley로의 구현 및 배포 시간을 단축할 수 있다고한다. 또한 우로보로스 비잔틴 장애 허용은 Byron이 사용하는 우로보로스 클래식과 우로보로스 제네시스 사이의 브리지(연결 다리) 역할을 한다.<ref>[하마] 이승현, 〈[https://hamait.tistory.com/1035 BFT 간략 정리 : PBFT , SimpleBFT, SBFT , BFT-SMaRt]〉, 《티스토리》, 2019-03-05</ref>
+
[[카르다노]]가 가지고 있는 기존 지분 증명 [[프로토콜]]의 한계, 그중에서도 특히 [[Grinding Attack]]을 막기 위해 설계된 [[지분증명]](Pos) 기반 합의 프로토콜로 [[우로보로스]](Ouroboros)가 있는데, 이 기존 우로보로스의 디자인에서 영감을 얻은 새로운 [[BFT]] 원장 합의 프로토콜이다. 2018년 11월에 발표된 페이퍼가 존재하며, 프로그래밍 언어 [[하스켈]](Haskell) 과 [[러스트]](Rust) 구현이 있다. 우로보로스 BFT를 사용하면 Shelley로의 구현 및 배포 시간을 단축할 수 있다고 한다. 또한 우로보로스 비잔틴 장애 허용은 Byron이 사용하는 우로보로스 클래식과 우로보로스 제네시스 사이의 연결 다리 역할을 한다.<ref>[하마] 이승현, 〈[https://hamait.tistory.com/1035 BFT 간략 정리 : PBFT , SimpleBFT, SBFT , BFT-SMaRt]〉, 《티스토리》, 2019-03-05</ref>
  
 
==카르다노==
 
==카르다노==
 
[[파일:카르다노 로고.png|썸네일|150픽셀|'''카르다노'''(Cardano) 로고]]
 
[[파일:카르다노 로고.png|썸네일|150픽셀|'''카르다노'''(Cardano) 로고]]
−
카르다노는 에이다(ADA)의 플랫폼이며 디지털 자금을 주고 받는 데 사용할 수 있다. 이 암호화폐는 돈의 미래를 나타내며, 암호화를 사용하여 안전하게 보장되는 빠르고 직접적인 송금을 가능하게 한다. 카르다노는 단순한 암호화폐가 아니라 전 세계의 개인, 조직 및 정부가 매일 사용하는 금융 애플리케이션을 실행할 수 있는 기술 플랫폼이다. 플랫폼은 계층으로 구성되어 있어 시스템을 보다 쉽게 유지 관리할 수 있는 유연성을 제공하고 소프트 포크를 통해 업그레이드 할 수 있다. 에이다를 실ㄹ행할 결제 계층이 완료되면 미래의 상거래 및 비즈니스를 뒷받침할 디지털 법적 계약인 스마트 계약을 처리하기 위해 별도의 컴퓨텅 계층이 구축된다. 또한 카르다노는 단일 당사자가 제어하지 않고 블록 체인에서 작동하는 분산 응용 프로그램 또는 디앱(Dapp)을 실행한다. 카르다노의 주요 혁신은 사용자 요구와 규제 기관의 요구를 균형있게 유지하면서 개인 정보를 규제와 결합하는 것이다.
+
[[카르다노]]는 [[에이다]](ADA)의 [[플랫폼]]이며 디지털 자금을 주고받는 데 사용할 수 있다. 이 [[암호화폐]]는 돈의 미래를 나타내며, 암호화를 사용하여 안전하게 보장되는 빠르고 직접적인 송금을 가능하게 한다. 카르다노는 단순한 암호화폐가 아니라 전 세계의 개인, 조직 및 정부가 매일 사용하는 금융 [[애플리케이션]]을 실행할 수 있는 기술 플랫폼이다. 플랫폼은 계층으로 구성되어 있어 시스템을 더욱 쉽게 유지 관리할 수 있는 유연성을 제공하고 [[소프트 포크]]를 통해 [[업그레이드]] 할 수 있다. 에이다를 실행할 결제 계층이 완료되면 미래의 상거래 및 비즈니스를 뒷받침할 디지털 법적 계약인 스마트 계약을 처리하기 위해 별도의 컴퓨터 계층이 구축된다. 또한 카르다노는 단일 당사자가 제어하지 않고 [[블록체인]]에서 작동하는 분산 응용 프로그램 또는 [[디앱]](Dapp)을 실행한다. 카르다노의 주요 혁신은 사용자 요구와 규제 기관의 요구를 균형 있게 유지하면서 개인 정보를 규제와 결합하는 것이다.
  
 
==구현 언어==
 
==구현 언어==
−
*'''하스켈''' : 순수하고 단순한 함수형 프로그래밍 언어로 함수형 프로그래밍 분야의 학자들이 부작용의 해악에 대한 아이디어를 집어넣어 설계해 20년 이상 개발해왔다. 하스켈은 함수형 프로그래밍의 이상에 대한 순수한 표현 중 하나로 I/O 채널을 다루는 데 있어 신중한 메커니즘을 갖추고 있으며, 또한 불가피한 부작용도 갖고 있다. 그러나 그 부분을 제외한 나머지 부분은 완벽하게 기능한다. 커뮤니티는 매울 활발하여 십여 개의 하스켈 변형 버전이 나와 있다. 그 중에서는 독립형도 있고 자바 도는 파이썬과 같은 주류 프로젝트와 통합되는 형태도 있다.  
+
*'''하스켈''' : 순수하고 단순한 함수형 프로그래밍 언어로 함수형 프로그래밍 분야의 학자들이 부작용의 해악에 대한 아이디어를 집어넣어 설계해 20년 이상 개발해왔다. [[하스켈]]은 함수형 프로그래밍의 이상에 대한 순수한 표현 중 하나로 I/O 채널을 다루는 데 있어 신중한 메커니즘을 갖추고 있으며, 또한 불가피한 부작용도 갖고 있다. 그러나 그 부분을 제외한 나머지 부분은 완벽하게 기능한다. 커뮤니티는 매우 활발하여 십여 개의 하스켈 변형 버전이 나와 있다. 그중에서는 독립형도 있고 [[자바]] 또는 [[파이썬]]과 같은 주류 프로젝트와 통합되는 형태도 있다.<ref> 〈[http://www.itworld.co.kr/news/90376?page=0,4 지금 배울 만한 9가지 최첨단 프로그래밍 언어]〉, 《아이티월드》, 2014-11-06</ref>
−
*'''러스트''' : 러스트는 시스템 수준의 빠른 소프트웨어를 제작하기 위한 언어이다. 러스트는 빠르고, 안전하며, 무엇보다 합리적인 수준의 프로그래밍 난이도를 보장한다. 러스트는 또한 널리 사용되도록 설계되어 있으며 승자 독식의프로그래밍 언어 경쟁에서 '참가에 의의를 두는' 낙오된 언어가 되지 않도록 신경썻다. 러스트의 장점들은 브라우저뿐만 아니라 모든 소프트웨어에 필요하기 때문에 브라우저 프로젝트로 시작한 러스트는 프로그래밍 언어 프로젝트로 진화했다.  
+
*'''러스트''' : [[러스트]]는 시스템 수준의 빠른 [[소프트웨어]]를 제작하기 위한 언어이다. 러스트는 빠르고, 안전하며, 무엇보다 합리적인 수준의 프로그래밍 난이도를 보장한다. 러스트는 또한 널리 사용되도록 설계되어 있으며 승자 독식의 프로그래밍 언어 경쟁에서 '참가에 의의를 두는' 낙오된 언어가 되지 않도록 신경썻다. 러스트의 장점들은 브라우저뿐만 아니라 모든 소프트웨어에 필요하므로 [[브라우저]] 프로젝트로 시작한 러스트는 프로그래밍 언어 프로젝트로 진화했다.<ref>Serdar Yegulalp, 〈[http://www.ciokorea.com/news/112731 C·C++ 개발자 노린다···‘러스트’ 언어란? 뜨는 이유는?]〉, 《CIO코리아》, 2018-12-07</ref>
  
 
==정산증명 방법==
 
==정산증명 방법==
 
===가정 1. (t < n/4)===
 
===가정 1. (t < n/4)===
−
*'''레저 보고'''(Ledger Reporting) : 거래 tx는 원장에 여러번 입력할 수 있다. 또한 원장에는 tx와 상충되는 거래가 포함될 수 있다. 원장에 주어진 tx의 각 입력은 tx에 대한 투표로 간주되며, 원장의 구문 분석은 완료된 트랜잭션만 계산한다. 이것들은 원장의 결산 부분에서 t + 1의 표를 받은 거래들이다. 두 개의 최종 거래가 상충될 경우, 원장에 의해 결정된 순서에서 t + 1 표에 도달하는 첫 번째 거래만 유지된다. 원장의 정착부에는 과거에 3t + 1개 이상의 슬롯이 모두 포함되어 있음을 상기한다.
+
*'''레저 보고'''(Ledger Reporting) : 거래 tx는 원장에 여러 번 입력할 수 있다. 또한 원장에는 tx와 상충하는 거래가 포함될 수 있다. 원장에 주어진 tx의 각 입력은 tx에 대한 [[투표]]로 간주하며, 원장의 구문 분석은 완료된 [[트랜잭션]]만 계산한다. 이것들은 원장의 결산 부분에서 t + 1의 표를 받은 거래들이다. 두 개의 최종 거래가 상충할 경우, 원장에 의해 결정된 순서에서 t + 1표에 도달하는 첫 번째 거래만 유지된다. 원장의 정착부에는 과거에 3t + 1개 이상의 [[슬롯]]이 모두 포함되어 있음을 상기한다.
−
*'''멤풀 업데이트'''(Mempool Update) : 서버는 이전과 같이 수신된 모든 트랜잭션을 수집한다. 트랜잭션 tx는 유효한 한 업데이트된 멤풀로 들어가고, 멤풀은 원장님 상태에 관해 안전한 상태로 유지된다. 원장의 상태는 완료된 트랜잭션만 기준으로 결정된다는 점을 상기해야한다. 그러므로 어떤 상충되는 거래가 원장에 존재할 수 있따는 사실에도 불구하고 원장의 정산 부분에서 다른 거래가 t + 1표에 도달하지 않은 한 거래가 멤풀로 진입할 수 있다.
+
*'''멤풀 업데이트'''(Mempool Update) : [[서버]]는 이전과 같이 수신된 모든 트랜잭션을 수집한다. 트랜잭션 tx는 유효한 한 [[업데이트]]된 멤풀로 들어가고, 멤풀은 원장님 상태에 관해 안전한 상태로 유지된다. 원장의 상태는 완료된 트랜잭션만 기준으로 결정된다는 점을 상기해야 한다. 그러므로 어떤 상충하는 거래가 원장에 존재할 수 있다는 사실에도 불구하고 원장의 정산 부분에서 다른 거래가 t + 1표에 도달하지 않은 한 거래가 멤풀로 진입할 수 있다.
  
−
위와 같이 개정된 OBFT는 대부분의 t < n/4 비잔틴 단체가 존재한다는 가정 하에 파라미터 n + 3t + 1로 지속성과 즉각적인 결산 증명, 그리고 기초적인 디지털 서명 계획의 보안을 만족한다.
+
위와 같이 개정된 OBFT는 대부분의 t < n/4 비잔틴 단체가 존재한다는 가정하에 파라미터 n + 3t + 1로 지속성과 즉각적인 결산 증명, 그리고 기초적인 디지털 서명 계획의 보안을 만족한다.
−
===가정 2. (t <n/3)===
+
===가정 2. (t < n/3)===
−
*'''레저 보고'''(Ledger Reporting) : 거래 tx는 다양한 승인 입력의 일부로 원장에 여러번 입력할 수 있으며, 더욱이 원장에 tx와 상충되는 거래와 함께 승인된 입력을 포함할 수 있다. 원장에 주어진 tx의 각 입력은 tx에 대한 투표로 간주된다. 원장을 구문 분석하는 것은 마무리된 트랜잭션만 계산한다. 이러한 거래들은 원장의 정산 부분에서 t + 1의 표를 받은 거래들이다. 두 개의 최종 거래가 상충될 경우, 원장에 의해 결정된 순서에서 t + 1표에 도달하는 첫 번째 거래만 유지된다. 원장의 정착부에는 과거에 3+ 1개 이상의 슬롯이 모두 모두 포함되어 있음을 상기한다.
+
*'''레저 보고'''(Ledger Reporting) : 거래 tx는 다양한 승인 입력의 일부로 원장에 여러 번 입력할 수 있으며, 더욱이 원장에 tx와 상충하는 거래와 함께 승인된 입력을 포함할 수 있다. 원장에 주어진 tx의 각 입력은 tx에 대한 투표로 간주한다. 원장을 구문 분석하는 것은 마무리된 트랜잭션만 계산한다. 이러한 거래들은 원장의 정산 부분에서 t + 1의 표를 받은 거래들이다. 두 개의 최종 거래가 상충할 경우, 원장에 의해 결정된 순서에서 t + 1표에 도달하는 첫 번째 거래만 유지된다. 원장의 정착부에는 과거에 3+ 1개 이상의 슬롯이 모두 모두 포함되어 있음을 상기한다.
−
*'''멤풀 업데이트'''(Mempool Update) : 서버는 과거 n + 2t + 1개의 슬롯까지 잉전 슬롯의 승인된 입력뿐만 아니라 트랜잭션을 수집한다. 트랜잭션 tx는 유효한 한 업데이트된 멤풀로 들어가고, 멤풀은 원장님 상태에 관해 안전한 상태로 유지된다. 원장의 상태는 완료된 트랜잭션만 기준으로 결정된다는 점을 상기해야한다. 따라서 일부 상충되는 거래는 일부 승인된 투입변수의 일부일 수 있지만 다른 거래가 원장의 정산 부분에서 t + 1표에 도달하지 않는 한 거래가 멤풀로 진입할 수 있다.
+
*'''멤풀 업데이트'''(Mempool Update) : 서버는 과거 n + 2t + 1개의 슬롯까지 이전 슬롯의 승인된 입력뿐만 아니라 트랜잭션을 수집한다. 트랜잭션 tx는 유효한 한 업데이트된 멤풀로 들어가고, 멤풀은 원장님 상태에 관해 안전한 상태로 유지된다. 원장의 상태는 완료된 트랜잭션만 기준으로 결정된다는 점을 상기해야 한다. 따라서 일부 상충하는 거래는 일부 승인된 투입변수 일부일 수 있지만 다른 거래가 원장의 정산 부분에서 t + 1표에 도달하지 않는 한 거래가 멤풀로 진입할 수 있다.
−
*'''블록체인 확장'''(Blockchain Extension) : 각 서버는 거래 집합으로 승인 받은 입력을 먼저 준비하고 n + 2t + 1 슬롯에 대해서도 캐싱하는 것을 제외하고, 원장을 연장할 책임이 있는지 확인한다. 서버가 블록체인 연장을 책임지지 않는 경우, 인가된 입력을 다시 제출해야 하는지 여부를 확인한다. 이것은 지역 블록체인에서 승인된 입력을 포함하지 않는 경우에만 발생한다.
+
*'''블록체인 확장'''(Blockchain Extension) : 각 서버는 거래 집합으로 승인받은 입력을 먼저 준비하고 n + 2t + 1 슬롯에 대해서도 캐싱하는 것을 제외하고, 원장을 연장할 책임이 있는지 확인한다. 서버가 [[블록체인]] 연장을 책임지지 않는 경우, 인가된 입력을 다시 제출해야 하는지 여부를 확인한다. 이것은 지역 블록체인에서 승인된 입력을 포함하지 않는 경우에만 발생한다.
  
−
OBFT는 대부분의 t < n/3 비잔틴 단체와 기초적인 디지털 서명 체계의 보안이라는 가정하에 매개변수 n + 5t + 2와의 지속성과 즉작적인 해결 증명을 만족시킨다.
+
OBFT는 대부분의 t < n/3 비잔틴 단체와 기초적인 디지털 서명 체계의 보안이라는 가정하에 매개변수 n + 5t + 2와의 지속성과 즉각적인 해결 증명을 만족시킨다.
  
−
==대체 위협 모델에서 작동 방식==
+
==대체 위협 모델 작동 방식==
−
*'''Fail-stop corruptions''' : Fail-Stop 모델에서 서버는 단순히 실패하여 작동을 멈춘다. 이 모델에서 프로토콜은 많은 수의 장애를허용할 수 있음을 쉽게 알 수 있다. 즉, 하나ㅏ의 서버가 여전히 운영 일관성을 달성하고 매개변수 2n으로 트랜잭션이 계속 처리될 것이다.
+
*'''Fail-stop corruptions''' : Fail-Stop 모델에서 서버는 단순히 실패하여 작동을 멈춘다. 이 모델에서 [[프로토콜]]은 많은 수의 장애를 허용할 수 있음을 쉽게 알 수 있다. 즉, 하나의 [[서버]]가 여전히 운영 일관성을 달성하고 매개변수 2n으로 [[트랜잭션]]이 계속 처리될 것이다.
−
*'''네트워크 분할'''(Network splits) : 네트워크 분할의 경우, 네트워크는 슬롯 D의 시퀀드에 대해 각각 n1, ., ., ns 서버를 포함하는 s≥2에 대해 일시적으로 연결된 구성요소로 분할된다. 다른 고장이 없다고 가정하면 연결된 각 구성 요소에서 트랜잭션 처리가 정상적으로 지속된다는 것을 쉽게 알 수 있다. 또한 슬롯 최대 D + n에 의해 모든 서버가 활성화되고 시스템이 고유한 블록체인으로 수령된다. FT는 네트워크 분할에 탄력적이다. 승리한 서버를 가진 최대 구성요소가 아닌 다른 연결된 구성요소 내에서 처리된 트랜잭션이 손실될 수 있으므로 다시 제출해야 한다는 점을 유의해야한다.
+
*'''네트워크 분할'''(Network splits) : [[네트워크]] 분할의 경우, 네트워크는 [[슬롯]] D의 시퀀드에 대해 각각 n1, ., ., ns 서버를 포함하는 s≥2에 대해 일시적으로 연결된 구성요소로 분할된다. 다른 고장이 없다고 가정하면 연결된 각 구성 요소에서 트랜잭션 처리가 정상적으로 지속한다는 것을 쉽게 알 수 있다. 또한 슬롯 최대 D + n에 의해 모든 서버가 활성화되고 시스템이 고유한 [[블록체인]]으로 수령된다. FT는 네트워크 분할에 탄력적이다. 승리한 서버를 가진 최대 구성요소가 아닌 다른 연결된 구성요소 내에서 처리된 트랜잭션이 손실될 수 있음으로 다시 제출해야 한다는 점을 유의해야 한다.
−
*'''부분 동기화''' : 부분 동기화에는 두 개의 정직한 노드 사이의 메시지 전달의 최대 지연을 결정하는 알려지지 않은 매개변수 ∆가 있으며, 메시지의 스케줄링은 상대적이다.  ∆가 여전히 선택된 슬롯 길이 내에 들어맞으면, 프로토콜은 영향을 받지 않는다. 만약 그것이 초과되고 프로토콜의 진보다 허용된다면, 단순한 작성 전략은 두 가지 대안적인 블록 체인을 만들 수 있다. 예를 들어, n이 균등하다고 가정하고 서버를 두 세트로 분할한 다음, 두 개의 슬롯에 해당하는 자연 메시지를 전달하여, 각 수신 서버에 대한 선호 w.r.t. 패리티를 부여한다. s 홀수 패널티 서버에서 먼저 수신하고 짝수 페리티 서버에서도 마찬가지로 수신한다. ∆ 지연이 네트워크 분할 사례에 기술된 것과 유사한 방식으로 프로토콜이 단일 블록체인으로 다시 수렴되는 경우에 네트워크 분할과 유사하게 두 개의 블록체인을 병렬로 전진시킨다
+
*'''부분 동기화''' : 부분 동기화에는 두 개의 정직한 [[노드]] 사이의 메시지 전달의 최대 지연을 결정하는지 알려지지 않은 매개변수 ∆가 있으며, 메시지의 스케줄링은 상대적이다.  ∆가 여전히 선택된 슬롯 길이 내에 들어맞으면, 프로토콜은 영향을 받지 않는다. 만약 그것이 초과하고 프로토콜의 진보다 허용된다면, 단순한 작성 전략은 두 가지 대안적인 블록체인을 만들 수 있다. 예를 들어, n이 균등하다고 가정하고 서버를 두 세트로 분할한 다음, 두 개의 슬롯에 해당하는 자연 메시지를 전달하여, 각 수신 서버에 대한 선호 w.r.t. 패리티(parity)를 부여한다. s 홀수 패리티 서버에서 먼저 수신하고 짝수 패리티 서버에서도 마찬가지로 수신한다. ∆ 지연이 네트워크 분할 사례에 기술된 것과 유사한 방식으로 프로토콜이 단일 블록체인으로 다시 수렴되는 경우에 네트워크 분할과 유사하게 두 개의 블록체인을 병렬로 전진시킨다.
 
{{각주}}
 
{{각주}}
  

2019년 9월 4일 (수) 16:02 기준 최신판

우로보로스 비잔틴 장애 허용(OBFT; Ouroboros Byzantine Fault Tolerance)이란 간단한 결정론적 블록체인 기반 프로토콜로, 서버는 그들에게 이용 가능한 가장 긴 체인을 확장하는 거래의 블록을 분산시키는 미리 결정된 라운드 로빈(round-robin) 방식으로 돌아가게 된다. 서버는 거래의 결과로 클라이언트에 즉시 응답할 수 있어 거래의 결과를 얻을 수 있다. 카르다노(cardano) 개발사 IOHK가 바이런(byron) 1.5 버전 이후 OBFT가 구현될 것이라고 말하였다.

개요[편집]

카르다노가 가지고 있는 기존 지분 증명 프로토콜의 한계, 그중에서도 특히 Grinding Attack을 막기 위해 설계된 지분증명(Pos) 기반 합의 프로토콜로 우로보로스(Ouroboros)가 있는데, 이 기존 우로보로스의 디자인에서 영감을 얻은 새로운 BFT 원장 합의 프로토콜이다. 2018년 11월에 발표된 페이퍼가 존재하며, 프로그래밍 언어 하스켈(Haskell) 과 러스트(Rust) 구현이 있다. 우로보로스 BFT를 사용하면 Shelley로의 구현 및 배포 시간을 단축할 수 있다고 한다. 또한 우로보로스 비잔틴 장애 허용은 Byron이 사용하는 우로보로스 클래식과 우로보로스 제네시스 사이의 연결 다리 역할을 한다.[1]

카르다노[편집]

카르다노(Cardano) 로고

카르다노는 에이다(ADA)의 플랫폼이며 디지털 자금을 주고받는 데 사용할 수 있다. 이 암호화폐는 돈의 미래를 나타내며, 암호화를 사용하여 안전하게 보장되는 빠르고 직접적인 송금을 가능하게 한다. 카르다노는 단순한 암호화폐가 아니라 전 세계의 개인, 조직 및 정부가 매일 사용하는 금융 애플리케이션을 실행할 수 있는 기술 플랫폼이다. 플랫폼은 계층으로 구성되어 있어 시스템을 더욱 쉽게 유지 관리할 수 있는 유연성을 제공하고 소프트 포크를 통해 업그레이드 할 수 있다. 에이다를 실행할 결제 계층이 완료되면 미래의 상거래 및 비즈니스를 뒷받침할 디지털 법적 계약인 스마트 계약을 처리하기 위해 별도의 컴퓨터 계층이 구축된다. 또한 카르다노는 단일 당사자가 제어하지 않고 블록체인에서 작동하는 분산 응용 프로그램 또는 디앱(Dapp)을 실행한다. 카르다노의 주요 혁신은 사용자 요구와 규제 기관의 요구를 균형 있게 유지하면서 개인 정보를 규제와 결합하는 것이다.

구현 언어[편집]

  • 하스켈 : 순수하고 단순한 함수형 프로그래밍 언어로 함수형 프로그래밍 분야의 학자들이 부작용의 해악에 대한 아이디어를 집어넣어 설계해 20년 이상 개발해왔다. 하스켈은 함수형 프로그래밍의 이상에 대한 순수한 표현 중 하나로 I/O 채널을 다루는 데 있어 신중한 메커니즘을 갖추고 있으며, 또한 불가피한 부작용도 갖고 있다. 그러나 그 부분을 제외한 나머지 부분은 완벽하게 기능한다. 커뮤니티는 매우 활발하여 십여 개의 하스켈 변형 버전이 나와 있다. 그중에서는 독립형도 있고 자바 또는 파이썬과 같은 주류 프로젝트와 통합되는 형태도 있다.[2]
  • 러스트 : 러스트는 시스템 수준의 빠른 소프트웨어를 제작하기 위한 언어이다. 러스트는 빠르고, 안전하며, 무엇보다 합리적인 수준의 프로그래밍 난이도를 보장한다. 러스트는 또한 널리 사용되도록 설계되어 있으며 승자 독식의 프로그래밍 언어 경쟁에서 '참가에 의의를 두는' 낙오된 언어가 되지 않도록 신경썻다. 러스트의 장점들은 브라우저뿐만 아니라 모든 소프트웨어에 필요하므로 브라우저 프로젝트로 시작한 러스트는 프로그래밍 언어 프로젝트로 진화했다.[3]

정산증명 방법[편집]

가정 1. (t < n/4)[편집]

  • 레저 보고(Ledger Reporting) : 거래 tx는 원장에 여러 번 입력할 수 있다. 또한 원장에는 tx와 상충하는 거래가 포함될 수 있다. 원장에 주어진 tx의 각 입력은 tx에 대한 투표로 간주하며, 원장의 구문 분석은 완료된 트랜잭션만 계산한다. 이것들은 원장의 결산 부분에서 t + 1의 표를 받은 거래들이다. 두 개의 최종 거래가 상충할 경우, 원장에 의해 결정된 순서에서 t + 1표에 도달하는 첫 번째 거래만 유지된다. 원장의 정착부에는 과거에 3t + 1개 이상의 슬롯이 모두 포함되어 있음을 상기한다.
  • 멤풀 업데이트(Mempool Update) : 서버는 이전과 같이 수신된 모든 트랜잭션을 수집한다. 트랜잭션 tx는 유효한 한 업데이트된 멤풀로 들어가고, 멤풀은 원장님 상태에 관해 안전한 상태로 유지된다. 원장의 상태는 완료된 트랜잭션만 기준으로 결정된다는 점을 상기해야 한다. 그러므로 어떤 상충하는 거래가 원장에 존재할 수 있다는 사실에도 불구하고 원장의 정산 부분에서 다른 거래가 t + 1표에 도달하지 않은 한 거래가 멤풀로 진입할 수 있다.

위와 같이 개정된 OBFT는 대부분의 t < n/4 비잔틴 단체가 존재한다는 가정하에 파라미터 n + 3t + 1로 지속성과 즉각적인 결산 증명, 그리고 기초적인 디지털 서명 계획의 보안을 만족한다.

가정 2. (t < n/3)[편집]

  • 레저 보고(Ledger Reporting) : 거래 tx는 다양한 승인 입력의 일부로 원장에 여러 번 입력할 수 있으며, 더욱이 원장에 tx와 상충하는 거래와 함께 승인된 입력을 포함할 수 있다. 원장에 주어진 tx의 각 입력은 tx에 대한 투표로 간주한다. 원장을 구문 분석하는 것은 마무리된 트랜잭션만 계산한다. 이러한 거래들은 원장의 정산 부분에서 t + 1의 표를 받은 거래들이다. 두 개의 최종 거래가 상충할 경우, 원장에 의해 결정된 순서에서 t + 1표에 도달하는 첫 번째 거래만 유지된다. 원장의 정착부에는 과거에 3+ 1개 이상의 슬롯이 모두 모두 포함되어 있음을 상기한다.
  • 멤풀 업데이트(Mempool Update) : 서버는 과거 n + 2t + 1개의 슬롯까지 이전 슬롯의 승인된 입력뿐만 아니라 트랜잭션을 수집한다. 트랜잭션 tx는 유효한 한 업데이트된 멤풀로 들어가고, 멤풀은 원장님 상태에 관해 안전한 상태로 유지된다. 원장의 상태는 완료된 트랜잭션만 기준으로 결정된다는 점을 상기해야 한다. 따라서 일부 상충하는 거래는 일부 승인된 투입변수 일부일 수 있지만 다른 거래가 원장의 정산 부분에서 t + 1표에 도달하지 않는 한 거래가 멤풀로 진입할 수 있다.
  • 블록체인 확장(Blockchain Extension) : 각 서버는 거래 집합으로 승인받은 입력을 먼저 준비하고 n + 2t + 1 슬롯에 대해서도 캐싱하는 것을 제외하고, 원장을 연장할 책임이 있는지 확인한다. 서버가 블록체인 연장을 책임지지 않는 경우, 인가된 입력을 다시 제출해야 하는지 여부를 확인한다. 이것은 지역 블록체인에서 승인된 입력을 포함하지 않는 경우에만 발생한다.

OBFT는 대부분의 t < n/3 비잔틴 단체와 기초적인 디지털 서명 체계의 보안이라는 가정하에 매개변수 n + 5t + 2와의 지속성과 즉각적인 해결 증명을 만족시킨다.

대체 위협 모델 작동 방식[편집]

  • Fail-stop corruptions : Fail-Stop 모델에서 서버는 단순히 실패하여 작동을 멈춘다. 이 모델에서 프로토콜은 많은 수의 장애를 허용할 수 있음을 쉽게 알 수 있다. 즉, 하나의 서버가 여전히 운영 일관성을 달성하고 매개변수 2n으로 트랜잭션이 계속 처리될 것이다.
  • 네트워크 분할(Network splits) : 네트워크 분할의 경우, 네트워크는 슬롯 D의 시퀀드에 대해 각각 n1, ., ., ns 서버를 포함하는 s≥2에 대해 일시적으로 연결된 구성요소로 분할된다. 다른 고장이 없다고 가정하면 연결된 각 구성 요소에서 트랜잭션 처리가 정상적으로 지속한다는 것을 쉽게 알 수 있다. 또한 슬롯 최대 D + n에 의해 모든 서버가 활성화되고 시스템이 고유한 블록체인으로 수령된다. FT는 네트워크 분할에 탄력적이다. 승리한 서버를 가진 최대 구성요소가 아닌 다른 연결된 구성요소 내에서 처리된 트랜잭션이 손실될 수 있음으로 다시 제출해야 한다는 점을 유의해야 한다.
  • 부분 동기화 : 부분 동기화에는 두 개의 정직한 노드 사이의 메시지 전달의 최대 지연을 결정하는지 알려지지 않은 매개변수 ∆가 있으며, 메시지의 스케줄링은 상대적이다. ∆가 여전히 선택된 슬롯 길이 내에 들어맞으면, 프로토콜은 영향을 받지 않는다. 만약 그것이 초과하고 프로토콜의 진보다 허용된다면, 단순한 작성 전략은 두 가지 대안적인 블록체인을 만들 수 있다. 예를 들어, n이 균등하다고 가정하고 서버를 두 세트로 분할한 다음, 두 개의 슬롯에 해당하는 자연 메시지를 전달하여, 각 수신 서버에 대한 선호 w.r.t. 패리티(parity)를 부여한다. s 홀수 패리티 서버에서 먼저 수신하고 짝수 패리티 서버에서도 마찬가지로 수신한다. ∆ 지연이 네트워크 분할 사례에 기술된 것과 유사한 방식으로 프로토콜이 단일 블록체인으로 다시 수렴되는 경우에 네트워크 분할과 유사하게 두 개의 블록체인을 병렬로 전진시킨다.

각주[편집]

  1. ↑ [하마] 이승현, 〈BFT 간략 정리 : PBFT , SimpleBFT, SBFT , BFT-SMaRt〉, 《티스토리》, 2019-03-05
  2. ↑ 〈지금 배울 만한 9가지 최첨단 프로그래밍 언어〉, 《아이티월드》, 2014-11-06
  3. ↑ Serdar Yegulalp, 〈C·C++ 개발자 노린다···‘러스트’ 언어란? 뜨는 이유는?〉, 《CIO코리아》, 2018-12-07

참고자료[편집]

같이보기[편집]

  의견.png 이 우로보로스 비잔틴 장애 허용 문서는 합의 알고리즘에 관한 토막글입니다. 위키 문서는 누구든지 자유롭게 편집할 수 있습니다. [편집]을 눌러 이 문서의 내용을 채워주세요.  

블록체인 : 블록체인 기술, 합의 알고리즘 □■⊕, 암호 알고리즘, 알고리즘, 블록체인 플랫폼, 블록체인 솔루션, 블록체인 서비스
작업증명 경과시간증명(PoET) • 균형작업증명(ePoW) • 뻐꾸기 사이클 • 스펙터 • 온라인증명(PoO) • 유용한 작업증명(PoUW) • 이중작업증명(DPoW) • 작업증명(PoW) • 지연작업증명(DPoW) • 캐스퍼 알고리즘 • 프로그작업증명(ProgPoW) • 활동증명(PoA)
지분증명 담보지분증명(BPoS) • 리스지분증명(LPoS) • 무작위 지분증명(rPoS) • 복제증명(PoRep) • 시간소각 지분증명(ABPoS) • 우로보로스 지분증명(OPoS) • 유동지분증명(LPoS) • 익명지분증명 • 지분속도증명(PoSV) • 지분시간증명(PoST) • 지분작업증명(PoSW) • 지분증명(PoS) • 확률적 지분증명(SPoS)
위임지분증명 마스터노드 지분증명(MPoS) • 번앤언 위임지분증명(B&E DPoS) • 슈퍼노드 지분증명(SPoS) • 위임지분서비스증명(DPoSS) • 위임지분증명(DPoS) • 이중위임지분증명(DDPoS) • 인공지능 위임지분증명(AI DPoS) • 포뮬레이션증명(PoF) • 포크능력증명(PoF) • 하이퍼 위임지분증명(Hyper-DPoS)
비잔틴 장애 허용 간단한 비잔틴 장애 허용 • 경량 비잔틴 장애 허용(LBFT) • 라케시스 • 루프 장애 허용 • 미네르바 • 비잔틴 장애 허용(BFT) • 수정 연합 비잔틴 동의(mFBA) • 심센서스 • 아이작(ISAAC) • 연합 비잔틴 동의(FBA) • 우로보로스 비잔틴 장애 허용(OBFT) • 위임 프랙티컬 비잔틴 장애 허용(dPBFT) • 프랙티컬 비잔틴 장애 허용(PBFT) • 프랙티컬 비잔틴 장애 허용 플러스(PBFT+) • 텐더민트 비잔틴 장애 허용(TBFT) • 프리즘
기타 deb 합의 알고리즘 • 권위증명(PoA) • 기여도증명(PoD) • 네트워크증명(PoN) • 대역폭증명 • 두뇌증명(PoB) • 람다 합의 알고리즘 • 명성보증금증명 • 서비스증명(PoS) • 성능증명(PoP) • 소각증명(PoB) • 시공간증명(PoSt) • 시청증명(PoV) • 신뢰성증명(PoB) • 역사증명(PoH) • 오벨리스크 • 용량증명(PoC) • 저장증명(PoS) • 전문성증명(PoE) • 중요도증명(PoI) • 지지증명(PoS) • 참여증명(PoE) • 탄소감축증명(PoCR) • 트레이딩증명(PoT) • 흐름증명(PoF)
위키 : 자동차, 교통, 지역, 지도, 산업, 기업, 단체, 업무, 생활, 쇼핑, 블록체인, 암호화폐, 인공지능, 개발, 인물, 행사, 일반
원본 주소 "http://wiki1.kr/index.php?title=우로보로스_비잔틴_장애_허용&oldid=142614"