查看原文
其他

Web3.0未来面临网络「核武级」威胁,Algorand如何实现后量子密码安全?

CertiK CertiK 2022-11-21

随着量子计算机的迅速发展,Web3.0生态系统及更广泛的技术领域都必须及时做好准备,以尽快适应这个势必推动社会各方面产生变革的强大力量。

在量子计算机所拥有的诸多优势中,不仅包括其惊人的信息处理速度,还包括为前所未见的新一类问题提供了解决方案。所以有许多人相信量子计算技术将极大促进人工智能、化学、经济学,以及安全领域的发展进程。

量子计算机释放了最新发掘的技术力量,但随之而来的是一系列新型的安全风险,并有可能对现有的非量子安全协议造成巨大威胁。

显而易见,Web3.0生态系统仍然经常承受着恶意攻击的冲击,这是一个必须在不久的将来进一步解决的关键难题。

一些区块链正在着手开发必要的技术和协议来解决后量子密码安全的现实问题,Algorand作为其中主要参与者之一,目前已开发出能够抵御恶意量子计算机攻击的标准和技术。

本文将阐述量子计算机给Web3.0带来的安全威胁,并介绍Algorand为此所采取的措施,以及Algorand智能合约审计在后量子密码技术领域的重要意义。


量子计算机攻击威胁

人们普遍认为,量子计算机可以破解当前绝大多数非对称密码学的安全防线,因为它能以远超其他经典方法的速度对素数进行因式分解

背后的原理早在“肖尔算法”(Shor’s Algorithm)和“格罗弗算法”(Grover's Algorithm)中得到论述,其中详细解释了量子计算机如何破解非对称密码学和对称密码学。

在肖尔算法方面,数学教授Peter Shor展示了量子计算机如何将破解非对称密钥所需的时间从几年缩短至几小时。

这对区块链构成了严重威胁,因为量子计算机可以凭借肖尔算法伪造所有数字签名,从而窃取资金。

德勤会计师事务所(Deloitte)发表的研究报告说明了量子计算机对于区块链构成的严重威胁,并展示了量子计算机如何轻松盗取存储于p2pkh及重复使用的p2pkh地址中的数字资产。目前约有25%的比特币都存储于这些脆弱的地址中,对其发动量子计算机攻击的结果无疑将是毁灭性的。

有人将比特币转移到新的p2pkh地址,然而这也并非万无一失,因为如果其他人遭到攻击,他们的资产也会极大贬值。况且,即使所有比特币持有者都将其资产转移到新地址,量子计算机也可能最终进化到足以破坏比特币的交易过程,使得整条区块链从根本上无法被修复。

在这种情况下的唯一出路是让区块链生态系统转向被称为“后量子密码学”(“抗量子密码”)的技术,可以有效抵抗量子计算机攻击,但是该新技术也将对可用性和其他主流应用的关键因素产生重大影响。

因此,要确保Web3.0生态系统健康,并创建具有前瞻性的区块链,需要对区块链后量子密码技术的可行性方案进行持续研究。


Algorand与后量子密码技术安全

作为这一领域的先行者,Algorand已为其区块链在后量子密码时代的成功做好了充足准备。

状态证明”(State Proofs)机制是Algorand的技术核心,用于提供Algorand区块链状态的快速安全验证,从而推进跨链的互操作性。

在推出“状态证明”期间,Algroand特别强调这项创新技术也会用于强化跨链应用的后量子密码安全性,这表明“状态证明”能够抵御现在和未来的量子计算机攻击,防止其更改关于区块链状态的证明报告。

Algorand通过以上的切实行动,展示了其致力于建立一个可持续生态系统的认真态度,同时也为其他Web3.0领域的效仿者们铺平了道路。


后量子密码技术标准

Web3.0生态系统的安全性从来都不是一个孤立概念,它始终与整个系统的健康状况紧密相连。

要确保后量子密码技术的安全,同样不能让每个区块链单独面对各自的问题,而应该努力将Web3.0形成一个团结的整体,在迈入这个迷人而未知的新时代之前达成共识。

为此,美国国际标准技术研究所(NIST)开始制定一系列后量子领域标准化方案和算法,以完善抗量子密码技术。

Algorand密码工程师张振飞是该领域的意见领袖,他致力于建立一个量子安全的Web3.0,经过与一大批学术机构与大学的合作,他为Algorand项目提供了4种候选算法

在Algorand团队中出现这样的人才是令人鼓舞的,因为这类合作对于未来Web3.0生态系统的安全至关重要。今后,Algorand仍将专注于开发、测试和部署抗量子密码技术,建立强大的架构以应对量子计算机攻击带来的威胁。


通过Algorand智能合约审计

保护Algorand后量子密码未来

由于后量子密码区块链将从根本上改变密码学,因此Algorand智能合约审计必须预测和适应这个新架构将会引发的大量新型漏洞和攻击载体

对于Algorand生态系统中关注技术发展长期性的项目来说,CertiK为Algorand提供的智能合约审计是其最佳选择。通过CertiK的Algorand智能合约审计,开发团队将获得专业安全团队及技术工具的支持,能够迅速发现并识别以前未知的攻击载体和漏洞。

作为Algorand智能合约审计的黄金标准,CertiK的全新技术结合了最先进的人工智能技术,还包括计算机科学专家进行逐行的人工检查,以提供最高级别的安全保障。

随着越来越多的Algorand项目选择进行安全审计,CertiK的Algorand智能合约审计团队在每一次与Algorand生态系统项目的合作过程中,都会深入了解Algorand架构的不同功能及其优缺点,从而积累了丰厚经验。 

Algorand智能合约审计是在项目启动前最基础的安全保证。此外CertiK将利用Skynet天网动态扫描系统SkyTrace两大区块链分析工具帮助Algorand团队实时监测项目启动后的链上活动,从而为Algorand项目提供最高级别的安全防护战略,使其能够准确预测并应对攻击。

为推进Web3.0安全工具的持续开发,CertiK在近期宣布了两项新计划:CertiK KYC项目背景调查服务和漏洞赏金活动。

CertiK KYC服务将与Algorand智能合约审计相结合,为项目团队提供KYC项目背景调查服务,旨在建立和优化项目团队和其社区之间的问责制,有助于增加用户的信任与安全感,提升投资信心。

CertiK于近期推出的漏洞赏金计划招募并遴选了一批优秀的白帽黑客,共同分析项目代码并从中寻找复杂的攻击载体和漏洞。这也将与Algorand智能合约审计一起,让Algorand开发团队对其智能合约的安全状况有全方位的了解,并为实现其目标奠定坚实基础。

作为区块链安全领域的领军者,CertiK致力于提高Web3.0的安全和透明等级。
现今CertiK承诺:预计耗时20日内可完成的安全审计,可于10日内开启审计服务。
欢迎点击CertiK公众号底部对话框,留言免费获取咨询及报价!

往期长文回顾

Web3安全公司CertiK完成20亿美元估值B3轮融资,Insight Partners,Tiger,高盛,红杉参投

软银愿景基金进军Web3安全行业,领投CertiK 6000万美元新一轮投资

红杉资本布局区块链安全赛道,以近10亿美元估值领投CertiK 8000万美元B2轮

Tiger布局区块链安全赛道,领投CertiK 2400万美元B+轮

区块链安全赛道最大单笔融资,CertiK B轮融资3700万美元

快到碗里来 | 微软等巨头企业领导者加入CertiK,共筑重量级管理团队

全球邀请函 | CertiK写给挣扎在理想和现实中的你的一封信

一键查询安全排行榜——DeFi的安全洞察数据库

CertiK Skynet天网扫描系统:绕道土狗,竟如此简单?

想知道项目的审计情况,看看项目的审计报告?攻略和入口在这!

您可能也对以下帖子感兴趣

文章有问题?点此查看未经处理的缓存