中文
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:
区块链
Solana的主要投资者有哪些?Solana在全球范围内的用户基础如何?
2024-04-09
Solana网络为什么会拥堵?Solana如何处理网络拥堵?
2024-04-07
Solana的全球布局策略是什么?Solana的未来前景怎么样?
2024-04-07
猴跃云端·与龙共舞!Bull Community松露之夜 将于2月28日在深圳重磅启幕
2024-02-05
2023 年公链发展报告
2024-01-17
免责声明
世链财经作为开放的信息发布平台,所有资讯仅代表作者个人观点,与世链财经无关。如文章、图片、音频或视频出现侵权、违规及其他不当言论,请提供相关材料,发送到:2785592653@qq.com。
风险提示:
本站所提供的资讯不代表任何投资暗示。投资有风险,入市须谨慎。
世链粉丝群:
提供最新热点新闻,空投糖果、红包等福利,微信:msy2134。
快讯
2024年04月25日 星期四
更多
Solana生态模因币MANEKI短时突破0.02美元,24小时涨幅35.2%
4分钟前
生成图片
比特币现货 ETF 昨日总净流出 1.21 亿美元
15分钟前
生成图片
摩根士丹利或将允许经纪人建议客户购买比特币现货 ETF
16分钟前
生成图片
知情人士:摩根士丹利或将允许经纪人建议客户购买比特币现货ETF
19分钟前
生成图片
0x435开头巨鲸地址9小时前再次从Binance提币7127枚ETH
25分钟前
生成图片
Binance完成USDC在CELO网络上的集成并开放充值和提现
28分钟前
生成图片
稳定币总市值过去1个月增长6.45%,现报1579.6亿美元
30分钟前
生成图片
广告
视频
更多
Saga:多元宇宙中的模块化、一键发链、再质押的完美结合
11610
新火种AI|2024年这3个王炸AI,让小白轻松做副业! #ai #ai工具 #ai视频
12236
新火种AI|OpenAI终于Open了!ChatGPT不用注册都能用!#openai #ai #chatgpt #ai #新火种
14770