Top Page | English | 简体中文 | 繁體中文 | 한국어 | 日本語
ACN Newswire는 미디어, 업계, 금융 시장에 정보를 발표하거나 배포하고자 하는 기업 및 기관을 위한 풀서비스 실시간 보도 자료 제공사입니다. ACN 는 영어, 간자체 중국어, 번자체 중국어, 한국어, 일본어로 보도 자료를 제공합니
Tuesday, 30 October 2018, 14:00 HKT/SGT
Share:

출처: Hedera
해시그래프 합의 알고리즘, 카네기 멜론대학 교수가 완성한 Coq증명으로 비동기 비잔틴 장애 허용 입증
비동기aBFT, 분산형 시스템 내 보안의 ‘황금 표준

미국 텍사스주 댈러스, Oct 30, 2018 - (ACN Newswire)  - 헤데라 18 개발자 컨퍼런스 --다각적으로 관리되는 차세대 공공 원장인 헤데라 해시그래프(Hedera Hashgraph)가 해시그래프 합의 알고리즘을 Coq 시스템을 사용해 수학적으로 증명한 결과 비동기 비잔틴 장애 허용(asynchronous Byzantine Fault Tolerant, aBFT)이 입증됐다고 헤데라 18 개발자 컨퍼런스(Hedera18 Developer Conference)에서 발표했다. 이는 해시그래프 테크 보고서에서 해시그래프가 분산형 시스템을 위한 보안 기술 중 수학적으로 최고 수준인 aBFT라고 평가한 것을 입증하는 것이다. 리몬 베어드(Leemon Baird) 박사가 오늘 개최되는 제1회 해시그래프 개발자 컨퍼런스인 헤데라 18(Hedera18)에서 공식적 방법을 발표할 예정이다. 관심 있는 사람은 사이트( http://learn.hederahashgraph.com/livestream)에서 무료로 라이브 스트림에 참여할 수 있다.

Coq는 공식적인 증명 입증 시스템이다. Coq는 수학적 정의와 실행 가능한 알고리즘을 작성하는 공식 언어 및 정리(定理)와 함께 기계를 통해 확인하는 증거를 반(半)대화형으로 개발하는 환경을 제공한다. 그것은 때로는 프로그램과 프로그래밍 언어 및 수학의 특성을 증명하는 데 사용되기도 한다. Coq증명은 단순히 사람이 확인하는 대부분의 수학적 증명과 달리 컴퓨터가 실질적으로 확인한다. 이것은 사람이 증명을 판독할 때 저지를 수 있는 실수를 어느 정도 방지한다.

증명에 대한 입증은 그것이 맞는 지를 확인하고 카네기 멜론대학교 컴퓨터 과학과의 칼 크래리(Karl Crary) 부교수가 완성한 Coq 프루프 어시스턴트(Coq Proof Assistant)를 통해 실시됐다. 자세한 사항은 웹사이트(https:/hedera.com/platform#security)에서 확인할 수 있다.

헤데라의 최고 과학 책임자인 리몬 베어드 박사는 “이것은 시작에 불과하다”며 “컴퓨터가 수학 증명의 정확성을 입증하는 이와 같은 공식화된 방법은 보안과 신뢰성이 매우 중요한 소프트웨어의 미래”라고 말했다.

헤데라는 효율성을 추가적으로 향상시킨 것이 맞는지를 입증하기 위해 추가적인 Coq시스템 증명을 지속적으로 개발하여 궁극적으로는 그 알고리즘을 실행하는 소프트웨어도 역시 확실히 맞도록 할 계획이다.

비동기 비잔틴 장애 허용(Asynchronous Byzantine Fault Tolerance)
비잔틴 장애 허용(BFT)이 지난 30년 동안 분산형 시스템 내 보안의 표준이었다. 비잔틴 장애 허용이란 비록 네트워크의 악의적인 회원(비잔틴 노드[Byzantine node])이 합의를 방해하거나 다른 결론을 내리도록 속임수를 쓰더라도 선량한 회원들이 공통 합의에 이르는 것을 보장할 수 있다는 것을 의미한다. 만일 시스템의 모든 노드가 결국 합의에 이르고, 합의에 이르렀다는 것을 모두 알며, 항상 동일 합의가 유지되도록 보장할 수 있으면 그 시스템은 BFT인 것이다.

비잔틴 장애 허용(BFT)은 광범위한 장애나 공격이 있더라도 이것을 실현하는 것을 뜻한다. 비잔틴 장애는 속이고 결탁하며 선택적으로 참여하지 않는 행위 등을 말한다. 노드의 집단이 이러한 형태의 오류가 있는 상태에서는 노드가 고장 나는 단순한 시나리오 보다 유효한 합의에 이르기가 확실히 더 어려울 것이다.

비잔틴 장애 허용(BFT)의 가장 강력한 형태는 비동기 BFT이다. aBFT시스템은 선량한 회원 간의 일부 메시지를 자의적으로 오래 지연시키거나 원하는 수신자에게 전혀 전달되지 않게 할 가능성을 허용한다. 심지어 악의적인 상대방(adversary)은 네트워크 자체 또는 최소한 부분적으로라도 네트워크를 조종할 수 있다. 이것은 분산형 합의의 황금 표준이다. 진정으로 안전한 분산 원장기술(DLT)은 이러한 가정 아래에서 합의에 도달할 수 있어야 한다.

알고리즘은 메시지가 한번 이상의 특정기간에 전혀 지연되지 않고 항상 그 기한 내에 전달되는 비동기 BFT를 ‘부분적으로’ 지원한다고 가정할 수 있다. 그러나 현재 여러 형태의 공격자들은 바로 이러한 가정을 악용하여 네트워크를 굴복시키거나 거래의 순서를 방해할 수 있는 것이 현실이다. 봇네트(Botnet)와 분산 서비스 거부(Distributed Denial of Service, DDoS) 공격, 악성 방화벽은 메시지에 간섭할 수 있다. 따라서 ‘부분적인’ 비동기 BFT는 장기적으로 신뢰할 수 있으면서 현실적인 시스템을 제공하지 못한다. 헤데라가 궁극적으로는 수조 달러 상당의 거래를 처리할 수 있는 인터넷 전반에 걸친 신뢰 층(layer)을 구축하고 있기 때문에 이러한 공격에 대비할 수 있는 가장 강력한 보안 원칙을 적용해야 한다.

헤데라는 새로운 Coq증명을 갖춤에 따라 진정한 비동기 BFT라는 것을 컴퓨터를 통해 수학적 증명을 입증한 최초의 공공 원장이 됐다. 그것은 합의가 이뤄질 것이고, 합의가 언제 이뤄질 것인지를 알게 하며, 모두가 동일 합의에 도달하고, 심지어 악성 노드와 네트워크 오류가 발생하는 현실적 가정 아래에서 조차도 그렇게 할 수 있도록 보장해 준다.

자세한 정보는 웹사이트(https:/hedera.com/platform#security)에서 확인할 수 있다.

헤데라 개요
헤데라 해시그래프 플랫폼은 누구든지 글로벌 차원에서 분산화가 이뤄진 어플리케이션을 개발할 수 있도록 공공 분산형 원장을 제공한다. 개발자들이 헤데라 해시그래프 플랫폼 상에서 보안성 높고 공정하며 매우 빠른 속도의 분산형 어플리케이션을 개발할 수 있다. 보다 자세한 정보는 https://hedera.com/을 참조하거나 트위터에서 @hashgraph, 텔레그램에서 https://t.me/hederahashgraph, 디스코드에서 http://hedera.com/discord를 팔로우 하면 된다. 헤데라 백서 전문은 https://hashgraph.com/whitepaper에서 다운로드 할 수 있다.

언론문의처:
Zenobia Godschalk
E: [email protected]
T: 1.833.794.7537 x 717

Oct 30, 2018, 14:00 HKT/SGT
화제 Press release summary

섹터 FX & Digital Currencies, FinTech & Blockchain, Venture Capital & PE
http://www.acnnewswire.com
From the Asia Corporate News Network

Copyright © 2018 ACN Newswire. All rights reserved. A division of Asia Corporate News Network



Hedera
Oct 10, 2018, 12:00 HKT/SGT
마인드 펀드와 헤데라 해시그래프, 헤데라 액셀러레이터 프로젝트 공동 런칭
Aug 1, 2018, 20:00 HKT/SGT
헤데라 해시그래프, 공공 분산형 원장 네트워크 구축을 위해 1억달러 자금 조달
기타 소식 >>
Copyright © 2018 ACN Newswire - Asia Corporate News Network
| 회사 소개 | 서비스 | 파트너 | 문의 | 개인 정보 보호 정책 | 이용 약관 | RSS
미국: +1 800 291 0906 | 북경: +86 10 8405 3688 | 홍콩: +852 2217 2912 | 싱가포르: +65 6304 8926 | 도쿄: +81 3 6721 7212

Connect With us: