헤데라 18 개발자 컨퍼런스 --다각적으로 관리되는 차세대 공공 원장인 헤데라 해시그래프(Hedera Hashgraph)가 해시그래프 합의 알고리즘을 Coq 시스템을 사용해 수학적으로 증명한 결과 비동기 비잔틴 장애 허용(asynchronous Byzantine Fault Tolerant, aBFT)이 입증됐다고 헤데라 18 개발자 컨퍼런스(Hedera18 Developer Conference)에서 발표했다. 이는 해시그래프 테크 보고서에서 해시그래프가 분산...