Synthetix:在密码学界引起轰动的新获奖论文如何改变区块链密码学基础_iBTC (Synthetix)

密码学是许多区块链协议的核心。从传统的工作量证明(PoW)到L2现代方法,许多高级加密方法为区块链运行时和协议提供了基础。因此,关于任何区块链架构的安全稳健性都存在一个无所不在的问题。天真地,我们假设在复杂攻击中幸存下来的区块链加密实现本质上是安全的,但这远非经验证明。有没有更好的方法来验证安全算法的鲁棒性。答案似乎在一篇刚刚赢得美国国家安全局(NSA)的「最佳网络安全研究论文竞赛」的新论文中,这在密码学研究界引起了很大的轰动。?

这篇题为「单向函数和Kolmogorov复杂性」的论文为密码学中的一个500周年问题提供了答案。手头的问题与存在称为「单向函数」的数学结构有关,该结构可以证明L2区块链中的零知识证明等方法是否是加密安全的。?

Matter Labs将对时间戳、编号和哈希值在zkSync Era上的行为方式进行重要更改:8月8日消息,Matter Labs开发者关系工程师Antonio在Github表示正在对 block.timestamp、block.number 和 blockhash 在 zkSync Era 上的行为方式进行重要更改。目前 block.timestamp、block.number 和 blockhash 分别是返回 L1 批次的时间戳、编号和哈希值,此次更新完成后,将分别返回 L2 区块的时间戳、编号和哈希值。

Antonio 表示,许多应用需要更高的时间 fidelity,这可以通过引用 L1 批次来实现。通过这些更改,合约将能够在 L2 区块级别计时(约每隔几秒生成一次),这些信息已经在 API 上提供,但随着新的更改,开发人员将能够直接在智能合约中进行访问。当前我们正在开发此更改,将在转移到测试网和最终主网之前在内部测试更新过程。[2023/8/8 21:32:37]

现代密码学的本质依赖于在数据上创建密码,希望它们保持安全。但是,我们如何确保它们是安全的?这个问题的理论答案出现在1970年代,当时密码学家提出了单向函数的概念,单向函数是易于计算但难以反转的数学函数。为了说明单向函数的工作原理,想想如果有人要求您将两个大素数相乘,如485144和999983。得到数字485,135,752,552作为答案可能需要一些工作,但我们有一种方法可以做到这一点。现在让我们来回答反问题,从数字开始,尝试确定它的质因数。这是一项极其艰巨的任务。这是单向函数的本质。

摩根大通Onyx区块链负责人:正在密切关注DeFi的演变:摩根大通 Onyx 区块链团队负责人 Umar Farooq 表示,JPM Coin 与 400 家银行的 Liink 支付网络一起运行,并为摩根大通的客户群提供证券结算(回购交易)等服务。该负责人还称,“我们正在密切关注 DeFi 的演变”,Farooq 补充说:“尽管目前它在公共加密领域非常活跃,但随着其他资产开始被放在区块链上,DeFi将有更大的未来。(CoinDesk)[2021/6/7 23:18:14]

高盛CEO:高盛一直在密切关注加密货币:金色财经报道,高盛首席执行官David Solomon表示,他认为比特币和数字货币世界将很快经历一场“大变革”,尤其是在美国的监管方面。在谈到比特币时,他没有透露高盛在做什么,这表明美国当前的监管环境阻止了高盛这么做。但Solomon明确表示,由于客户需求不断增长,高盛一直在密切关注加密货币。此外,Solomon表示:“我们继续以非常积极的方式考虑数字货币和货币数字化。对于与处理加密货币有关的行动,目前存在‘重大监管要求’”。[2021/4/7 19:52:45]

图源:CodeprgL1和L2区块链中使用的密码技术的基础是以单向函数的存在为前提的。如果给定问题存在单向函数,那么它的加密保护,如果没有,它可能容易受到不同的攻击。然而,到目前为止,几乎不可能证明单向函数的存在。在他们的论文中,康奈尔大学的研究人员发现了一个与计算机科学的一个晦涩领域相似的答案。

英国GCHQ正在密切监视比特币:GCHQ是英国国家安全局的对等单位,他们目前正在按照政府的要求密切监视比特币。像世界各地的其他许多政府机构一样,GCHQ对比特币产生了浓厚的兴趣。GCHQ的国家网络安全中心分部副主任Chris Ensor告诉“每日电讯报”,英国政府部门已经下令调查比特币带来的安全风险。他说:“我们对任何可能影响国家的东西感兴趣,所以比特币现在是一件重要的事情。”据报道,该机构从各个角度探索比特币,包括它如何运作,利用区块链技术可能带来的好处,以及它对该国货币体系可能构成的威胁。就像对比特币不熟悉的人一样,很多英国政客都对这种货币很感兴趣,但也很谨慎。[2017/12/12]

输入Kolmogorov复杂性?

康奈尔大学研究论文中提出的答案基本上表明,单向函数的存在与计算机科学的另一个基础问题有关,即Kolmogorov复杂性(KC)。KC理论与数字串的复杂性有关。如果您看到两个大数字

66666666666666666666和123948109102912,您无法完全证明哪个比另一个「更随机」,但直觉上您认为第二个数字生成起来更复杂。这是苏联数学家AndreyKolmogorov用来开始计算复杂性新理论的想法。本质上,KC理论将数字字符串的复杂性定义为产生该字符串作为输出的最短程序的长度。?

回到我们的例子,KC理论要复杂得多,但希望您掌握了核心思想。几十年来,KC理论已经成为计算机科学许多领域的基础,但在密码学中却没有那么重要。直到康奈尔研究小组从帽子里拿出一只兔子,并证明单向函数的存在与给定问题的KC相关。简单来说,如果一个问题是KC复杂的,则存在单向函数,如果不存在,则很可能不存在。?

这个简单的陈述可能成为现代密码学中最具革命性的发现之一。

图片来源:广达杂志这对区块链世界意味着什么?

康奈尔论文提供了一种经验方法来评估L1和L2区块链中使用的密码技术的稳健性。考虑到基于加密技术的L2运行时的出现,这一点尤为重要。确定算法是否是KC复数从根本上说比确定单向函数的存在更简单。诚然,这个问题超出了区块链生态系统的范围,但是,如果我们谈论的是构建新金融系统的轨道,那么加密稳健性是一项基础能力。

原文标题:《ThePaperthatcanChangetheFoundationsofallBlockchainCryptography》

原文作者:JesusRodriguez

原文编译:蝉爷讲禅

来源:区块律动

来源:金色财经

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

区块博客

[0:15ms0-3:718ms