中文
English
活动
专栏
资源库
会议
首 页
快讯
资讯
空投
活动
政策
社区
热点新闻
IPFS
百科
技术
专栏
视频
深度
世链APP
Download Now
首页
>
快讯
> Hedera Hashgraph区块链技术获得Coq系统验证
转载
2018-10-22
Hedera Hashgraph区块链技术获得Coq系统验证
据bitcoin exchange guide报道,公共分布式分类账平台Hedera Hashgraph最近宣布hashgraph consensus算法已被验证为异步拜占庭容错(BFT)算法。这是通过使用Coq系统的计算机检查的数学证明完成的。这证明了哈希图报告中的声明。据称哈希图在数学上是分布式系统的最高安全级别。Coq是一种正式的验证,它提供了一种形式语言来编写可执行的数学定义和算法。它还可以用于编写定理和机器检查证明的半交互开发环境。Coq通常用于验证程序、编程语言和数学的属性。与数学证明不同的是,Coq证明是通过计算机进行检查的。这有助于避免人类在阅读证明时可能犯的错误。
Tags:
区块链
免责声明
世链财经作为开放的信息发布平台,所有资讯仅代表作者个人观点,与世链财经无关。如文章、图片、音频或视频出现侵权、违规及其他不当言论,请提供相关材料,发送到:2785592653@qq.com。
风险提示:
本站所提供的资讯不代表任何投资暗示。投资有风险,入市须谨慎。
世链粉丝群:
提供最新热点新闻,空投糖果、红包等福利,微信:juu3644。
快讯
2025年12月25日 星期四
更多
GBF投资的知名预测项目Pton近期大动作频繁
1周前
生成图片
BTCFI 项目将携手预测事件市场 PTON 项目,共同推出全新预测市场产品
3周前
生成图片
2025亚洲Web3嘉年华暨CocoCat慈善晚宴将于12月香港揭幕
1月前
生成图片
币多多(S-Cointool)——Web3 链上科技信息服务平台
1月前
生成图片
Gate Alpha开启限时0手续费活动
7月前
生成图片
HTX DeepThink:链上资金逐步转向高Beta资产,山寨季或将到来
7月前
生成图片
开通官方身份验证通道以打击冒充员工欺诈行为
7月前
生成图片
广告
视频
更多
币圈大佬遭遇枪口打劫!ZachXBT警告:炫富要谨慎,见面需当心
333831
姨太链上活动激增,Gas费暴涨近5倍!
332627
CZ回归江湖!新计划曝光:教育、投资、慈善样样来
334239