Permission Problem

You don't have permission to do that.

헤시그라프 coq 증명에 대한 자세한 정보는 어디에서 찾을 수 있을까요?

해시그래프 컨센서스 알고리즘에 대한 공식 Coq 증명은 https://www.hedera.com/platform#security에서 다운로드할 수 있습니다.


Coq 증거에 대한 자세한 내용은 https://www.hedera.com/blog/coq-proof-completed-by-carnegie-mellon-professor-confirms-hashgraph-consensus-algorithm-is-asynchronous-byzantine-fault-tolerant를 참조하십시오.

Sign In or Register to comment.