密码学是许多区块链协议的核心。从传统的工作量证明 (PoW) 到 L2 现代方法(如 ZK-rollups),许多高级加密方法为区块链运行时和协议提供了基础。因此,关于任何区块链架构的安全稳健性都存在一个无所不在的问题。天真地,我们假设在复杂攻击中幸存下来的区块链加密实现本质上是安全的,但这远非经验证明。有没有更好的方法来验证安全算法的鲁棒性。答案似乎在一篇刚刚赢得美国国家安全局 (NSA) 的「最佳网络安全研究论文竞赛」的新论文中,这在密码学研究界引起了很大的轰动。
这篇题为「单向函数和 Kolmogorov 复杂性」的论文为密码学中的一个 500 周年问题提供了答案。手头的问题与存在称为「单向函数」的数学结构有关,该结构可以证明 L2 区块链中的零知识证明等方法是否是加密安全的。
高盛CEO:高盛一直在密切关注加密货币:金色财经报道,高盛首席执行官David Solomon表示,他认为比特币和数字货币世界将很快经历一场“大变革”,尤其是在美国的监管方面。在谈到比特币时,他没有透露高盛在做什么,这表明美国当前的监管环境阻止了高盛这么做。但Solomon明确表示,由于客户需求不断增长,高盛一直在密切关注加密货币。此外,Solomon表示:“我们继续以非常积极的方式考虑数字货币和货币数字化。对于与处理加密货币有关的行动,目前存在‘重大监管要求’”。[2021/4/7 19:52:45]
现代密码学的本质依赖于在数据上创建密码,希望它们保持安全。但是,我们如何确保它们是安全的?这个问题的理论答案出现在 1970 年代,当时密码学家提出了单向函数的概念,单向函数是易于计算但难以反转的数学函数。为了说明单向函数的工作原理,想想如果有人要求您将两个大素数相乘,如 485144 和 999983。得到数字 485,135,752,552 作为答案可能需要一些工作,但我们有一种方法可以做到这一点。现在让我们来回答反问题,从数字开始,尝试确定它的质因数。这是一项极其艰巨的任务。这是单向函数的本质。
动态 | 币安下架BSV或因赵长鹏与Roger Ver存在密切联系:加密货币研究机构CryptoMedication在推特猜测Bitcoin.com的Roger Ver和币安CEO赵长鹏之间存在密切联系。CZ在Blockchain.info工作时与Ver等人密切合作。2015年,OKCoin和Roger Ver之间就Roger Ver将域名bitcoin.com租给OKCoin的合同发生纠纷时,CZ正在OKCoin工作。当时的争议在于CZ在两份不同版本但时间戳相同的合同上签名,这促使许多人猜测是恶意行为。CZ后来声称他不知道文件有两个不同版本。 在租赁争议之后,Ver加强了合同某些条款,这后来成为新的争议,导致Roger Ver提起诉讼。在此期间,OKCoin否认了Ver的所有指控,同时怀疑CZ涉嫌参与整个事件。“当然,我们都知道CZ在2015年离开OKCoin后,他后来又在2017年开始创建币安。他最早(种子)投资者之一正是Roger Ver!看起来,这些家伙真的是好朋友。” 该账号声称,可以“大声推测”这种友情是CZ将BSV(Roger Ver的Bitcoin Cash是其竞争对手)从其平台上下架的关键因素。(AMBCrypto)[2019/6/2]
美国证券交易委员会:正在密切关注宣布进军区块链的上市公司:美国证券交易委员会主席杰伊·克莱顿(Jay Clayton)今天早些时候在华盛顿特区举行的一次会议上发表声明称,目前该机构正在研究关于某些公司在宣布进军区块链后引发的价格上涨,或许会被欺诈者滥用这一问题,其中将专门针对这些上市公司向投资者披露事项进行研究。克莱顿说表示,证交会正密切关注这些通过转变其业务模式,利用承诺的分布式账本技术实现资本化的上市公司的披露情况,以及这些披露是否符合证券法。[2018/1/23]
L1 和 L2 区块链中使用的密码技术的基础是以单向函数的存在为前提的。如果给定问题存在单向函数,那么它的加密保护,如果没有,它可能容易受到不同的攻击。然而,到目前为止,几乎不可能证明单向函数的存在。在他们的论文中,康奈尔大学的研究人员发现了一个与计算机科学的一个晦涩领域相似的答案。
回到我们的例子,KC 理论要复杂得多,但希望您掌握了核心思想。几十年来,KC 理论已经成为计算机科学许多领域的基础,但在密码学中却没有那么重要。直到康奈尔研究小组从帽子里拿出一只兔子,并证明单向函数的存在与给定问题的 KC 相关。简单来说,如果一个问题是 KC 复杂的,则存在单向函数,如果不存在,则很可能不存在。
这个简单的陈述可能成为现代密码学中最具革命性的发现之一。
康奈尔论文提供了一种经验方法来评估 L1 和 L2 区块链中使用的密码技术的稳健性。考虑到基于加密技术(例如安全多方计算或零知识证明)的 L2 运行时的出现,这一点尤为重要。确定算法是否是 KC 复数从根本上说比确定单向函数的存在更简单。诚然,这个问题超出了区块链生态系统的范围,但是,如果我们谈论的是构建新金融系统的轨道,那么加密稳健性是一项基础能力。
原文标题:《The Paper that can Change the Foundations of all Blockchain Cryptography》
原文作者:Jesus Rodriguez
原文编译:蝉爷讲禅
来源:区块律动
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。