区块律动BlockBeats2022-07-17 10:20:25
密码学是许多区块链协议的核心。从传统的工作量证明 (PoW) 到 L2 现代方法(如 ZK-rollups),许多高级加密方法为区块链运行时和协议提供了基础。因此,关于任何区块链架构的安全稳健性都存在一个无所不在的问题。天真地,我们假设在复杂攻击中幸存下来的区块链加密实现本质上是安全的,但这远非经验证明。有没有更好的方法来验证安全算法的鲁棒性。答案似乎在一篇刚刚赢得美国国家安全局 (NSA) 的「最佳网络安全研究论文竞赛」的新论文中,这在密码学研究界引起了很大的轰动。
这篇题为「单向函数和 Kolmogorov 复杂性」的论文为密码学中的一个 500 周年问题提供了答案。手头的问题与存在称为「单向函数」的数学结构有关,该结构可以证明 L2 区块链中的零知识证明等方法是否是加密安全的。
现代密码学的本质依赖于在数据上创建密码,希望它们保持安全。但是,我们如何确保它们是安全的?这个问题的理论答案出现在 1970 年代,当时密码学家提出了单向函数的概念,单向函数是易于计算但难以反转的数学函数。为了说明单向函数的工作原理,想想如果有人要求您将两个大素数相乘,如 485144 和 999983。得到数字 485,135,752,552 作为答案可能需要一些工作,但我们有一种方法可以做到这一点。现在让我们来回答反问题,从数字开始,尝试确定它的质因数。这是一项极其艰巨的任务。这是单向函数的本质。
图源:CodeprgL1 和 L2 区块链中使用的密码技术的基础是以单向函数的存在为前提的。如果给定问题存在单向函数,那么它的加密保护,如果没有,它可能容易受到不同的攻击。然而,到目前为止,几乎不可能证明单向函数的存在。在他们的论文中,康奈尔大学的研究人员发现了一个与计算机科学的一个晦涩领域相似的答案。
输入 Kolmogorov 复杂性康奈尔大学研究论文中提出的答案基本上表明,单向函数的存在与计算机科学的另一个基础问题有关,即 Kolmogorov 复杂性 (KC)。KC 理论与数字串的复杂性有关。如果您看到两个大数字66666666666666666666 和 123948109102912,您无法完全证明哪个比另一个「更随机」,但直觉上您认为第二个数字生成起来更复杂。这是苏联数学家 Andrey Kolmogorov 用来开始计算复杂性新理论的想法。本质上,KC 理论将数字字符串的复杂性定义为产生该字符串作为输出的最短程序的长度。
回到我们的例子,KC 理论要复杂得多,但希望您掌握了核心思想。几十年来,KC 理论已经成为计算机科学许多领域的基础,但在密码学中却没有那么重要。直到康奈尔研究小组从帽子里拿出一只兔子,并证明单向函数的存在与给定问题的 KC 相关。简单来说,如果一个问题是 KC 复杂的,则存在单向函数,如果不存在,则很可能不存在。
这个简单的陈述可能成为现代密码学中最具革命性的发现之一。
图片来源:广达杂志这对区块链世界意味着什么?康奈尔论文提供了一种经验方法来评估 L1 和 L2 区块链中使用的密码技术的稳健性。考虑到基于加密技术(例如安全多方计算或零知识证明)的 L2 运行时的出现,这一点尤为重要。确定算法是否是 KC 复数从根本上说比确定单向函数的存在更简单。诚然,这个问题超出了区块链生态系统的范围,但是,如果我们谈论的是构建新金融系统的轨道,那么加密稳健性是一项基础能力。
原文标题:《The Paper that can Change the Foundations of all Blockchain Cryptography》
原文作者:Jesus Rodriguez
原文编译:蝉爷讲禅
来源:区块律动
以太坊Layer 2必知必会2023-04-26 15:03:27
浅析NFT未来:仅少数项目上涨 出圈项目会成赢家2023-04-26 14:15:26
E-CNY时代来临:当你的工资成为数字人民币2023-04-26 12:43:48
浅谈为什么MEV搜索者矿池并不可行?2023-04-26 12:08:40
"庄家"互撕 曝出加密巨头拉的那些"帮派"2023-04-26 11:59:08
怎样到达Web3世界:使用Web3技术的公司及集成到业务的步骤2023-04-26 11:53:15
稳定币项目 HAI、Starknet 2023 路线图2023-04-26 11:46:35
ChatGPT类产品安全隐患解决?英伟达发布开源工具包2023-04-26 11:26:24
蚂蚁集团发布HOU、AntChainBridge、Web3开放联盟链等多个Web3产品2023-04-26 11:24:46
ChatGPT背后的算力博弈 中国企业亟待打破美国桎梏2023-04-26 10:59:28
简析DWF Labs:出手频繁 颇具争议的加密做市商2023-04-26 10:48:45
NFT 交易平台生存现状研究:后版税战争时代下的龙头之争2023-04-26 09:20:51
以太坊提款功能开启后的带宽使用情况2023-04-26 08:30:24
上海升级提款效应:数据揭示 LSD 项目们的表现2023-04-26 07:28:37
3分钟读懂基于LayerZero的多链抗MEV DEX聚合器Cashmere2023-04-25 20:05:34
对话去中心化流动性质押协议Rocket Pool:如何促进以太坊Staking民主化?2023-04-25 19:02:21
Bankless:欧美都想监管稳定币 他们怎么做?2023-04-25 17:43:44
Coinbase起诉SEC全文:请在合理时间内回应加密规则请愿书2023-04-25 16:43:34
慢雾:Web3 假钱包第三方源调查分析2023-04-25 15:43:36
Binance Sensei介绍:您的Web3 AI导师2023-04-25 13:20:55