해시그래프 합의 알고리즘, 카네기 멜론대학 교수가 완성한 Coq증명으로 비동기 비잔틴 장애 허용 입증
헤데라 18 개발자 컨퍼런스 --다각적으로 관리되는 차세대 공공 원장인 헤데라 해시그래프(Hedera Hashgraph)가 해시그래프 합의 알고리즘을 Coq 시스템을 사용해 수학적으로 증명한 결과 비동기 비잔틴 장애 허용(asynchronous Byzantine Fault Tolerant, aBFT)이 입증됐다고 헤데라 18 개발자 컨퍼런스(Hedera18 Developer Conference)에서 발표했다.
이는 해시그래프 테크 보고서에서 해시그래프가 분산...
해시그래프 합의 알고리즘, 카네기 멜론대학 교수가 완성한 Coq증명으로 비동기 비잔틴 장애 허용 입증
헤데라 18 개발자 컨퍼런스 --다각적으로 관리되는 차세대 공공 원장인 헤데라 해시그래프(Hedera Hashgraph)가 해시그래프 합의 알고리즘을 Coq 시스템을 사용해 수학적으로 증명한 결과 비동기 비잔틴 장애 허용(asynchronous Byzantine Fault Tolerant, aBFT)이 입증됐다고 헤데라 18 개발자 컨퍼런스(Hedera18 Developer Conference)에서 발표했다.
이는 해시그래프 테크 보고서에서 해시그래프가 분산...
코웨이, 매출 6698억원·영업이익 1304억원으로 역대 최대 3분기 실적
라이프케어기업 코웨이(대표 이해선)가 2018년 3분기 실적 공시를 통해 역대 3분기 사상 최대 매출 및 영업이익을 달성했다고 30일 밝혔다.
코웨이는 30일 공시를 통해 2018년 3분기 매출액이 전년 동기 대비 6.4% 성장한 6698억 원, 영업이익은 2017년 같은 기간보다 5% 증가한 1304억원을 기록했다고 발표했다. 매출액과 영업이익 모두 역대 3분기 중 최대 실적이다(K-IFRS 연결 재무제표 ...