SHA:科普:哈希函数的过去、现在与未来

编者按:本文来自

以太坊爱好者

,作者:RaulJordan,翻译&校对:闵敏&阿剑,Odaily星球日报经授权转载。

哈希值和哈希函数的概念是初次入门区块链的人常听到的两个关键词,而且似乎对安全性来说特别关键。对于像比特币和以太坊这样由成千上万的节点通过P2P方法组成的去中心化网络来说,“免信任性”和验证效率无疑是关键。也就是说,这些系统需要找到方法把信息编码成紧凑的形式,同时让参与者能够安全快速地进行验证。

比特币和以太坊网络所处理的主要内容叫做“区块”,指的是由交易、时间戳和其他重要元数据所组成的数据结构。比特币和以太坊网络的安全性的关键一环是:它能将表达网络全局状态的大块信息压缩成一个简短的消息。在有需要之时,我们可以高效地验证这个消息的真实性。这个过程就是用哈希函数来完成的,而得到的结果就是哈希值。

-即使只更改输入中的一个字符,最后得出的哈希值也会完全不同-

密码学哈希广泛应用于口令存储和文件验证系统。简单来说,密码学哈希函数是一种确定性的算法,不论输入什么值,都能得到一个固定长度的字符串。也就是说,同一个输入值始终对应同一个输出值。

民盟中央建议加速元宇宙科普和立法:3月4日消息,民盟中央已起草了《关于“元宇宙”技术发展的提案》,并将提交全国政协十三届五次会议。在提案中,民盟中央建议,在科普层面需加速知识传播,法律层面则需加快立法步伐。民盟中央拟提交的提案指出,目前,在新兴网络层面,相关政策法规相对缺失。“元宇宙”在未来将会带动形成全新的网络形态,当遇到突发舆情,全虚拟的环境、场景将更难进行源头追踪、问题疏导。因此建议应尽早加快立法研究,尽快形成与技术、市场发展相适应的治理模式和法律基础,全面提升我国社会治理的水平。建议组织相关部门,针对“元宇宙”相关需求、风险进行立法研究,并尽快发布。此前消息,民进中央拟向全国政协十三届五次会议提交《关于积极稳妥推进元宇宙技术和产业发展的提案》。建议推进元宇宙技术产业发展,建立相关监管治理体系。(华夏时报)[2022/3/4 13:37:12]

对哈希函数来说,重要的不仅是确定性:即使只更改输入中的一个比特位,也会导致最终得到的哈希值截然不同。

哈希算法有一个无可回避的问题叫碰撞可能性。因为哈希值是固定长度的字符串,同一个哈希有可能对应多个输入。碰撞会造成很严重的后果。如果有人能够按需要发起碰撞攻击,他就可以用恰当的哈希值将恶意文件或数据伪装成合法的、能够通过验证的文件。好的哈希函数的设计目标是让攻击者极难找到方法来找出对应同一个哈希的不同输入。

动态 | 报告:区块链等热点词促使童书科普百科类成交额同比增速最高:近日,京东图书与艾瑞咨询联合发布了《2019中国图书市场报告》。报告指出,AI、5G、区块链、机器人、VR、智能家居、AR这些热点词,不断点燃科技热潮,科技在改变大众生活的同时,也吸引了越来越多家长的关注,从小培养孩子对科技的兴趣和热爱。因此童书中科普百科类成交额同比增速最高,占比将近40%。[2020/1/8]

哈希计算的效率不应过高,以免让攻击者可以更简单地人为计算出碰撞。哈希算法必须能够抵御“原像攻击”。也就是说,对于特定哈希值,攻击者很难通过确定性计算步骤倒推出输入值。

假设s=hash(x),倒推x应该是近乎不可能的。

总的来说,“好的”哈希算法需要具备以下3个特性:

更改输入中的一个比特位会产生雪崩效应,导致最后得出的哈希值截然不同

出现哈希碰撞的概率非常低

在无需牺牲抗碰撞性的前提下计算效率过得去

破解哈希算法

哈希算法的初始标准之一是MD5哈希。MD5哈希广泛应用于文件完整性验证,以及在网络应用数据库中存储经过哈希计算的账号口令。MD5的功能非常简单,因为它会将每个输入转换成一个固定的128位字符串输出,并通过多轮简单的单向操作来计算确定性输出。由于输出值长度较短,操作又较为简单,MD5很容易被破解,一种常见的攻击方法叫生日攻击。

动态 | 区块链技术入选科普杂志《科学美国人》2019十大突破性技术榜单:据新浪网今日新闻报道,美国科普杂志《科学美国人》公布 2019 十大突破性技术榜单。区块链技术因在保障食品安全中的作用而上榜。 入选榜单具体原因:区块链技术的发展应用将显著改善食品污染源数据追踪的困境。利用区块链云端系统,食品制造商可以依次在计算机储存各类过程的信息。[2019/9/29]

“生日攻击”是啥玩意?

你有没有听说过这样一个事实?如果你将23个人放到一个房间里,其中两个人生日相同的概率为50%。如果将70个人放到一个房间里,其中两个人生日相同的概率高达99.9%。这就是我们所说的鸽笼原理,即,将100只鸽子装进99个鸽笼,必然有两只鸽子分享同一个鸽笼。也就是说,固定长度的输出意味着所有输入输出组合中一定存在碰撞。

-笼子不够时,鸽子就会凑对-

事实上,MD5的抗碰撞性太差,以至于一台家用2.4GHz奔腾处理器都能在几秒内计算出哈希碰撞。此外,由于MD5在互联网早期阶段得到了广泛应用,网络上有大量MD5原像遭到泄漏,通过谷歌搜索它们的哈希值就能找到。

声音 | 火星人朋友圈科普RAM:火星人在朋友圈发文称,“什么是RAM?简单来说就是EOS这个国家的土地,所有的经济行为都离不开土地。只要EOS的BP们能投票形成一个稳定的供给预期,并且不改变目前的Bancor算法,那么RAM后续的价格有可能会像北上广深的房价走势。房价下跌不行,房价过快上涨也不行,EOS的生态越来越像某国了,真有意思。”[2018/7/6]

哈希算法的多样性发展

源起:SHA1和SHA2

NSA是哈希算法标准的先驱。安全哈希算法是最早提出的标准,将输出值的长度固定在160位。遗憾的是,SHA1只是在MD5的基础上增加了输出值长度、单向操作的次数和复杂度,但是并没有作出能够抵御更强大机器攻击的根本性改进。

我们如何才能做得更好?

SHA3兴起

在2006年,美国国家标准技术研究所举办了一场竞赛,旨在找到一个本质上不同于SHA2的替代标准。因此,SHA3应运而生,它是KECCAK哈希算法的一种方案。

虽然SHA3在名称上与SHA1和SHA2一脉相承,但是在本质上差异很大,因为它采用了一种名为海绵结构的机制。该机制使用随机排列来吸收并输出数据,同时为将来用于哈希算法的输入值提供随机性。

中科院自动化研究所将面向大中小学生开展区块链等主题的科普讲座:5月21日,新华网讯,今年,中国科学院自动化研究所将举办第十四届“自动化之光”公众科学开放日活动。届时,自动化所将面向大中小学生分别开展《脑与智能》、《区块链技术与平行智能》、《大数据时代的视觉智能》、《动画真奇妙》等4个主题报告,用实例和生动的演示深入浅出地为大家揭示智能技术的原理和奥妙。[2018/5/21]

-KECCAK256海绵结构是如何进行输入操作的-

SHA3的内部状态相较于输出值拥有更多信息,突破了以往算法的局限性。NIST于2015年正式认可了SHA3标准。

哈希计算和工作量证明

就整合进区块链协议的哈希算法而言,比较早的比特币选择了SHA256,而以太坊采用了改进后的SHA3作为工作量证明算法。对于采用工作量证明的区块链来说,选择哈希函数的一大重要标准是哈希运算效率。

使用一类名为专用集成电路的硬件,我们可以大幅提高比特币SHA256算法的哈希运算的效率。有很多文章已经阐述了矿池是如何利用ASIC的,以及ASIC是如何让协议趋向于计算中心化的。也就是说,工作量证明会激励计算效率较高的机器聚集成矿池,从而形成较大的哈希算力。

以太坊选择的是改进后的SHA3算法。此外,以太坊的工作量证明算法Dagger-Hashimoto被设计成了内存密集型模式,计算硬件需要加大内存才能提高计算效率。

为什么比特币采用双重SHA256?

有趣的是,比特币协议需要重复运行两遍SHA256算法。请注意,这不是为了抵御生日攻击,毕竟在hash(x)=hash(y)的情况下,hash(hash(x))=hash(hash(y))。双重SHA256旨在抵御长度扩展攻击。

从本质上来说,所谓的长度扩展攻击,指的是如果恶意攻击者知道了某个哈希输入的长度,就可以在哈希值上添加一个秘密的字符串、哈希函数从其内部状态的一个特定部分开始计算。作为SHA2算法家族的一员,SHA256也存在这一缺陷。因此,比特币采取执行两遍哈希计算的方式来解决这一缺陷。

Ethereum2.0和BLAKE

SHA3并非哈希算法竞赛取得的唯一突破。虽然最终胜出的是SHA3,但是BLAKE算法紧随其后,位居第二。对于以太坊2.0的分片实现来说,更高效的哈希算法可以说是一项功能性要求,研究团队对此非常重视。BLAKE2b哈希算法是BLAKE算法的高度升级版本。与KECCAK256相比,BLAKE2b哈希算法在保持高度安全性的同时,在提升效率方面也进行了深入探索。

使用一台现代CPU计算BLAKE2b的速度比计算KECCAK快了3倍。

哈希算法的前景展望

这么看来,无论我们做了什么,无非就是增加内部哈希操作的复杂度,或者增加哈希输出值的长度,让攻击者的计算机无法足够快地有效计算出碰撞。

我们依靠单向操作的原像模糊性来保护网络的安全性。也就是说,哈希算法的安全性目标是在有无限多可能的冲突的情况下,让找出哈希碰撞的难度尽可能高。

如果量子计算时代到来,哈希算法依然安全吗?

就目前来看,答案是肯定的,哈希算法将经受时间的考验,抵御量子计算。量子计算能够解决的是那些严格按照某些小技巧或RSA加密理论打造底层结构的数学问题。另一方面,哈希算法的内部构造没那么形式化。

量子计算机确实能够提高哈希等非结构化问题的计算速度,但它们最终还是会像如今的计算机一样采取暴力破解手段。

无论我们为协议选择了哪种算法,我们显然都在迈向计算高效化的未来。为此,我们必须慎重选择最合适的工具,使之经受住时间的检验。

参考文献

:

https:\u002F\u002Fbitcoin.stackexchange.com\u002F

:

https:\u002F\u002Fen.wikibooks.org\u002F

:

https:\u002F\u002Flearncryptography.com\u002F

:

https:\u002F\u002Fgithub.com\u002Fzcash\u002Fzcash\u002Fissues\u002F2233

:

https:\u002F\u002Fcrypto.stackexchange.com\u002F

:

https:\u002F\u002Fen.wikipedia.org\u002F

:

https:\u002F\u002Fkeccak.team\u002F

:

https:\u002F\u002Fen.wikipedia.org\u002F

:

https:\u002F\u002Fcrypto.stackexchange.com\u002F

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

链链资讯

USDCHTT:亿邦国际即将上市,是喜?是忧?

编者按:本文来自Rossa私想汇,作者:Rossa,Odaily星球日报经授权转载。一、矿机巨头亿邦国际即将登陆纳斯达克这两天,除了COMP的大幅上涨吸引了众多眼球外,币圈中另外一个倍受关注的事.

狗狗币价格COIN:科普:Filecoin出块原理解析

想要了解Filecoin出块原理,首先要熟悉其共识机制,Filecoin常被提及的两个证明机制是复制证明和时空证明,不过它所包含的证明机制并不只有两个,我们首先来看看主要包括哪些.

[0:15ms0-5:843ms