密码学是许多区块链协议的核心。从传统的工作量证明 (PoW) 到 L2 现代方法（如 ZK-rollups），许多高级加密方法为区块链运行时和协议提供了基础。因此，关于任何区块链架构的安全稳健性都存在一个无所不在的问题。天真地，我们假设在复杂攻击中幸存下来的区块链加密实现本质上是安全的，但这远非经验证明。有没有更好的方法来验证安全算法的鲁棒性。答案似乎在一篇刚刚赢得美国国家安全局 (NSA) 的「最佳网络安全研究论文竞赛」的新论文中，这在密码学研究界引起了很大的轰动。
这篇题为「单向函数和 Kolmogorov 复杂性」的论文为密码学中的一个 500 周年问题提供了答案。手头的问题与存在称为「单向函数」的数学结构有关，该结构可以证明 L2 区块链中的零知识证明等方法是否是加密安全的。
美国SEC主席：顾问们正在密切关注比特币图表:美国证监会主席Gary Gensler发推表示：顾问们正在密切关注比特币图表的威科夫分布(技术分析方法)，一些大技术公司在接下来的四天将处于显微镜下（被密切关注）。[2021/7/11 0:42:42]
现代密码学的本质依赖于在数据上创建密码，希望它们保持安全。但是，我们如何确保它们是安全的？这个问题的理论答案出现在 1970 年代，当时密码学家提出了单向函数的概念，单向函数是易于计算但难以反转的数学函数。为了说明单向函数的工作原理，想想如果有人要求您将两个大素数相乘，如 485144 和 999983。得到数字 485,135,752,552 作为答案可能需要一些工作，但我们有一种方法可以做到这一点。现在让我们来回答反问题，从数字开始，尝试确定它的质因数。这是一项极其艰巨的任务。这是单向函数的本质。
FinCEN代理总监：FinCEN拟议的加密钱包规则仍在密切讨论中:5月27日消息，美国金融犯罪执法网络（FinCEN）代理总监Michael Mosier（FinCEN）提议的有关加密钱包规则“尚未做出任何决定”。FinCEN继续就这一有争议的拟议规则与加密货币行业进行接触。批评人士称，这将使使用某些智能合约变得困难，并给交易所带来沉重的合规负担。Michael Mosier周四表示：“上一届政府的领导层有一种非常强烈的紧迫感，对解决这个问题的时机、风险和担忧等各种因素进行讨论。我们有能力延长我们所做的评论期，并继续与行业在这方面进行接触。”Mosier说，FinCEN作为金融情报部门的部分任务是通过分析数据来寻找趋势或风险。他表示，国会可能会询问他如何监视其他潜在的国内恐怖袭击和可能使用加密货币。Michael Mosier称，对医院等关键基础设施的勒索软件攻击是FinCEN必须关注的另一个类似问题。他指出，如果FinCEN能够主动发现并解决这些问题，就可以防止过度繁重的监管措施的实施。Michael Mosier说：“重要的是要明白，并非政府中的每个人都天生对加密货币持怀疑态度。有很多人对它非常感兴趣，觉得它有不可思议的潜力。”（Coindesk）[2021/5/27 22:50:16]
声音 | 刘昌用：世界和平发展将建立在密码共识构建的基础设施之上:北京大学经济学博士、知密大学创始人刘昌用发微博称，世界和平发展将建立在密码共识构建的基础设施之上。他表示，金本位的逻辑在于，黄金白银能成为货币，是因为其有社会权威也不能决定和改变的稀缺性，和适合做货币的物理属性。即使社会权威能够暂时规定货币，但终会失控，还是要找不被特定社会权威控制的、更可靠的锚。而比特币和比特币现金这样的密码共识货币的重大意义在于通过分布式共识，脱离物理稀缺性，借助非对称密码技术和分布式共识确立了社会权威也不能控制的货币之锚。
就是要用最简单粗暴的方式建立任何社会权威不能左右的共识，各种社会权威才不得不放下分歧，达成共识，在共识之锚基础上去博弈。世界的和平和发展将建立在密码共识构建的基础设施之上。[2019/11/1]
L1 和 L2 区块链中使用的密码技术的基础是以单向函数的存在为前提的。如果给定问题存在单向函数，那么它的加密保护，如果没有，它可能容易受到不同的攻击。然而，到目前为止，几乎不可能证明单向函数的存在。在他们的论文中，康奈尔大学的研究人员发现了一个与计算机科学的一个晦涩领域相似的答案。
回到我们的例子，KC 理论要复杂得多，但希望您掌握了核心思想。几十年来，KC 理论已经成为计算机科学许多领域的基础，但在密码学中却没有那么重要。直到康奈尔研究小组从帽子里拿出一只兔子，并证明单向函数的存在与给定问题的 KC 相关。简单来说，如果一个问题是 KC 复杂的，则存在单向函数，如果不存在，则很可能不存在。
这个简单的陈述可能成为现代密码学中最具革命性的发现之一。
康奈尔论文提供了一种经验方法来评估 L1 和 L2 区块链中使用的密码技术的稳健性。考虑到基于加密技术（例如安全多方计算或零知识证明）的 L2 运行时的出现，这一点尤为重要。确定算法是否是 KC 复数从根本上说比确定单向函数的存在更简单。诚然，这个问题超出了区块链生态系统的范围，但是，如果我们谈论的是构建新金融系统的轨道，那么加密稳健性是一项基础能力。
原文标题：《The Paper that can Change the Foundations of all Blockchain Cryptography》
原文作者：Jesus Rodriguez
原文编译：蝉爷讲禅
来源：区块律动
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。