密码学是许多区块链协议的核心。从传统的工作量证明(PoW)到L2现代方法，许多高级加密方法为区块链运行时和协议提供了基础。因此，关于任何区块链架构的安全稳健性都存在一个无所不在的问题。天真地，我们假设在复杂攻击中幸存下来的区块链加密实现本质上是安全的，但这远非经验证明。有没有更好的方法来验证安全算法的鲁棒性。答案似乎在一篇刚刚赢得美国国家安全局(NSA)的「最佳网络安全研究论文竞赛」的新论文中，这在密码学研究界引起了很大的轰动。?
这篇题为「单向函数和Kolmogorov复杂性」的论文为密码学中的一个500周年问题提供了答案。手头的问题与存在称为「单向函数」的数学结构有关，该结构可以证明L2区块链中的零知识证明等方法是否是加密安全的。?
美国SEC主席：顾问们正在密切关注比特币图表:美国证监会主席Gary Gensler发推表示：顾问们正在密切关注比特币图表的威科夫分布(技术分析方法)，一些大技术公司在接下来的四天将处于显微镜下（被密切关注）。[2021/7/11 0:42:42]
现代密码学的本质依赖于在数据上创建密码，希望它们保持安全。但是，我们如何确保它们是安全的？这个问题的理论答案出现在1970年代，当时密码学家提出了单向函数的概念，单向函数是易于计算但难以反转的数学函数。为了说明单向函数的工作原理，想想如果有人要求您将两个大素数相乘，如485144和999983。得到数字485,135,752,552作为答案可能需要一些工作，但我们有一种方法可以做到这一点。现在让我们来回答反问题，从数字开始，尝试确定它的质因数。这是一项极其艰巨的任务。这是单向函数的本质。
蚂蚁矿机：正在密切关注关于17系列部分产品的问题:蚂蚁矿机官方发公告称，近期蚂蚁矿机接到了客户反馈，关于17系列部分产品的问题我们正在密切关注，并积极与客户沟通处理。在此过程中，针对因产品问题导致收益受损的部分客户进行了收益损失赔偿、对发、换新机发货、免费驻场维修、远程或上门协助解决等方案。[2020/4/23]
图源：Codeprg
动态 | 币安下架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]
L1和L2区块链中使用的密码技术的基础是以单向函数的存在为前提的。如果给定问题存在单向函数，那么它的加密保护，如果没有，它可能容易受到不同的攻击。然而，到目前为止，几乎不可能证明单向函数的存在。在他们的论文中，康奈尔大学的研究人员发现了一个与计算机科学的一个晦涩领域相似的答案。
声音 | 韩国金融委员会委员长：正在调查ICO的实态 并且仍在密切观察:韩国金融委员会委员长在10月15日韩国政府首尔厅舍的记者见面会中称“金融委员会正在调查ICO的实态，并且密切观察当中。并且希望大家能够参考美国纽约大学的鲁里埃尔·鲁比尼教授在美国议会上院银行委员会听证会中所说的虚拟货币是所有的根源的这一解说。”[2018/10/16]
输入Kolmogorov复杂性?
康奈尔大学研究论文中提出的答案基本上表明，单向函数的存在与计算机科学的另一个基础问题有关，即Kolmogorov复杂性(KC)。KC理论与数字串的复杂性有关。如果您看到两个大数字66666666666666666666和123948109102912，您无法完全证明哪个比另一个「更随机」，但直觉上您认为第二个数字生成起来更复杂。这是苏联数学家AndreyKolmogorov用来开始计算复杂性新理论的想法。本质上，KC理论将数字字符串的复杂性定义为产生该字符串作为输出的最短程序的长度。?
回到我们的例子，KC理论要复杂得多，但希望您掌握了核心思想。几十年来，KC理论已经成为计算机科学许多领域的基础，但在密码学中却没有那么重要。直到康奈尔研究小组从帽子里拿出一只兔子，并证明单向函数的存在与给定问题的KC相关。简单来说，如果一个问题是KC复杂的，则存在单向函数，如果不存在，则很可能不存在。?
这个简单的陈述可能成为现代密码学中最具革命性的发现之一。
图片来源：广达杂志
这对区块链世界意味着什么？
康奈尔论文提供了一种经验方法来评估L1和L2区块链中使用的密码技术的稳健性。考虑到基于加密技术的L2运行时的出现，这一点尤为重要。确定算法是否是KC复数从根本上说比确定单向函数的存在更简单。诚然，这个问题超出了区块链生态系统的范围，但是，如果我们谈论的是构建新金融系统的轨道，那么加密稳健性是一项基础能力。
原文标题：《ThePaperthatcanChangetheFoundationsofallBlockchainCryptography》
原文作者：JesusRodriguez
原文编译：蝉爷讲禅
来源：区块律动
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。